Issues · Glasgow Haskell Compiler / GHC · GitLab

GHC 9.0+ regression in checking program with higher-rank kinds

#18855 · opened Oct 16, 2020 by Ryan Scott 9.0.1 Phighest PolyKinds RankNTypes backport needed:9.0 bug program incorrectly rejected
- 3
updated Oct 27, 2020
Add warning for type aliases that monomorphise a PolyKinds-ed type

#18059 · opened Apr 14, 2020 by lspitzner PolyKinds error messages feature request
- 1
updated Apr 27, 2020
Unused type variable error misidentifies the name of the type variable

#17838 · opened Feb 15, 2020 by Ryan Scott PolyKinds TypeFamilies bug error messages
- 5
updated Mar 31, 2020
CUSK-less class typechecks on 8.4, but not on 8.6+

#17772 · opened Jan 31, 2020 by Ryan Scott PolyKinds TypeFamilies bug typechecker
- 4
updated Jun 08, 2020
Feature request: Polymorphic kinds in Data.Functor.Classes

#16276 · opened Feb 01, 2019 by Langston Barrett Pnormal PolyKinds Trac import feature request 5
- 0
updated Jul 07, 2019
Error message, room for improvement (polykinds)

#13992 · opened Jul 18, 2017 by Icelandjack Pnormal PolyKinds Trac import feature request 5
- 2
updated Jul 07, 2019
Unable to resolve instance for polykinded superclass constraint on associated-type-family.

#13814 · opened Jun 11, 2017 by isovector Pnormal PolyKinds Trac import TypeFamilies bug 5
- 4
updated Jul 07, 2019