GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-16 20:03:27 +03:00
Code Issues Projects Releases Wiki Activity

Improve error message when CryptolTC.z3 not found

Browse Source
This commit is contained in:
Aaron Tomb 2017-03-21 12:29:14 -07:00
parent 254283f7cb
commit 6a3043ff21
1 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
src/Cryptol/TypeCheck/Monad.hs
View File

@ -34,7 +34,8 @@ import qualified Data.Map as Map
import qualified Data.Set as Set
import Data.Map (Map)
import Data.Set (Set)
import Data.List(find, minimumBy, groupBy, sortBy, foldl')
import Data.List(find, minimumBy, groupBy, sortBy, foldl',
intercalate)
import Data.Maybe(mapMaybe)
import Data.Function(on)
import MonadLib hiding (mapM)
@ -167,7 +168,11 @@ runInferM info (IM m) = CrySAT.withSolver (inpSolverConfig info) $ \solver ->
-- The actual order does not matter
cmpRange (Range x y z) (Range a b c) = compare (x,y,z) (a,b,c)
loadCryTCPrel _ [] = panic "Failed to find file" [] -- return ()
loadCryTCPrel _ [] =
panic "runInferM" [ "Failed to find file: CryptolTC.z3"
, "Searched paths: " ++
intercalate ":" (inpSearchPath info)
]
loadCryTCPrel s (p : ps) =
do let file = p </> "CryptolTC.z3"
yes <- doesFileExist file