Issues · Glasgow Haskell Compiler / GHC · GitLab

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
Kill EQ1

#17674 · opened Jan 13, 2020 by Richard Eisenberg TypeInType task
- 2
- 1
updated Jan 17, 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
`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
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
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 P::normal QuantifiedConstraints RankNTypes Trac import TypeInType bug compiler crash typechecker 5
- 2
updated Feb 16, 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
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
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
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.12.1 P::normal Trac import TypeInType bug error messages 5
- 7
updated Jan 23, 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
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 P::normal Trac import TypeFamilies TypeInType bug error messages typechecker 5
- 7
updated Jan 23, 2020
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