exitImmediately

unison-runtime/package.yaml

@@ -29,6 +29,9 @@ library:
   when:
     - condition: false
       other-modules: Paths_unison_runtime
+    - condition: flag(stackchecks)
+      dependencies:
+        - unix
 
   dependencies:
     - asn1-encoding
@@ -78,6 +81,7 @@ library:
     - unison-syntax
     - unison-util-bytes
     - unison-util-recursion
+    - unix
     - unliftio
     - vector
     - crypton-x509

unison-runtime/src/Unison/Runtime/Stack.hs

@@ -144,7 +144,10 @@ import Prelude hiding (words)
 
 {- ORMOLU_DISABLE -}
 #ifdef STACK_CHECK
+import System.Posix.Process qualified as Posix
 import Unison.Debug qualified as Debug
+import Data.Text.IO (hPutStrLn)
+import UnliftIO (stderr)
 
 type DebugCallStack = (HasCallStack :: Constraint)
 
@@ -159,7 +162,8 @@ assertBumped (Stack _ _ sp ustk bstk) i = do
   u <- readByteArray ustk (sp - i)
   b :: BVal <- readArray bstk (sp - i)
   when (u /= unboxedSentinel || not (isBoxedSentinel b)) do
-            error $ "Expected stack slot to have been bumped, but it was:" <> show (Val u b)
+            hPutStrLn stderr $ "Expected stack slot to have been bumped, but it was:" <> (tShow (Val u b))
+            Posix.exitImmediately (ExitFailure 456)
   where
     isBoxedSentinel :: Closure -> Bool
     isBoxedSentinel (Closure GUnboxedSentinel) = True
@@ -171,7 +175,9 @@ assertUnboxed (Stack _ _ sp ustk bstk) i = do
   b <- readArray bstk (sp - i)
   case b of
     UnboxedTypeTag _ -> pure ()
-    _ -> error $ "Expected stack val to be unboxed, but it was:" <> show (Val u b)
+    _ -> do
+      hPutStrLn stderr $ "Expected stack val to be unboxed, but it was:" <> tShow (Val u b)
+      Posix.exitImmediately (ExitFailure 456)
 
 pokeSentinelOff :: Stack -> Off -> IO ()
 pokeSentinelOff (Stack _ _ sp ustk bstk) off = do

unison-runtime/unison-runtime.cabal

@@ -139,6 +139,7 @@ library
     , unison-syntax
     , unison-util-bytes
     , unison-util-recursion
+    , unix
     , unliftio
     , vector
   default-language: Haskell2010
@@ -148,6 +149,9 @@ library
     cpp-options: -DARRAY_CHECK
   if flag(stackchecks)
     cpp-options: -DSTACK_CHECK
+  if flag(stackchecks)
+    build-depends:
+        unix
 
 test-suite runtime-tests
   type: exitcode-stdio-1.0