[Haskell-cafe] Inscrutable error message from PolyKinds (should it be in GHC202X?)

Tom Ellis tom-lists-haskell-cafe-2017 at jaguarpaw.co.uk
Mon Jan 23 14:18:22 UTC 2023

On Mon, Jan 23, 2023 at 03:05:52PM +0100, J. Reinders wrote:
> More examples of GHC2021 inclusion of PolyKinds confusing people:
> * https://discourse.haskell.org/t/different-typeable-constraints-behaviour-in-ghc2021-haskell2010/4606?u=jaror
> * https://stackoverflow.com/q/72329476/15207568
> Sometimes it even causes errors where there were none before.

Great evidence!  Thanks for linking it.

More information about the Haskell-Cafe mailing list