Issues · Glasgow Haskell Compiler / GHC · GitLab

Make the design of defaulting explicit

#20686 · created Nov 15, 2021 by Simon Peyton Jones LinearTypes Pnormal PolyKinds Ttask defaulting representation polymorphism typechecker
- 32
updated May 27, 2022
Heterogeneous coercions

#20514 · created Oct 15, 2021 by David Feuer Coercible Coercions Plow PolyKinds Tfeature request
- 13
updated Oct 19, 2021
Obscure type error message around kinds needs more information to be useful

#19491 · created Mar 05, 2021 by Richard Eisenberg PolyKinds error messages representation polymorphism
- 0
updated Mar 05, 2021
Add warning for type aliases that monomorphise a PolyKinds-ed type

#18059 · created 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 · created 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 · created 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 · created 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 · created Jun 11, 2017 by isovector 5 Pnormal PolyKinds Tbug Trac import TypeFamilies
- 4
updated Jul 07, 2019