Issues · Glasgow Haskell Compiler / GHC · GitLab

`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 Dec 11, 2019
Implement homogeneous equality

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

#17327 · opened Oct 09, 2019 by mniip TypeFamilies TypeInType bug needs triage typechecker
- 2
updated Oct 09, 2019
Scoped kind variables are broken

#16635 · opened May 07, 2019 by Vladislav Zavialov TypeInType bug typechecker
- 1
- 22
updated Sep 25, 2019
GHC panic (No skolem info) with RankNTypes and strange scoping

#16245 · opened Jan 27, 2019 by Ryan Scott 8.10.1 P::normal QuantifiedConstraints RankNTypes Trac import TypeInType bug compiler crash typechecker 5
- 2
updated Jul 07, 2019
Couldn't match kind ‘k1’ with ‘k1’

#16244 · opened Jan 27, 2019 by Ryan Scott 8.10.1 P::normal Trac import TypeInType bug error messages typechecker 5
- 0
updated Jul 07, 2019
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 Dec 10, 2019
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 Oct 09, 2019
Always promoting metavariables during type inference may be wrong

#15589 · opened Aug 31, 2018 by Richard Eisenberg 8.6.1 P::normal Trac import TypeInType bug 5
- 12
updated Jul 07, 2019
Panic when abusing kind inference

#15588 · opened Aug 31, 2018 by Richard Eisenberg 8.6.1 P::normal Trac import TypeInType bug 5
- 0
updated Jul 07, 2019
TypeInType: Type error conditioned on ordering of GADT and type family definitions

#15561 · opened Aug 23, 2018 by Bj0rn 8.6.1 GADTs P::normal Trac import TypeFamilies TypeInType bug 5
- 3
updated Jul 07, 2019
Error message mentions Any

#15474 · opened Aug 03, 2018 by Krzysztof Gogolewski 8.10.1 P::normal Trac import TypeInType bug error messages 5
- 7
updated Jul 07, 2019
The well-kinded type invariant (in TcType)

#14873 · opened Mar 01, 2018 by Ryan Scott 8.10.1 P::highest Trac import TypeInType bug compiler crash typechecker 10
- 11
updated Jul 07, 2019
Ordering of declarations can cause typechecking to fail

#14668 · opened Jan 14, 2018 by heptahedron P::normal Trac import TypeInType bug typechecker 5
- 7
updated Jul 07, 2019
Allow type family in data family return kind

#14645 · opened Jan 07, 2018 by Richard Eisenberg P::normal Trac import TypeFamilies TypeInType bug 5
- 12
updated Jul 07, 2019
Stuck type families can lead to lousy error messages

#14319 · opened Oct 04, 2017 by David Feuer 8.10.1 P::normal Trac import TypeFamilies TypeInType bug error messages typechecker 5
- 7
updated Jul 07, 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
GHC mentions unlifted types out of the blue (to me anyway)

#14155 · opened Aug 24, 2017 by Icelandjack 8.10.1 P::normal Trac import TypeInType bug 5
- 12
updated Jul 07, 2019
Refactor type patterns

#14119 · opened Aug 15, 2017 by Richard Eisenberg P::normal Trac import TypeInType task 5
- 18
updated Jul 07, 2019