Issues · Glasgow Haskell Compiler / GHC · GitLab

Why check for -fdefer-type-errors in metaTyVarUpdateOK?

#18689 · opened Sep 14, 2020 by Richard Eisenberg TypeInType typechecker
- 1
updated Dec 22, 2020
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
A cast might get in the way of instantiation

#18062 · opened Apr 15, 2020 by Simon Peyton Jones Pnormal TypeInType bug typechecker
- 1
updated Apr 27, 2020
eqType fails on comparing FunTys 0 of 3 tasks completed

#17675 · opened Jan 13, 2020 by Richard Eisenberg Pnormal TypeInType bug levity polymorphism
- 1
- 2
updated Feb 08, 2021
Kill EQ1

#17674 · opened Jan 13, 2020 by Richard Eisenberg TypeInType task
- 2
- 4
updated May 18, 2020
Type-level multiplication parsed as application at kind *, no guidance provided

#17621 · opened Dec 28, 2019 by Gesh Pnormal TypeInType bug error messages
- 3
updated Jan 05, 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
Should GHC accept a type signature that needs coercion quantification?

#15710 · opened Oct 05, 2018 by Simon Peyton Jones 5 Pnormal Trac import TypeInType bug
- 8
updated Apr 15, 2020
Always promoting metavariables during type inference may be wrong

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

#15588 · opened Aug 31, 2018 by Richard Eisenberg 8.6.1 5 Pnormal Trac import TypeInType bug
- 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 5 GADTs Pnormal Trac import TypeFamilies TypeInType bug
- 3
updated Jul 07, 2019
The well-kinded type invariant (in TcType)

#14873 · opened Mar 01, 2018 by Ryan Scott 9.2.1 10 Phighest Trac import TypeInType bug compiler crash typechecker
- 12
updated Jan 23, 2021
Ordering of declarations can cause typechecking to fail

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

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

#14319 · opened Oct 04, 2017 by David Feuer 5 Pnormal Trac import TypeFamilies TypeInType bug error messages typechecker
- 7
updated Jan 23, 2020
Inconsistent treatment of implicitly bound kind variables as free-floating

#14198 · opened Sep 08, 2017 by Ryan Scott 5 Pnormal Trac import TypeInType bug typechecker
- 69
updated Dec 28, 2020
Permit levity polymorphism in kinds

#14180 · opened Sep 01, 2017 by David Feuer 5 Pnormal Trac import TypeInType bug levity polymorphism typechecker
- 18
updated Sep 16, 2020
GHC mentions unlifted types out of the blue (to me anyway)

#14155 · opened Aug 24, 2017 by Icelandjack 5 Pnormal Trac import TypeInType bug
- 12
updated Jan 23, 2020