mirror of
https://github.com/GaloisInc/what4.git
synced 2024-10-06 00:22:49 +03:00
c46f802d12
This patch contains a variety of fixes needed to build the libraries in the `what4` repo with GHC 9.6: * GHC 9.6 bundles `mtl-2.3.*`, which no longer re-exports `Control.Monad`, `Control.Monad.IO.Class`, and similar modules from `mtl`-related modules. To accommodate this, various imports have been made more explicit. * `MonadTrans t` now has a quantified `forall m. Monad m => Monad (t m)` superclass in `mtl-2.3.*`. As a result, the `MonadTrans (PartialT sym)` instance must now have an `IsExpr (SymExpr sym)` instance context in order for it to typecheck, as this is the same instance context that `PartialT`'s `Monad` instance has. This is technically a breaking change, so I have noted it in the `what4` changelog. That being said, this change is unlikely to affect many people in practice, considering that the `MonadTrans` instance for `PartialT` is usually used in tandem with the `Monad` instance. * Various upper version bounds on `base` have been lifted to allow building with `base-4.18`. * The `aig` submodule has been bumped to bring in the changes from GaloisInc/aig#15, which allows it to build with GHC 9.6. |
||
|---|---|---|
| .. | ||
| src/What4/Solver | ||
| LICENSE | ||
| Setup.hs | ||
| what4-abc.cabal | ||