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)