Doesn't build under 9.0?

[tomjaguarpaw]

It seems that hedgehog-1.6 doesn't build with 9.0, perhaps something to do with simplified subsumption?

src/Hedgehog/Internal/Gen.hs:1211:12: error:
Error:     • Couldn't match type: HasCallStack => m a
                     with: f0 a
      Expected: f0 a -> m a
        Actual: (HasCallStack => m a) -> m a
    • In the first argument of ‘(.)’, namely ‘withFrozenCallStack’
Error: [Cabal-7125]
Failed to build hedgehog-1.6. See the build log above for details.

      In the expression:
        withFrozenCallStack
          . \case
              [] -> error "Hedgehog.Gen.element: used with empty list"
              xs
                -> do n <- integral_ $ Range.constant 0 (length xs - 1)
                      return $ xs !! n
      In an equation for ‘element_’:
          element_
            = withFrozenCallStack
                . \case
                    [] -> error "Hedgehog.Gen.element: used with empty list"
                    xs
                      -> do n <- integral_ $ Range.constant 0 (length xs - 1)
                            ....
    • Relevant bindings include
        element_ :: [a] -> m a
          (bound at src/Hedgehog/Internal/Gen.hs:1211:1)
     |
1211 | element_ = withFrozenCallStack . \case
     |            ^^^^^^^^^^^^^^^^^^^

https://github.com/kowainik/relude/actions/runs/17612390601/job/50037135832?pr=479#step:7:423

[tomjaguarpaw]

It seems that 9.0 is not tested, so may not be supported: https://github.com/hedgehogqa/haskell-hedgehog/blob/master/.github/workflows/haskell-ci.yml#L56-L65

Perhaps, then, you could prevent hedgehog being build with 9.0 by setting a dependency in the .cabal file?

[moodmosaic]

Hmm, perhaps we can just expand the definition to make the callstack constraint explicit.

[tomjaguarpaw]

Hopefully this will fix it: #557