23 Jan
2023
23 Jan
'23
2:11 p.m.
On Mon, Jan 23, 2023 at 02:18:22PM +0000, Tom Ellis wrote:
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-... * https://stackoverflow.com/q/72329476/15207568
Sometimes it even causes errors where there were none before.
Great evidence! Thanks for linking it.
A related discussion amongst the GHC steering committee: https://mail.haskell.org/pipermail/ghc-steering-committee/2022-July/002812.h...