Don't share tables/arrays from below a lambda

Fixes #675
LeventErkok · Nov 20, 2023 · 6a69811 · 6a69811
1 parent 05f3f4e
commit 6a69811
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/Data/SBV/Lambda.hs b/Data/SBV/Lambda.hs
@@ -79,9 +79,6 @@ inSubState inState comp = do
                    , rCInfo         = share rCInfo
                    , rUsedKinds     = share rUsedKinds
                    , rUsedLbls      = share rUsedLbls
-                   , rtblMap        = share rtblMap
-                   , rArrayMap      = share rArrayMap
-                   , rAICache       = share rAICache
                    , rUIMap         = share rUIMap
                    , rUserFuncs     = share rUserFuncs
                    , rCgMap         = share rCgMap
@@ -96,6 +93,9 @@ inSubState inState comp = do
                    , runMode        = fresh runMode
                    , rctr           = fresh rctr
                    , rLambdaLevel   = fresh rLambdaLevel
+                   , rtblMap        = fresh rtblMap
+                   , rArrayMap      = fresh rArrayMap
+                   , rAICache       = fresh rAICache
                    , rinps          = fresh rinps
                    , rlambdaInps    = fresh rlambdaInps
                    , rConstraints   = fresh rConstraints