diff options
| author | Gaëtan Gilbert | 2019-01-21 13:57:27 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-01-24 14:11:15 +0100 |
| commit | 5531d049b2a4f4c6c9e55ad31acae5b31aeda5c5 (patch) | |
| tree | 998e63bda1fdb2eb9bdd9f3e07f9ec72b001c6b3 /doc/plugin_tutorial/tuto1/src | |
| parent | f5241b99bb15f019eb629a7f24f2993f011e7e06 (diff) | |
Kernel: don't automatically downgrade ill-shaped primitive records
This simplifies reasoning about the kernel code.
We still auto downgrade squashed Prop records as the code path to
avoid an error is more involved. Alternatively we could produce an
error forcing people to Unset Primitive Projections if they want a
squashed record.
Diffstat (limited to 'doc/plugin_tutorial/tuto1/src')
0 files changed, 0 insertions, 0 deletions