Issues · Glasgow Haskell Compiler / GHC · GitLab

9.2.1 regression: GHC fails to load program with: Expected kind ‘k’, but ‘a’ has kind ‘k -> k’

#20752 · created Nov 27, 2021 by Roland Senn 9.6.1 CUSKs Pnormal StandaloneKindSignatures Ttask documentation
- 4
updated Apr 07, 2022
Order of StandaloneKindSignatures and CUSKs extensions significant

#18308 · created Jun 07, 2020 by Björn Hegerfors CUSKs Pnormal StandaloneKindSignatures Tbug TypeInType typechecker
- 6
updated Mar 31, 2021
Notify user when adding a CUSK might help fix a type error

#13365 · created Mar 02, 2017 by Eric Crockett 5 CUSKs Pnormal Tbug Trac import
- 7
updated Jul 07, 2019
Type/data family instances in kind checking

#12088 · created May 19, 2016 by alexvieth ⊥ 7 CUSKs Phigh Tbug Tfeature request Trac import typechecker
- 1
- 56
updated Mar 08, 2022
CUSK mysteries

#10141 · created Mar 06, 2015 by Richard Eisenberg 8.6.1 5 CUSKs Pnormal Tbug Trac import
- 16
updated Jul 07, 2019
Do finer-grained dependency analysis to infer more general kinds on type/class declarations

#9427 · created Aug 08, 2014 by Richard Eisenberg 5 CUSKs Pnormal Tbug Trac import
- 2
updated Mar 13, 2020