Update saw-remote-api

GaloisInc · Jul 6, 2022 · 1084357 · 1084357
1 parent a2f18b4
commit 1084357
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/saw-remote-api/src/SAWServer.hs b/saw-remote-api/src/SAWServer.hs
@@ -212,6 +212,7 @@ initialState readFileFn =
                 , roBasicSS = ss
                 , roStackTrace = []
                 , roSubshell = fail "SAW server does not support subshells."
+                , roProofSubshell = fail "SAW server does not support subshells."
                 , roLocalEnv = []
                 }
          rw = TopLevelRW

diff --git a/saw-remote-api/src/SAWServer/Eval.hs b/saw-remote-api/src/SAWServer/Eval.hs
@@ -75,7 +75,8 @@ instance Doc.DescribedMethod (EvalParams Bool cryptolExpr) (EvalResult Bool) whe
       Doc.Paragraph [Doc.Text "The boolean value of the expresssion."])
     ]
 
-eval :: (TypedTerm -> SV.TopLevel a) -> EvalParams a Expression -> Argo.Command SAWState (EvalResult a)
+eval :: (SV.FromValue a, SV.IsValue a) =>
+  (TypedTerm -> SV.TopLevel a) -> EvalParams a Expression -> Argo.Command SAWState (EvalResult a)
 eval f params = do
   state <- Argo.getState
   fileReader <- Argo.getFileReader