Issues · Glasgow Haskell Compiler / GHC · GitLab

Obscure type error message around kinds needs more information to be useful

#19491 · opened Mar 05, 2021 by Richard Eisenberg PolyKinds error messages levity polymorphism
- 0
updated Mar 05, 2021
Backpack + PolyKinds panic

#19244 · opened Jan 21, 2021 by Joachim Breitner Pnormal PolyKinds Tbug backpack
- 2
updated Feb 24, 2021
Add warning for type aliases that monomorphise a PolyKinds-ed type

#18059 · opened Apr 14, 2020 by lspitzner PolyKinds Tfeature request error messages
- 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 Tbug TypeFamilies error messages
- 5
updated Mar 31, 2020
Feature request: Polymorphic kinds in Data.Functor.Classes

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

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

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