Support ghc 9.6

[edsko]

This supersedes both #151 and #155.

This mostly deals with the usual churn betweenghc versions (and relaxes other package bounds), but there was one non-trivial change. The large-anon plugin was generating code that looked something like this:

... unsafeCoerce @(Show Bool) @(Show Any) evidence ...

In ghc >= 9.6 this no longer works, because Show Bool :: Constraint, and the type arguments of unsafeCoerce have kind Type, and Type and Constraint are no longer the same thing in core starting in 9.6. We therefore now go through an indirection using Dict, so that the above code becomes

... fromDict (unsafeCoerce @(Dict Show Bool) @(Dict Show Any) (Dict evidence)) ...

This nearly resolves the problem, except that for some reason I also had to mark evidenceAllFields in Data.Record.Anon.Plugin.Internal.Runtime as NOINLINE, otherwise we still get -dcore-lint errors, but only with -O1. This almost feels like a ghc bug, but I don't have time to investigate this further at this point.

@TristanCacqueray and @gbrsales, I have combined your work and my own changes into this one commit. I've listed both of you in the git commit as Co-authored-by, and also listed you where appropriate in the ChangeLog.md entries. I hope that's okay.

[edsko]

Released

• https://hackage.haskell.org/package/large-generics-0.2.2
• https://hackage.haskell.org/package/large-records-0.4.1
• https://hackage.haskell.org/package/typelet-0.1.4
• https://hackage.haskell.org/package/large-anon-0.3.1

[TristanCacqueray]

Thank you @edsko !