1 files changed, 5 insertions, 1 deletions
diff --git a/src/synth/synth-expr.adb b/src/synth/synth-expr.adb
index 8f9577081..e468fcca9 100644
--- a/src/synth/synth-expr.adb
+++ b/src/synth/synth-expr.adb
@@ -1027,7 +1027,11 @@ package body Synth.Expr is
          when Type_Array =>
             pragma Assert (Vtype.Kind = Type_Array);
             --  TODO: check bounds, handle elements
-            return Val;
+            if Bounds then
+               return Reshape_Value (Val, Dtype);
+            else
+               return Val;
+            end if;
          when Type_Unbounded_Array =>
             pragma Assert (Vtype.Kind = Type_Array);
             return Val;