Adjust expected output: extended json parse errors, error call stacks, one permutation of config fields

jberthold · jberthold · commit 5a85e31e15e6 · 2026-02-13T11:56:41.000+11:00
diff --git a/test/imp/sum-save-proofs-spec.k.save-proofs.kore.golden b/test/imp/sum-save-proofs-spec.k.save-proofs.kore.golden
@@ -67,18 +67,18 @@ module haskell-backend-saved-claims-43943e50-f723-47cd-99fd-07104d664c6d
                         /* InternalMap: */ Lbl'Unds'Map'Unds'{}(
                             /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}(
                                 /* Inj: */ inj{SortId{}, SortKItem{}}(
-                                    \dv{SortId{}}("n")
+                                    \dv{SortId{}}("sum")
                                 ),
                                 /* Inj: */ inj{SortInt{}, SortKItem{}}(
-                                    VarN:SortInt{}
+                                    VarS:SortInt{}
                                 )
                             ),
                             /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}(
                                 /* Inj: */ inj{SortId{}, SortKItem{}}(
-                                    \dv{SortId{}}("sum")
+                                    \dv{SortId{}}("n")
                                 ),
                                 /* Inj: */ inj{SortInt{}, SortKItem{}}(
-                                    VarS:SortInt{}
+                                    VarN:SortInt{}
                                 )
                             )
                         )
diff --git a/test/parser/test-bool-2.kore.golden b/test/parser/test-bool-2.kore.golden
@@ -2,3 +2,13 @@ Error:
   module 'BOOL':
   hooked-sort 'Bool' declaration (test-bool-2.kore 3:17):
     Expected 0 sort parameters, found 1
+HasCallStack backtrace:
+  collectBacktraces, called at libraries/ghc-internal/src/GHC/Internal/Exception.hs:169:13 in ghc-internal:GHC.Internal.Exception
+  toExceptionWithBacktrace, called at libraries/ghc-internal/src/GHC/Internal/IO.hs:260:11 in ghc-internal:GHC.Internal.IO
+  throwIO, called at libraries/exceptions/src/Control/Monad/Catch.hs:308:12 in exceptions-0.10.9-cdd8:Control.Monad.Catch
+  throwM, called at libraries/exceptions/src/Control/Monad/Catch.hs:427:21 in exceptions-0.10.9-cdd8:Control.Monad.Catch
+  throwM, called at src/Log.hs:227:32 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Log
+  a type signature in an instance, called at src/Log.hs:227:32 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Log
+  throwM, called at src/Kore/Log/ErrorVerify.hs:45:5 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Kore.Log.ErrorVerify
+
+
diff --git a/test/parser/test-bool-3.kore.golden b/test/parser/test-bool-3.kore.golden
@@ -3,3 +3,13 @@ Error:
   hooked-symbol 'andBool' declaration (test-bool-3.kore 4:19):
   In argument sorts:
     Expected 2 arguments, found 1
+HasCallStack backtrace:
+  collectBacktraces, called at libraries/ghc-internal/src/GHC/Internal/Exception.hs:169:13 in ghc-internal:GHC.Internal.Exception
+  toExceptionWithBacktrace, called at libraries/ghc-internal/src/GHC/Internal/IO.hs:260:11 in ghc-internal:GHC.Internal.IO
+  throwIO, called at libraries/exceptions/src/Control/Monad/Catch.hs:308:12 in exceptions-0.10.9-cdd8:Control.Monad.Catch
+  throwM, called at libraries/exceptions/src/Control/Monad/Catch.hs:427:21 in exceptions-0.10.9-cdd8:Control.Monad.Catch
+  throwM, called at src/Log.hs:227:32 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Log
+  a type signature in an instance, called at src/Log.hs:227:32 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Log
+  throwM, called at src/Kore/Log/ErrorVerify.hs:45:5 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Kore.Log.ErrorVerify
+
+
diff --git a/test/parser/test-bool-4.kore.golden b/test/parser/test-bool-4.kore.golden
@@ -11,3 +11,13 @@ Error:
     unexpected "untru"
     expecting "false" or "true"
 
+HasCallStack backtrace:
+  collectBacktraces, called at libraries/ghc-internal/src/GHC/Internal/Exception.hs:169:13 in ghc-internal:GHC.Internal.Exception
+  toExceptionWithBacktrace, called at libraries/ghc-internal/src/GHC/Internal/IO.hs:260:11 in ghc-internal:GHC.Internal.IO
+  throwIO, called at libraries/exceptions/src/Control/Monad/Catch.hs:308:12 in exceptions-0.10.9-cdd8:Control.Monad.Catch
+  throwM, called at libraries/exceptions/src/Control/Monad/Catch.hs:427:21 in exceptions-0.10.9-cdd8:Control.Monad.Catch
+  throwM, called at src/Log.hs:227:32 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Log
+  a type signature in an instance, called at src/Log.hs:227:32 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Log
+  throwM, called at src/Kore/Log/ErrorVerify.hs:45:5 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Kore.Log.ErrorVerify
+
+
diff --git a/test/parser/test-dv-2.kore.golden b/test/parser/test-dv-2.kore.golden
@@ -1,2 +1,12 @@
 test-dv-2.kore:3:22: unexpected token TokenOr
 
+HasCallStack backtrace:
+  collectBacktraces, called at libraries/ghc-internal/src/GHC/Internal/Exception.hs:169:13 in ghc-internal:GHC.Internal.Exception
+  toExceptionWithBacktrace, called at libraries/ghc-internal/src/GHC/Internal/IO.hs:260:11 in ghc-internal:GHC.Internal.IO
+  throwIO, called at libraries/exceptions/src/Control/Monad/Catch.hs:308:12 in exceptions-0.10.9-cdd8:Control.Monad.Catch
+  throwM, called at libraries/exceptions/src/Control/Monad/Catch.hs:427:21 in exceptions-0.10.9-cdd8:Control.Monad.Catch
+  throwM, called at src/Log.hs:227:32 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Log
+  a type signature in an instance, called at src/Log.hs:227:32 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Log
+  throwM, called at src/Kore/Log/ErrorParse.hs:41:5 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Kore.Log.ErrorParse
+
+
diff --git a/test/parser/test-dv-3.kore.golden b/test/parser/test-dv-3.kore.golden
@@ -4,3 +4,13 @@ Error:
   \dv (test-dv-3.kore 4:18):
   (test-dv-3.kore 4:18):
     Sorts used with domain value must have the hasDomainValues attribute.
+HasCallStack backtrace:
+  collectBacktraces, called at libraries/ghc-internal/src/GHC/Internal/Exception.hs:169:13 in ghc-internal:GHC.Internal.Exception
+  toExceptionWithBacktrace, called at libraries/ghc-internal/src/GHC/Internal/IO.hs:260:11 in ghc-internal:GHC.Internal.IO
+  throwIO, called at libraries/exceptions/src/Control/Monad/Catch.hs:308:12 in exceptions-0.10.9-cdd8:Control.Monad.Catch
+  throwM, called at libraries/exceptions/src/Control/Monad/Catch.hs:427:21 in exceptions-0.10.9-cdd8:Control.Monad.Catch
+  throwM, called at src/Log.hs:227:32 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Log
+  a type signature in an instance, called at src/Log.hs:227:32 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Log
+  throwM, called at src/Kore/Log/ErrorVerify.hs:45:5 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Kore.Log.ErrorVerify
+
+
diff --git a/test/parser/test-exception-14.kore.golden b/test/parser/test-exception-14.kore.golden
@@ -3,3 +3,13 @@ Error:
   axiom declaration:
   symbol or alias 'f' (test-exception-14.kore 6:5):
     Head 'f' not defined.
+HasCallStack backtrace:
+  collectBacktraces, called at libraries/ghc-internal/src/GHC/Internal/Exception.hs:169:13 in ghc-internal:GHC.Internal.Exception
+  toExceptionWithBacktrace, called at libraries/ghc-internal/src/GHC/Internal/IO.hs:260:11 in ghc-internal:GHC.Internal.IO
+  throwIO, called at libraries/exceptions/src/Control/Monad/Catch.hs:308:12 in exceptions-0.10.9-cdd8:Control.Monad.Catch
+  throwM, called at libraries/exceptions/src/Control/Monad/Catch.hs:427:21 in exceptions-0.10.9-cdd8:Control.Monad.Catch
+  throwM, called at src/Log.hs:227:32 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Log
+  a type signature in an instance, called at src/Log.hs:227:32 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Log
+  throwM, called at src/Kore/Log/ErrorVerify.hs:45:5 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Kore.Log.ErrorVerify
+
+
diff --git a/test/parser/test-exception-2.kore.golden b/test/parser/test-exception-2.kore.golden
@@ -1,2 +1,12 @@
 test-exception-2.kore:6:5: unexpected token TokenSort
 
+HasCallStack backtrace:
+  collectBacktraces, called at libraries/ghc-internal/src/GHC/Internal/Exception.hs:169:13 in ghc-internal:GHC.Internal.Exception
+  toExceptionWithBacktrace, called at libraries/ghc-internal/src/GHC/Internal/IO.hs:260:11 in ghc-internal:GHC.Internal.IO
+  throwIO, called at libraries/exceptions/src/Control/Monad/Catch.hs:308:12 in exceptions-0.10.9-cdd8:Control.Monad.Catch
+  throwM, called at libraries/exceptions/src/Control/Monad/Catch.hs:427:21 in exceptions-0.10.9-cdd8:Control.Monad.Catch
+  throwM, called at src/Log.hs:227:32 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Log
+  a type signature in an instance, called at src/Log.hs:227:32 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Log
+  throwM, called at src/Kore/Log/ErrorParse.hs:41:5 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Kore.Log.ErrorParse
+
+
diff --git a/test/parser/test-exception-21.kore.golden b/test/parser/test-exception-21.kore.golden
@@ -1,2 +1,12 @@
 test-exception-21.kore:5:10: unexpected token TokenLeftBracket
 
+HasCallStack backtrace:
+  collectBacktraces, called at libraries/ghc-internal/src/GHC/Internal/Exception.hs:169:13 in ghc-internal:GHC.Internal.Exception
+  toExceptionWithBacktrace, called at libraries/ghc-internal/src/GHC/Internal/IO.hs:260:11 in ghc-internal:GHC.Internal.IO
+  throwIO, called at libraries/exceptions/src/Control/Monad/Catch.hs:308:12 in exceptions-0.10.9-cdd8:Control.Monad.Catch
+  throwM, called at libraries/exceptions/src/Control/Monad/Catch.hs:427:21 in exceptions-0.10.9-cdd8:Control.Monad.Catch
+  throwM, called at src/Log.hs:227:32 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Log
+  a type signature in an instance, called at src/Log.hs:227:32 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Log
+  throwM, called at src/Kore/Log/ErrorParse.hs:41:5 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Kore.Log.ErrorParse
+
+
diff --git a/test/parser/test-exception-27.kore.golden b/test/parser/test-exception-27.kore.golden
@@ -1,2 +1,12 @@
 test-exception-27.kore:5:4: unexpected character 'a'
 
+HasCallStack backtrace:
+  collectBacktraces, called at libraries/ghc-internal/src/GHC/Internal/Exception.hs:169:13 in ghc-internal:GHC.Internal.Exception
+  toExceptionWithBacktrace, called at libraries/ghc-internal/src/GHC/Internal/IO.hs:260:11 in ghc-internal:GHC.Internal.IO
+  throwIO, called at libraries/exceptions/src/Control/Monad/Catch.hs:308:12 in exceptions-0.10.9-cdd8:Control.Monad.Catch
+  throwM, called at libraries/exceptions/src/Control/Monad/Catch.hs:427:21 in exceptions-0.10.9-cdd8:Control.Monad.Catch
+  throwM, called at src/Log.hs:227:32 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Log
+  a type signature in an instance, called at src/Log.hs:227:32 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Log
+  throwM, called at src/Kore/Log/ErrorParse.hs:41:5 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Kore.Log.ErrorParse
+
+
diff --git a/test/parser/test-exception-3.kore.golden b/test/parser/test-exception-3.kore.golden
@@ -1,2 +1,12 @@
 test-exception-3.kore:6:12: unexpected character '\n'
 
+HasCallStack backtrace:
+  collectBacktraces, called at libraries/ghc-internal/src/GHC/Internal/Exception.hs:169:13 in ghc-internal:GHC.Internal.Exception
+  toExceptionWithBacktrace, called at libraries/ghc-internal/src/GHC/Internal/IO.hs:260:11 in ghc-internal:GHC.Internal.IO
+  throwIO, called at libraries/exceptions/src/Control/Monad/Catch.hs:308:12 in exceptions-0.10.9-cdd8:Control.Monad.Catch
+  throwM, called at libraries/exceptions/src/Control/Monad/Catch.hs:427:21 in exceptions-0.10.9-cdd8:Control.Monad.Catch
+  throwM, called at src/Log.hs:227:32 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Log
+  a type signature in an instance, called at src/Log.hs:227:32 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Log
+  throwM, called at src/Kore/Log/ErrorParse.hs:41:5 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Kore.Log.ErrorParse
+
+
diff --git a/test/parser/test-exception-4.kore.golden b/test/parser/test-exception-4.kore.golden
@@ -1,2 +1,12 @@
 test-exception-4.kore:6:5: unexpected character '2'
 
+HasCallStack backtrace:
+  collectBacktraces, called at libraries/ghc-internal/src/GHC/Internal/Exception.hs:169:13 in ghc-internal:GHC.Internal.Exception
+  toExceptionWithBacktrace, called at libraries/ghc-internal/src/GHC/Internal/IO.hs:260:11 in ghc-internal:GHC.Internal.IO
+  throwIO, called at libraries/exceptions/src/Control/Monad/Catch.hs:308:12 in exceptions-0.10.9-cdd8:Control.Monad.Catch
+  throwM, called at libraries/exceptions/src/Control/Monad/Catch.hs:427:21 in exceptions-0.10.9-cdd8:Control.Monad.Catch
+  throwM, called at src/Log.hs:227:32 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Log
+  a type signature in an instance, called at src/Log.hs:227:32 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Log
+  throwM, called at src/Kore/Log/ErrorParse.hs:41:5 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Kore.Log.ErrorParse
+
+
diff --git a/test/parser/test-exception-5.kore.golden b/test/parser/test-exception-5.kore.golden
@@ -1,2 +1,12 @@
 test-exception-5.kore:6:5: unexpected character '-'
 
+HasCallStack backtrace:
+  collectBacktraces, called at libraries/ghc-internal/src/GHC/Internal/Exception.hs:169:13 in ghc-internal:GHC.Internal.Exception
+  toExceptionWithBacktrace, called at libraries/ghc-internal/src/GHC/Internal/IO.hs:260:11 in ghc-internal:GHC.Internal.IO
+  throwIO, called at libraries/exceptions/src/Control/Monad/Catch.hs:308:12 in exceptions-0.10.9-cdd8:Control.Monad.Catch
+  throwM, called at libraries/exceptions/src/Control/Monad/Catch.hs:427:21 in exceptions-0.10.9-cdd8:Control.Monad.Catch
+  throwM, called at src/Log.hs:227:32 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Log
+  a type signature in an instance, called at src/Log.hs:227:32 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Log
+  throwM, called at src/Kore/Log/ErrorParse.hs:41:5 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Kore.Log.ErrorParse
+
+
diff --git a/test/parser/test-exception-6.kore.golden b/test/parser/test-exception-6.kore.golden
@@ -1,2 +1,12 @@
 test-exception-6.kore:6:5: unexpected character '2'
 
+HasCallStack backtrace:
+  collectBacktraces, called at libraries/ghc-internal/src/GHC/Internal/Exception.hs:169:13 in ghc-internal:GHC.Internal.Exception
+  toExceptionWithBacktrace, called at libraries/ghc-internal/src/GHC/Internal/IO.hs:260:11 in ghc-internal:GHC.Internal.IO
+  throwIO, called at libraries/exceptions/src/Control/Monad/Catch.hs:308:12 in exceptions-0.10.9-cdd8:Control.Monad.Catch
+  throwM, called at libraries/exceptions/src/Control/Monad/Catch.hs:427:21 in exceptions-0.10.9-cdd8:Control.Monad.Catch
+  throwM, called at src/Log.hs:227:32 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Log
+  a type signature in an instance, called at src/Log.hs:227:32 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Log
+  throwM, called at src/Kore/Log/ErrorParse.hs:41:5 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Kore.Log.ErrorParse
+
+
diff --git a/test/parser/test-exception-7.kore.golden b/test/parser/test-exception-7.kore.golden
@@ -1,2 +1,12 @@
 test-exception-7.kore:6:5: unexpected character '`'
 
+HasCallStack backtrace:
+  collectBacktraces, called at libraries/ghc-internal/src/GHC/Internal/Exception.hs:169:13 in ghc-internal:GHC.Internal.Exception
+  toExceptionWithBacktrace, called at libraries/ghc-internal/src/GHC/Internal/IO.hs:260:11 in ghc-internal:GHC.Internal.IO
+  throwIO, called at libraries/exceptions/src/Control/Monad/Catch.hs:308:12 in exceptions-0.10.9-cdd8:Control.Monad.Catch
+  throwM, called at libraries/exceptions/src/Control/Monad/Catch.hs:427:21 in exceptions-0.10.9-cdd8:Control.Monad.Catch
+  throwM, called at src/Log.hs:227:32 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Log
+  a type signature in an instance, called at src/Log.hs:227:32 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Log
+  throwM, called at src/Kore/Log/ErrorParse.hs:41:5 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Kore.Log.ErrorParse
+
+
diff --git a/test/parser/test-hooks-4.kore.golden b/test/parser/test-hooks-4.kore.golden
@@ -2,3 +2,13 @@ Error:
   module 'TEST-HOOKS-4':
   hooked-sort 'S' declaration (test-hooks-4.kore 6:15):
     missing hook attribute
+HasCallStack backtrace:
+  collectBacktraces, called at libraries/ghc-internal/src/GHC/Internal/Exception.hs:169:13 in ghc-internal:GHC.Internal.Exception
+  toExceptionWithBacktrace, called at libraries/ghc-internal/src/GHC/Internal/IO.hs:260:11 in ghc-internal:GHC.Internal.IO
+  throwIO, called at libraries/exceptions/src/Control/Monad/Catch.hs:308:12 in exceptions-0.10.9-cdd8:Control.Monad.Catch
+  throwM, called at libraries/exceptions/src/Control/Monad/Catch.hs:427:21 in exceptions-0.10.9-cdd8:Control.Monad.Catch
+  throwM, called at src/Log.hs:227:32 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Log
+  a type signature in an instance, called at src/Log.hs:227:32 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Log
+  throwM, called at src/Kore/Log/ErrorVerify.hs:45:5 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Kore.Log.ErrorVerify
+
+
diff --git a/test/parser/test-hooks-5.kore.golden b/test/parser/test-hooks-5.kore.golden
@@ -2,3 +2,13 @@ Error:
   module 'TEST-HOOKS-5':
   hooked-symbol 'f' declaration (test-hooks-5.kore 8:17):
     missing hook attribute
+HasCallStack backtrace:
+  collectBacktraces, called at libraries/ghc-internal/src/GHC/Internal/Exception.hs:169:13 in ghc-internal:GHC.Internal.Exception
+  toExceptionWithBacktrace, called at libraries/ghc-internal/src/GHC/Internal/IO.hs:260:11 in ghc-internal:GHC.Internal.IO
+  throwIO, called at libraries/exceptions/src/Control/Monad/Catch.hs:308:12 in exceptions-0.10.9-cdd8:Control.Monad.Catch
+  throwM, called at libraries/exceptions/src/Control/Monad/Catch.hs:427:21 in exceptions-0.10.9-cdd8:Control.Monad.Catch
+  throwM, called at src/Log.hs:227:32 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Log
+  a type signature in an instance, called at src/Log.hs:227:32 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Log
+  throwM, called at src/Kore/Log/ErrorVerify.hs:45:5 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Kore.Log.ErrorVerify
+
+
diff --git a/test/parser/test-hooks-8.kore.golden b/test/parser/test-hooks-8.kore.golden
@@ -2,3 +2,13 @@ Error:
   module 'TEST-HOOKS-8':
   sort 'S' declaration (test-hooks-8.kore 5:8):
     Unexpected 'hook' attribute
+HasCallStack backtrace:
+  collectBacktraces, called at libraries/ghc-internal/src/GHC/Internal/Exception.hs:169:13 in ghc-internal:GHC.Internal.Exception
+  toExceptionWithBacktrace, called at libraries/ghc-internal/src/GHC/Internal/IO.hs:260:11 in ghc-internal:GHC.Internal.IO
+  throwIO, called at libraries/exceptions/src/Control/Monad/Catch.hs:308:12 in exceptions-0.10.9-cdd8:Control.Monad.Catch
+  throwM, called at libraries/exceptions/src/Control/Monad/Catch.hs:427:21 in exceptions-0.10.9-cdd8:Control.Monad.Catch
+  throwM, called at src/Log.hs:227:32 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Log
+  a type signature in an instance, called at src/Log.hs:227:32 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Log
+  throwM, called at src/Kore/Log/ErrorVerify.hs:45:5 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Kore.Log.ErrorVerify
+
+
diff --git a/test/parser/test-hooks-9.kore.golden b/test/parser/test-hooks-9.kore.golden
@@ -2,3 +2,13 @@ Error:
   module 'TEST-HOOKS-9':
   symbol 'f' declaration (test-hooks-9.kore 7:10):
     Unexpected 'hook' attribute
+HasCallStack backtrace:
+  collectBacktraces, called at libraries/ghc-internal/src/GHC/Internal/Exception.hs:169:13 in ghc-internal:GHC.Internal.Exception
+  toExceptionWithBacktrace, called at libraries/ghc-internal/src/GHC/Internal/IO.hs:260:11 in ghc-internal:GHC.Internal.IO
+  throwIO, called at libraries/exceptions/src/Control/Monad/Catch.hs:308:12 in exceptions-0.10.9-cdd8:Control.Monad.Catch
+  throwM, called at libraries/exceptions/src/Control/Monad/Catch.hs:427:21 in exceptions-0.10.9-cdd8:Control.Monad.Catch
+  throwM, called at src/Log.hs:227:32 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Log
+  a type signature in an instance, called at src/Log.hs:227:32 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Log
+  throwM, called at src/Kore/Log/ErrorVerify.hs:45:5 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Kore.Log.ErrorVerify
+
+
diff --git a/test/parser/test-hooks-ctor.kore.golden b/test/parser/test-hooks-ctor.kore.golden
@@ -2,3 +2,13 @@ Error:
   module 'TEST-HOOKS-CTOR':
   symbol 'sym' declaration (test-hooks-ctor.kore 8:10):
     Cannot define constructor sym for hooked sort S{}.
+HasCallStack backtrace:
+  collectBacktraces, called at libraries/ghc-internal/src/GHC/Internal/Exception.hs:169:13 in ghc-internal:GHC.Internal.Exception
+  toExceptionWithBacktrace, called at libraries/ghc-internal/src/GHC/Internal/IO.hs:260:11 in ghc-internal:GHC.Internal.IO
+  throwIO, called at libraries/exceptions/src/Control/Monad/Catch.hs:308:12 in exceptions-0.10.9-cdd8:Control.Monad.Catch
+  throwM, called at libraries/exceptions/src/Control/Monad/Catch.hs:427:21 in exceptions-0.10.9-cdd8:Control.Monad.Catch
+  throwM, called at src/Log.hs:227:32 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Log
+  a type signature in an instance, called at src/Log.hs:227:32 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Log
+  throwM, called at src/Kore/Log/ErrorVerify.hs:45:5 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Kore.Log.ErrorVerify
+
+
diff --git a/test/parser/test-int-2.kore.golden b/test/parser/test-int-2.kore.golden
@@ -2,3 +2,13 @@ Error:
   module 'INT':
   hooked-sort 'Int' declaration (test-int-2.kore 15:17):
     Expected 0 sort parameters, found 1
+HasCallStack backtrace:
+  collectBacktraces, called at libraries/ghc-internal/src/GHC/Internal/Exception.hs:169:13 in ghc-internal:GHC.Internal.Exception
+  toExceptionWithBacktrace, called at libraries/ghc-internal/src/GHC/Internal/IO.hs:260:11 in ghc-internal:GHC.Internal.IO
+  throwIO, called at libraries/exceptions/src/Control/Monad/Catch.hs:308:12 in exceptions-0.10.9-cdd8:Control.Monad.Catch
+  throwM, called at libraries/exceptions/src/Control/Monad/Catch.hs:427:21 in exceptions-0.10.9-cdd8:Control.Monad.Catch
+  throwM, called at src/Log.hs:227:32 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Log
+  a type signature in an instance, called at src/Log.hs:227:32 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Log
+  throwM, called at src/Kore/Log/ErrorVerify.hs:45:5 in kore-0.1.0-Cfp0Ejbn7kwLcJ2RkqaBxY:Kore.Log.ErrorVerify
+
+
diff --git a/test/parser/test-int-3.kore.golden b/test/parser/test-int-3.kore.golden
diff --git a/test/parser/test-int-4.kore.golden b/test/parser/test-int-4.kore.golden
diff --git a/test/parser/test-int-5.kore.golden b/test/parser/test-int-5.kore.golden
diff --git a/test/parser/test-issue-94-1.kore.golden b/test/parser/test-issue-94-1.kore.golden
diff --git a/test/parser/test-issue-94-2.kore.golden b/test/parser/test-issue-94-2.kore.golden
diff --git a/test/parser/test-string-4.kore.golden b/test/parser/test-string-4.kore.golden
diff --git a/test/rpc-server/execute/invalid-params/response.golden b/test/rpc-server/execute/invalid-params/response.golden
diff --git a/test/rpc-server/implies/invalid-antecedent/response.golden b/test/rpc-server/implies/invalid-antecedent/response.golden
diff --git a/test/rpc-server/implies/invalid-consequent/response.golden b/test/rpc-server/implies/invalid-consequent/response.golden
diff --git a/test/rpc-server/simplify/invalid-state/response.golden b/test/rpc-server/simplify/invalid-state/response.golden

Original file line number	Diff line number	Diff line change
`@@ -67,18 +67,18 @@ module haskell-backend-saved-claims-43943e50-f723-47cd-99fd-07104d664c6d`
`67`	`67`	`/* InternalMap: */ Lbl'Unds'Map'Unds'{}(`
`68`	`68`	`/* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}(`
`69`	`69`	`/* Inj: */ inj{SortId{}, SortKItem{}}(`
`70`		`- \dv{SortId{}}("n")`
	`70`	`+ \dv{SortId{}}("sum")`
`71`	`71`	`),`
`72`	`72`	`/* Inj: */ inj{SortInt{}, SortKItem{}}(`
`73`		`- VarN:SortInt{}`
	`73`	`+ VarS:SortInt{}`
`74`	`74`	`)`
`75`	`75`	`),`
`76`	`76`	`/* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}(`
`77`	`77`	`/* Inj: */ inj{SortId{}, SortKItem{}}(`
`78`		`- \dv{SortId{}}("sum")`
	`78`	`+ \dv{SortId{}}("n")`
`79`	`79`	`),`
`80`	`80`	`/* Inj: */ inj{SortInt{}, SortKItem{}}(`
`81`		`- VarS:SortInt{}`
	`81`	`+ VarN:SortInt{}`
`82`	`82`	`)`
`83`	`83`	`)`
`84`	`84`	`)`