Issues · Glasgow Haskell Compiler / GHC · GitLab

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
"No skolem info" panic with PolyKinds

#17841 · opened Feb 16, 2020 by Jakob Brünker 8.10.2 PolyKinds backport needed:8.10 bug compiler crash typechecker
- 1
- 2
updated Jun 04, 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
GHC 8.10 regression: Core Lint error when defining instance of CUSK-less class

#17566 · opened Dec 11, 2019 by Ryan Scott 8.10.2 CUSKs Phighest PolyKinds TypeFamilies backport needed:8.10 bug 10
- 5
- 31
updated Jun 06, 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