From 6a6981181d9868e7f53ad5ac7f66f12bb4ae0519 Mon Sep 17 00:00:00 2001 From: Levent Erkok Date: Mon, 20 Nov 2023 13:15:06 -0800 Subject: [PATCH] Don't share tables/arrays from below a lambda Fixes #675 --- Data/SBV/Lambda.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Data/SBV/Lambda.hs b/Data/SBV/Lambda.hs index 01b961203..b0ccfc49e 100644 --- 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