From 05f3f4ed7508059072d5f824afc078d764497f95 Mon Sep 17 00:00:00 2001 From: Levent Erkok Date: Mon, 20 Nov 2023 12:54:28 -0800 Subject: [PATCH] lambdas: allow arrays and tables again --- Data/SBV/Lambda.hs | 10 +--------- 1 file changed, 1 insertion(+), 9 deletions(-) diff --git a/Data/SBV/Lambda.hs b/Data/SBV/Lambda.hs index 18b71e51b..01b961203 100644 --- 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)