diff options
Diffstat (limited to 'src/synth/synth-expr.adb')
| -rw-r--r-- | src/synth/synth-expr.adb | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/src/synth/synth-expr.adb b/src/synth/synth-expr.adb index d5a32c327..c58454c0b 100644 --- a/src/synth/synth-expr.adb +++ b/src/synth/synth-expr.adb @@ -657,6 +657,11 @@ package body Synth.Expr is is Vtype : constant Type_Acc := Vt.Typ; begin + if Vt = No_Valtyp then + -- Propagate error. + return No_Valtyp; + end if; + case Dtype.Kind is when Type_Bit => pragma Assert (Vtype.Kind = Type_Bit); @@ -706,9 +711,9 @@ package body Synth.Expr is when Type_Vector => pragma Assert (Vtype.Kind = Type_Vector or Vtype.Kind = Type_Slice); - if False and then Dtype.W /= Vtype.W then - -- TODO: bad width. - raise Internal_Error; + if Dtype.W /= Vtype.W then + Error_Msg_Synth (+Loc, "mismatching vector length"); + return No_Valtyp; end if; if Bounds then return Reshape_Value (Vt, Dtype); |