new release to allow building with ghc-9.8?

Question

juhp opened this issue 10 months ago · 3 comments

Just wondering about any plans for the next release?

I would like to put copilot into Stackage Nightly but it will need what4.

Answer 1 · 2024-05-14T15:07:49.000Z

I plan to cut a new What4 release soon after I've done some additional validation of the changes in #256.

Answer 2 · 2024-05-15T15:30:04.000Z

I've uploaded what4-1.6 to Hackage, which is compatible with GHC 9.8.

Answer 3 · 2024-05-16T11:22:27.000Z

Thank you!