Skip to content

cryptol fails to build with master due to directory version bump & safe haskell

[ 56 of 111] Compiling Cryptol.TypeCheck.Solver.SMT ( src/Cryptol/TypeCheck/Solver/SMT.hs, dist/build/Cryptol/TypeCheck/Solver/SMT.o, dist/build/Cryptol/TypeCheck/Solver/SMT.dyn_o )
*** Parser [Cryptol.TypeCheck.Solver.SMT]:
Parser [Cryptol.TypeCheck.Solver.SMT]: alloc=10476064 time=4.917
*** Renamer/typechecker [Cryptol.TypeCheck.Solver.SMT]:
Renamer/typechecker [Cryptol.TypeCheck.Solver.SMT]: alloc=29785320 time=30.554

src/Cryptol/TypeCheck/Solver/SMT.hs:49:1: error: [GHC-44360]
    System.Directory: Can't be safely imported!
    The module itself isn't safe.
   |
49 | import           System.Directory(doesFileExist)
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information