Ambiguous occurrence Generically when building with GHC 9.4 about linear-base HOT 9 CLOSED

Thanks @Bodigrim .

I hadn't tried, but let's just say that I'm not surprised. I was sort of expecting this to happen even. I'm not 100% sure how best to make a version which is compatible with both GHC 9.2 and GHC 9.4 yet. (I've been having issues with just being compatible with GHC 9.2, see #414 )

My favoured plan is to make two files which export Generically, one that defines it, and one that re-exports base's one. Build with the former in GHC 9.2 and with the latter in GHC 9.4.

from linear-base.

All that being said, I'm a bit swamped right now, so I'll be slow to implement any solution.

from linear-base.

There's an additional issue here when building with 9.4:

    • The ‘~’ operator is out of scope.
      Assuming it to stand for an equality constraint.
    • NB: ‘~’ used to be built-in syntax but now is a regular type operator
          exported from Data.Type.Equality and Prelude.
      If you are using a custom Prelude, consider re-exporting it.
    • This will become an error in a future GHC release.
    |
157 |     n ~ Arity b f
    |       ^

The recommendation from here appears to fix it:

module Prelude.Linear.Internal
  ( module Prelude.Linear.Internal
  , module Data.Type.Equality
  ) where

from linear-base.

I think this proposal would be the reason.

from linear-base.

Yeah, thanks. Just updated the previous comment :)

from linear-base.

https://hackage.haskell.org/package/generically ?

from linear-base.

Don't we always want our own version?

from linear-base.

I didn't know about the generically package, thanks for point it out @L-as. It would have worked, but we ended up deploying our own version. in #427 . This issue should have been closed (I'll close it now), but we mistakenly didn't.

I'll release very soon, I just need a couple of hours of focus time to push a few PRs and make the release.

from linear-base.

I am still getting issues with the dep tasty-hedgehog being marked as broken when testing this on ghc 9.4 using nix (probably out of scope), maybe a hackage release with different bounds can help though?

from linear-base.