GHC 9.4 compatibility

[ysangkok]

This allows compatibility with GHC 9.4. Tested with cabal test -w ghc-9.4.1.

The extension is added because of this new warning:

src/Hedgehog/Internal/Gen.hs:312:46: error: [-Wtype-equality-requires-operators, -Werror=type-equality-requires-operators]
    The use of ‘~’ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
312 | toTree :: forall m a. (MonadGen m, GenBase m ~ Identity) => m a -> m (Tree a)

[moodmosaic]

Thank you, @ysangkok 👍 Shouldn't we also add an entry in the CI build for 9.4.1?

[moodmosaic]

Thank you, @ysangkok 👍 Shouldn't we also add an entry in the CI build for 9.4.1?

[moodmosaic]

Hmm... It looks like CI failed to fetch Cabal 3.8 (required by GHC 9.4). That could be an issue with GHCUp or with the (no longer maintained) actions/setup-haskell.

[moodmosaic]

@ysangkok let's see if the changes you force-pushed will go through (I've noticed you removed Cabal 3.8, but IIRC that's the minimum required version that'll work with GHC 9.4). 👀

[ysangkok]

@moodmosaic I replaced Cabal 3.4 with Cabal 3.8. The failure was because GHCup apparently requires the full version number, I don't think it was related to setup-haskell. The build passes now, I think this is good to go.

[moodmosaic]

👍👌

[moodmosaic]

🦔🐾👍

[moodmosaic]

@moodmosaic I replaced Cabal 3.4 with Cabal 3.8.

Yep! 👍 That's fine.

[moodmosaic]

Available in hedgehog 1.2.