lambdas: allow arrays and tables again

LeventErkok · Nov 20, 2023 · 05f3f4e · 05f3f4e
1 parent a3bd474
commit 05f3f4e
Showing 1 changed file with 1 addition and 9 deletions.
diff --git a/Data/SBV/Lambda.hs b/Data/SBV/Lambda.hs
@@ -224,7 +224,7 @@ toLambda curProgInfo cfg expectedKind result@Result{resAsgns = SBVPgm asgnsSeq}
 
                   tbls          -- Tables
 
-                  arrs          -- Arrays                : nothing to do with them
+                  _arrs         -- Arrays                : nothing to do with them
                   _uis          -- Uninterpeted constants: nothing to do with them
                   _axs          -- Axioms definitions    : nothing to do with them
 
@@ -247,14 +247,6 @@ toLambda curProgInfo cfg expectedKind result@Result{resAsgns = SBVPgm asgnsSeq}
          = tbd [ "Observables."
                , "  Saw: " ++ intercalate ", " [n | (n, _, _) <- observables]
                ]
-         | not (null tbls)
-         = tbd [ "Tables."
-               , "  Saw: " ++ intercalate ", " ["table" ++ show n ++ " :: " ++ show k0 ++ " -> " ++ show k1 | ((n, k0, k1), _) <- tbls]
-               ]
-         | not (null arrs)
-         = tbd [ "Tables."
-               , "  Saw: " ++ intercalate ", " ["array" ++ show n ++ " :: " ++ show i | (n, i) <- arrs]
-               ]
          | kindOf out /= expectedKind
          = bad [ "Expected kind and final kind do not match"
                , "   Saw     : " ++ show (kindOf out)