LeventErkok / sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
https://github.com/LeventErkok/sbv
Other
242 stars 34 forks source link

Support building with mtl-2.3 (GHC 9.6) #651

Closed RyanGlScott closed 1 year ago

RyanGlScott commented 1 year ago

mtl-2.3 no longer re-exports Control.Monad from Control.Monad.State, so we must address this by explicitly importing some things from Control.Monad.

I also noticed that the test suite does not currently build with GHC 9.2.7, so I added a fix for that in a separate commit.

LeventErkok commented 1 year ago

Thanks!