Improve error messages for failed uninterpreted functions.

GaloisInc · Oct 20, 2020 · b92fafd · b92fafd
1 parent a489c57
commit b92fafd
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/saw-core-what4/src/Verifier/SAW/Simulator/What4.hs b/saw-core-what4/src/Verifier/SAW/Simulator/What4.hs
@@ -828,7 +828,8 @@ applyUnintApp app0 v =
     VNat n                    -> return (suffixUnintApp ("_" ++ show n) app0)
     TValue (suffixTValue -> Just s)
                               -> return (suffixUnintApp s app0)
-    _ -> fail $ "Could not create argument for " ++ show v
+    VFun _ -> fail "Cannot create uninterpreted higher-order function"
+    _ -> fail $ "Cannot create uninterpreted function with argument " ++ show v
 
 
 ------------------------------------------------------------