diff options
| author | Tristan Gingold <tgingold@free.fr> | 2019-09-11 06:31:00 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2019-09-11 06:37:28 +0200 |
| commit | db5c3b1cf051d215ee7f02064464b4b1088ea226 (patch) | |
| tree | e5aaacca93241b2ca61aa7572deb9bd722663ba0 /src/synth/synth-values.adb | |
| parent | 0e5e045b01b6425ae3551ad1c463d8f8f57907d7 (diff) | |
| download | ghdl-db5c3b1cf051d215ee7f02064464b4b1088ea226.tar.gz ghdl-db5c3b1cf051d215ee7f02064464b4b1088ea226.tar.bz2 ghdl-db5c3b1cf051d215ee7f02064464b4b1088ea226.zip | |
synth: improve support of return statement.
Diffstat (limited to 'src/synth/synth-values.adb')
| -rw-r--r-- | src/synth/synth-values.adb | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/synth/synth-values.adb b/src/synth/synth-values.adb index b7179e695..a8932501e 100644 --- a/src/synth/synth-values.adb +++ b/src/synth/synth-values.adb @@ -37,6 +37,22 @@ package body Synth.Values is function To_Value_Array_Acc is new Ada.Unchecked_Conversion (System.Address, Values.Value_Array_Acc); + function Is_Bounded_Type (Typ : Type_Acc) return Boolean is + begin + case Typ.Kind is + when Type_Bit + | Type_Discrete + | Type_Float + | Type_Vector + | Type_Slice + | Type_Array + | Type_Record => + return True; + when Type_Unbounded_Array => + return False; + end case; + end Is_Bounded_Type; + function Is_Equal (L, R : Value_Acc) return Boolean is begin if L.Kind /= R.Kind then |