Ryan Scott a41aa8407a Support building with GHC 9.6 ... This contains a varity of changes needed to make `cryptol` compile with GHC 9.6: * `mtl-2.3.1` (bundled with GHC 9.6) no longer re-exports `Control.Monad` or related modules from the various `mtl` modules. I now use explicit imports from `mtl` modules to ensure that the necessary identifiers are always in scope, regardless of whether we are using `mtl-2.3.*` or an older `mtl` version. * `directory-1.3.8.0` (bundled with GHC 9.6) no longer marks its modules as `Safe`, so `Cryptol.TypeCheck.Solver.SMT` (a module explicitly marked as `Safe`) no longer compiles due to its `System.Directory` import. I have changed `Cryptol.TypeCheck.Solver.SMT` to be `Trustworthy` instead to avoid this. * I have raised the upper version bounds on libraries such as `base` and `aeson` to allow a GHC 9.6–compatible build plan. * I have bumped the `argo` submodule to bring in the changes from GaloisInc/argo#200, which allows `argo` to build with GHC 9.6.		2023-08-31 06:14:08 -04:00
..
REPL	Allow \ line continuation at REPL on Windows	2021-09-22 15:17:25 -07:00
CheckExercises.hs	Support building with GHC 9.6	2023-08-31 06:14:08 -04:00
Main.hs	Add CVC5 support	2023-03-06 10:45:19 -05:00
OptParser.hs	First take at GHC 9.* compatibility.	2021-07-14 22:44:53 -07:00