search

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
240 stars 33 forks source link

GHC 9.2. release #606

Closed LeventErkok closed 2 years ago

LeventErkok commented 2 years ago

All blockers resolved; this'll go ahead shortly.

ksqsf commented 2 years ago

Hi, what's the status of the new release? I just tried ghc 9.2.2 but the compilation failed.

LeventErkok commented 2 years ago

I expect a Hackage release within the next few weeks. If you have an urgent need, you should be able to compile from GitHub master, which should compile cleanly with 9.2.2.

LeventErkok commented 2 years ago

@ksqsf

Sorry about the delay. SBV 9.0 is now released on hackage, and it should compile cleanly with GHC 9.2.2: https://hackage.haskell.org/package/sbv