diff options
| author | Tristan Gingold <tgingold@free.fr> | 2018-12-08 07:04:10 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2018-12-08 07:04:10 +0100 |
| commit | f7c7399476a4a7e4ddd630c2e37b8e68d6add965 (patch) | |
| tree | b239011bb2f467da212fc2649cca89cd31b2b5fa /src/vhdl | |
| parent | 51e5905570340b44408cf6f82129130f363373b6 (diff) | |
| download | ghdl-f7c7399476a4a7e4ddd630c2e37b8e68d6add965.tar.gz ghdl-f7c7399476a4a7e4ddd630c2e37b8e68d6add965.tar.bz2 ghdl-f7c7399476a4a7e4ddd630c2e37b8e68d6add965.zip | |
Add a comment.
Diffstat (limited to 'src/vhdl')
| -rw-r--r-- | src/vhdl/sem_types.adb | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/vhdl/sem_types.adb b/src/vhdl/sem_types.adb index 1018e8a8d..74c111ed0 100644 --- a/src/vhdl/sem_types.adb +++ b/src/vhdl/sem_types.adb @@ -727,6 +727,18 @@ package body Sem_Types is -- Return the constraint state from CONST (the initial state) and EL_TYPE, -- as if ATYPE was a new element of a record. + -- + -- LRM08 5 Types + -- A composite subtype is said to be unconstrained if: + -- - [...] + -- - It is a record subtype with at least one element of a composite + -- subtype and each element that is of a composite subtype is + -- unconstrained. + -- + -- A composite subtype is said to be fully constrained if: + -- - [...] + -- - It is a record subtype and each element subtype either is not a + -- composite subtype or is a fully constrained composite subtype. function Update_Record_Constraint (Constraint : Iir_Constraint; El_Type : Iir) return Iir_Constraint is begin |