Issues · Glasgow Haskell Compiler / GHC · GitLab

Order of StandaloneKindSignatures and CUSKs extensions significant

#18308 · opened Jun 07, 2020 by Björn Hegerfors CUSKs Pnormal StandaloneKindSignatures TypeInType bug typechecker
- 5
updated Jun 26, 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
Notify user when adding a CUSK might help fix a type error

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

#12088 · opened May 19, 2016 by alexvieth 8.12.1 CUSKs Phigh Trac import bug feature request typechecker 7
- 1
- 55
updated Jul 03, 2020
CUSK mysteries

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

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