Issues · Glasgow Haskell Compiler / GHC · GitLab

GHC 8.6 Core Lint regression (Kind application error)

#16247 · opened Jan 27, 2019 by Ryan Scott 8.10.1 5 Pnormal Trac import TypeInType bug compiler crash typechecker
- CLOSED
- 8
updated Jul 07, 2019
GHC panic: newtype F rep = F (forall (a :: TYPE rep). a)

#15883 · opened Nov 09, 2018 by Icelandjack 8.10.1 5 Pnormal Trac import TypeInType UnliftedNewtypes bug compiler crash typechecker
- CLOSED
- 6
updated Jan 17, 2020
Odd pretty printing of equality constraint in kind ('GHC.Types.Eq# <>)

#15872 · opened Nov 07, 2018 by Icelandjack 8.10.1 5 Pnormal Trac import TypeInType bug error messages
- CLOSED
- 5
- 11
updated Jul 07, 2019
Allow runtime-representation polymorphic data families

#12766 · opened Oct 26, 2016 by Icelandjack 8.10.1 5 Pnormal Trac import TypeInType UnliftedNewtypes feature request
- CLOSED
- 3
updated Jul 07, 2019
“Constraints in kinds” illegal family application in instance (+ documentation issues?)

#12102 · opened May 22, 2016 by Icelandjack 8.10.1 5 Pnormal Trac import TypeInType bug
- CLOSED
- 5
- 23
updated Jul 07, 2019
TypeApplications-related infinite loop (GHC 8.6+ only)

#15577 · opened Aug 29, 2018 by Ryan Scott 8.8.2 7 Phigh Trac import TypeApplications TypeInType bug compiler perf typechecker
- CLOSED
- 14
updated Aug 30, 2019
`Any` appearing in a quantified constraint

#17562 · opened Dec 10, 2019 by Richard Eisenberg 9.0.1 QuantifiedConstraints TypeInType bug error messages typechecker
- CLOSED
- 3
- 4
updated Jan 11, 2021
Error message mentions Any

#15474 · opened Aug 03, 2018 by Krzysztof Gogolewski 9.0.1 5 Pnormal Trac import TypeInType bug error messages
- CLOSED
- 2
- 8
updated Jan 11, 2021
Kind inference for newtypes in GADT syntax is deeply broken

#18891 · opened Oct 26, 2020 by Richard Eisenberg 9.2.1 GADTs Pnormal PolyKinds StandaloneKindSignatures TypeFamilies TypeInType UnliftedNewtypes bug levity polymorphism typechecker
- CLOSED
- 2
- 3
updated Dec 08, 2020
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
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 5 Pnormal Trac import TypeApplications TypeInType bug
- CLOSED
- 2
- 8
updated Sep 19, 2020
GHC Panic: data A n (a :: n) :: a -> Type

#15881 · opened Nov 09, 2018 by Icelandjack 8.6.3 5 Pnormal Trac import TypeInType bug
- CLOSED
- 8
updated Jul 07, 2019
Dependent quantification, GHC panic

#15859 · opened Nov 05, 2018 by Icelandjack 8.6.3 5 Pnormal Trac import TypeInType bug
- CLOSED
- 1
- 3
updated Jul 07, 2019
GHC panic with TypeInType and type family

#14174 · opened Aug 31, 2017 by David Feuer 8.2.3 5 Pnormal Trac import TypeInType bug compiler crash typechecker
- CLOSED
- 7
updated Jul 07, 2019
TypeInType prevents Typeable from being resolved from a given

#19196 · opened Jan 08, 2021 by Serge Kosyrev TypeInType Typeable program incorrectly rejected typechecker
- CLOSED
- 3
updated Jan 11, 2021
Tighten up the treatment of loose types in the solver

#18753 · opened Sep 26, 2020 by Richard Eisenberg TypeInType constraint solver typechecker
- CLOSED
- 3
- 1
updated Sep 30, 2020
GHC panic (tcInvisibleTyBinder) when using constraint in a kind

#18714 · opened Sep 18, 2020 by Ryan Scott TypeInType bug compiler crash
- CLOSED
- 2
- 4
updated Sep 21, 2020
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

Prev
1
…
4
5
6
7
8
9
10
11
12
Next