synth: handle array equality (for constances).

1 files changed, 10 insertions, 0 deletions

diff --git a/src/synth/synth-values.adb b/src/synth/synth-values.adb
index 4cffaeedf..ed59d6af5 100644
--- a/src/synth/synth-values.adb
+++ b/src/synth/synth-values.adb
@@ -112,6 +112,16 @@ package body Synth.Values is
       case L.Kind is
          when Value_Discrete =>
             return L.Scal = R.Scal;
+         when Value_Const_Array =>
+            if L.Arr.Len /= R.Arr.Len then
+               return False;
+            end if;
+            for I in L.Arr.V'Range loop
+               if not Is_Equal (L.Arr.V (I), R.Arr.V (I)) then
+                  return False;
+               end if;
+            end loop;
+            return True;
          when others =>
             --  TODO.
             raise Internal_Error;