diff options
| -rw-r--r-- | src/synth/synth-decls.adb | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/src/synth/synth-decls.adb b/src/synth/synth-decls.adb index f5a65e370..f0c885d0c 100644 --- a/src/synth/synth-decls.adb +++ b/src/synth/synth-decls.adb @@ -99,6 +99,19 @@ package body Synth.Decls is return Typ; end Synth_Array_Type_Definition; + -- Synth subtype of record elements. + procedure Synth_Record_Elements_Definition + (Syn_Inst : Synth_Instance_Acc; Def : Node) + is + El_List : constant Node_Flist := Get_Elements_Declaration_List (Def); + El : Node; + begin + for I in Flist_First .. Flist_Last (El_List) loop + El := Get_Nth_Element (El_List, I); + Synth_Declaration_Type (Syn_Inst, El); + end loop; + end Synth_Record_Elements_Definition; + function Synth_Record_Type_Definition (Syn_Inst : Synth_Instance_Acc; Def : Node) return Type_Acc is @@ -119,7 +132,6 @@ package body Synth.Decls is Off := 0; for I in Flist_First .. Flist_Last (El_List) loop El := Get_Nth_Element (El_List, I); - Synth_Declaration_Type (Syn_Inst, El); El_Typ := Get_Value_Type (Syn_Inst, Get_Type (El)); Rec_Els.E (Iir_Index32 (I + 1)) := (Off => Off, Typ => El_Typ); @@ -193,6 +205,7 @@ package body Synth.Decls is when Iir_Kind_File_Type_Definition => Typ := Synth_File_Type_Definition (Syn_Inst, Def); when Iir_Kind_Record_Type_Definition => + Synth_Record_Elements_Definition (Syn_Inst, Def); Typ := Synth_Record_Type_Definition (Syn_Inst, Def); when others => Vhdl.Errors.Error_Kind ("synth_type_definition", Def); |