Fix stackchecks

unisonweb · Nov 12, 2024 · e05237e · e05237e
1 parent 1355300
commit e05237e
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/unison-runtime/src/Unison/Runtime/Stack.hs b/unison-runtime/src/Unison/Runtime/Stack.hs
@@ -158,8 +158,12 @@ assertBumped :: HasCallStack => Stack -> Off -> IO ()
 assertBumped (Stack _ _ sp ustk bstk) i = do
   u <- readByteArray ustk (sp - i)
   b :: BVal <- readArray bstk (sp - i)
-  when (u /= unboxedSentinel || b /= boxedSentinel) do
+  when (u /= unboxedSentinel || not (isBoxedSentinel b)) do
             error $ "Expected stack slot to have been bumped, but it was:" <> show (Val u b)
+  where
+    isBoxedSentinel :: Closure -> Bool
+    isBoxedSentinel (Closure GUnboxedSentinel) = True
+    isBoxedSentinel _ = False
 
 assertUnboxed :: HasCallStack => Stack -> Off -> IO ()
 assertUnboxed (Stack _ _ sp ustk bstk) i = do