Update cryptol-remote-api with changes to the evalPrim API

GaloisInc · Oct 12, 2020 · cfee6a7 · cfee6a7
1 parent 77f9164
commit cfee6a7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cryptol-remote-api/src/CryptolServer/Data/Expression.hs b/cryptol-remote-api/src/CryptolServer/Data/Expression.hs
@@ -317,7 +317,7 @@ typeNum _ = empty
 readBack :: PrimMap -> TC.Type -> Value -> Eval Expression
 readBack prims ty val =
   let tbl = primTable theEvalOpts in
-  let ?evalPrim = \i -> Map.lookup i tbl in
+  let ?evalPrim = \i -> Right <$> Map.lookup i tbl in
   case TC.tNoUser ty of
     TC.TRec tfs ->
       Record . HM.fromList <$>