Issues · Glasgow Haskell Compiler / GHC · GitLab

Allow kinds of associated types to depend on earlier associated types

#12612 · opened Sep 23, 2016 by davemenendez 5 Pnormal Trac import TypeInType bug
- 1
- 5
updated Jul 07, 2019
Type family in type pattern kind

#12564 · opened Sep 02, 2016 by Vladislav Zavialov 8.4.1 7 Phigh Trac import TypeFamilies TypeInType bug typechecker
- 25
updated Aug 24, 2019
TypeInType performance regressions

#11196 · opened Dec 11, 2015 by Richard Eisenberg 8.4.1 7 Phigh Trac import TypeInType bug compiler perf
- 17
updated Jul 07, 2019
Bug with PolyKinds, type synonyms & GADTs

#7503 · opened Dec 16, 2012 by Ashley Yakeley 8.0.1 5 Pnormal Trac import TypeInType bug typechecker
- 8
updated Jul 07, 2019
Kill EQ1

#17674 · opened Jan 13, 2020 by Richard Eisenberg TypeInType task
- 2
- 4
updated May 18, 2020
Implement homogeneous equality

#17368 · opened Oct 16, 2019 by Richard Eisenberg TypeInType core lint task typechecker
- 2
updated Mar 10, 2020
Refactor type patterns

#14119 · opened Aug 15, 2017 by Richard Eisenberg 5 Pnormal Trac import TypeInType task
- 18
updated Jul 07, 2019
Implement KPush in types

#13650 · opened May 05, 2017 by Richard Eisenberg 8.6.1 7 Phigh Trac import TypeInType task
- 3
updated Jul 07, 2019
Consider inferring a higher-rank kind for type synonyms

#13408 · opened Mar 10, 2017 by Richard Eisenberg 5 Pnormal Trac import TypeInType feature request visible dependent quantification
- 13
updated Sep 25, 2020
Support induction recursion

#11962 · opened Apr 20, 2016 by Richard Eisenberg 5 Pnormal Trac import TypeInType feature request
- 19
updated Jan 06, 2020
Why check for -fdefer-type-errors in metaTyVarUpdateOK?

#18689 · opened Sep 14, 2020 by Richard Eisenberg TypeInType typechecker
- 1
updated Dec 22, 2020