Issues · Glasgow Haskell Compiler / GHC · GitLab

Implement homogeneous equality

#17368 · opened Oct 16, 2019 by Richard Eisenberg TypeInType core lint task typechecker
- 2
updated Mar 10, 2020
Kind-checking associated types

#17327 · opened Oct 09, 2019 by mniip TypeFamilies TypeInType bug typechecker
- 2
updated Feb 18, 2020
GHC panic (No skolem info) with RankNTypes and strange scoping

#16245 · opened Jan 27, 2019 by Ryan Scott P::normal QuantifiedConstraints RankNTypes Trac import TypeInType bug compiler crash typechecker 5
- 2
updated Feb 16, 2020
The well-kinded type invariant (in TcType)

#14873 · opened Mar 01, 2018 by Ryan Scott 8.12.1 P::highest Trac import TypeInType bug compiler crash typechecker 10
- 12
updated Jan 24, 2020
Couldn't match kind ‘k1’ with ‘k1’

#16244 · opened Jan 27, 2019 by Ryan Scott P::normal Trac import TypeInType bug error messages typechecker 5
- 0
updated Jan 23, 2020
Consider inferring a higher-rank kind for type synonyms

#13408 · opened Mar 10, 2017 by Richard Eisenberg P::normal Trac import TypeInType feature request visible dependent quantification 5
- 13
updated Jan 23, 2020
Typed holes regression in GHC 8.0.2: No skolem info: z_a1sY[sk:2]

#14040 · opened Jul 27, 2017 by Ryan Scott P::normal Trac import TypeFamilies TypeInType bug compiler crash partial type sigs typechecker typed holes 5
- 17
updated Jan 23, 2020
GHC mentions unlifted types out of the blue (to me anyway)

#14155 · opened Aug 24, 2017 by Icelandjack P::normal Trac import TypeInType bug 5
- 12
updated Jan 23, 2020
Stuck type families can lead to lousy error messages

#14319 · opened Oct 04, 2017 by David Feuer P::normal Trac import TypeFamilies TypeInType bug error messages typechecker 5
- 7
updated Jan 23, 2020
Error message mentions Any

#15474 · opened Aug 03, 2018 by Krzysztof Gogolewski 8.12.1 P::normal Trac import TypeInType bug error messages 5
- 7
updated Jan 23, 2020
eqType fails on comparing FunTys 0 of 3 tasks completed

#17675 · opened Jan 13, 2020 by Richard Eisenberg P::normal TypeInType bug levity polymorphism
- 1
updated Jan 22, 2020
Should GHC accept a type signature that needs coercion quantification?

#15710 · opened Oct 05, 2018 by Simon Peyton Jones P::normal Trac import TypeInType bug 5
- 8
updated Jan 19, 2020
`Any` appearing in a quantified constraint

#17562 · opened Dec 10, 2019 by Richard Eisenberg 8.12.1 QuantifiedConstraints TypeInType bug error messages typechecker
- 1
- 3
updated Jan 18, 2020
Kill EQ1

#17674 · opened Jan 13, 2020 by Richard Eisenberg TypeInType task
- 2
- 1
updated Jan 17, 2020
Associated type family can't be used at the kind level within other parts of parent class

#15942 · opened Nov 23, 2018 by Icelandjack 8.6.3 P::normal Trac import TypeApplications TypeInType bug 5
- 7
updated Jan 10, 2020
Support induction recursion

#11962 · opened Apr 20, 2016 by Richard Eisenberg P::normal Trac import TypeInType feature request 5
- 19
updated Jan 06, 2020
Type-level multiplication parsed as application at kind *, no guidance provided

#17621 · opened Dec 28, 2019 by Gesh P::normal TypeInType bug error messages
- 3
updated Jan 05, 2020
Never `Any`-ify during kind inference

#17567 · opened Dec 11, 2019 by Richard Eisenberg TypeInType task typechecker
- 1
- 5
updated Dec 17, 2019
Inconsistent treatment of implicitly bound kind variables as free-floating

#14198 · opened Sep 08, 2017 by Ryan Scott P::normal Trac import TypeInType bug typechecker 5
- 62
updated Dec 11, 2019
Permit levity polymorphism in kinds

#14180 · opened Sep 01, 2017 by David Feuer 8.2.3 P::normal Trac import TypeInType bug typechecker 5
- 14
updated Oct 14, 2019