Return JSON of term on Kore's DecidePredicateUnknown

runtimeverification · Nov 23, 2023 · a8272b4 · a8272b4
1 parent 8655415
commit a8272b4
Show file tree

Hide file tree

Showing 6 changed files with 12 additions and 12 deletions.
diff --git a/cabal.project b/cabal.project
@@ -17,7 +17,7 @@ source-repository-package
 source-repository-package
     type: git
     location: https://github.com/runtimeverification/haskell-backend.git
-    tag: eebe4e9fd9dd6c606b37a384dbbfecca85943a38
+    tag: 1690d266738955c6fbf8fad6a36b14c2e6c2bbf4
     --sha256: 
     subdir: kore kore-rpc-types
 
diff --git a/flake.lock b/flake.lock
diff --git a/stack.yaml b/stack.yaml
@@ -11,7 +11,7 @@ extra-deps:
   - typerep-map-0.5.0.0
   - monad-validate-1.2.0.1
   - git: https://github.com/runtimeverification/haskell-backend.git
-    commit: eebe4e9fd9dd6c606b37a384dbbfecca85943a38
+    commit: 1690d266738955c6fbf8fad6a36b14c2e6c2bbf4
     subdirs:
       - kore
       - kore-rpc-types

diff --git a/stack.yaml.lock b/stack.yaml.lock
@@ -40,20 +40,20 @@ packages:
   original:
     hackage: monad-validate-1.2.0.1
 - completed:
-    commit: eebe4e9fd9dd6c606b37a384dbbfecca85943a38
+    commit: 1690d266738955c6fbf8fad6a36b14c2e6c2bbf4
     git: https://github.com/runtimeverification/haskell-backend.git
     name: kore
     pantry-tree:
-      sha256: 4e10ba0429ca8270171f2b1d1fcdc646631707fc7c468c14d2a2962b203c7f5c
+      sha256: bae5826dab9e9b0a9c73fef4de3160b15c461ddcd423a66dcfc4a76fc08f2176
       size: 44685
     subdir: kore
     version: 0.60.0.0
   original:
-    commit: eebe4e9fd9dd6c606b37a384dbbfecca85943a38
+    commit: 1690d266738955c6fbf8fad6a36b14c2e6c2bbf4
     git: https://github.com/runtimeverification/haskell-backend.git
     subdir: kore
 - completed:
-    commit: eebe4e9fd9dd6c606b37a384dbbfecca85943a38
+    commit: 1690d266738955c6fbf8fad6a36b14c2e6c2bbf4
     git: https://github.com/runtimeverification/haskell-backend.git
     name: kore-rpc-types
     pantry-tree:
@@ -62,7 +62,7 @@ packages:
     subdir: kore-rpc-types
     version: 0.60.0.0
   original:
-    commit: eebe4e9fd9dd6c606b37a384dbbfecca85943a38
+    commit: 1690d266738955c6fbf8fad6a36b14c2e6c2bbf4
     git: https://github.com/runtimeverification/haskell-backend.git
     subdir: kore-rpc-types
 snapshots:

diff --git a/tools/booster/Server.hs b/tools/booster/Server.hs
@@ -159,7 +159,7 @@ main = do
                             jsonRpcServer
                                 srvSettings
                                 (const $ Proxy.respondEither proxyConfig boosterRespond koreRespond)
-                                [handleErrorCall, handleSomeException]
+                                [Kore.handleDecidePredicateUnknown, handleErrorCall, handleSomeException]
                         interruptHandler _ = do
                             when (logLevel >= LevelInfo) $
                                 hPutStrLn stderr "[Info#proxy] Server shutting down"

diff --git a/tools/kore-rpc-dev/Server.hs b/tools/kore-rpc-dev/Server.hs
@@ -170,7 +170,7 @@ main = do
                         jsonRpcServer
                             srvSettings
                             (const $ respond koreRespond)
-                            [handleErrorCall, handleSomeException]
+                            [Kore.handleDecidePredicateUnknown, handleErrorCall, handleSomeException]
                     interruptHandler _ = do
                         when (logLevel >= LevelInfo) $
                             hPutStrLn stderr "[Info#proxy] Server shutting down"