Issues · Glasgow Haskell Compiler / GHC · GitLab

Rework GHC's treatment of constraints in kinds

#16263 · opened Jan 31, 2019 by Richard Eisenberg 8.10.1 Pnormal Trac import TypeInType bug newcomer 5
- CLOSED
- 14
updated Jul 07, 2019
GHC 8.6 Core Lint regression (Kind application error)

#16247 · opened Jan 27, 2019 by Ryan Scott 8.10.1 Pnormal Trac import TypeInType bug compiler crash typechecker 5
- 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 Pnormal Trac import TypeInType UnliftedNewtypes bug compiler crash typechecker 5
- 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 Pnormal Trac import TypeInType bug error messages 5
- CLOSED
- 5
- 11
updated Jul 07, 2019
Allow runtime-representation polymorphic data families

#12766 · opened Oct 26, 2016 by Icelandjack 8.10.1 Pnormal Trac import TypeInType UnliftedNewtypes feature request 5
- 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 Pnormal Trac import TypeInType bug 5
- 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 Phigh Trac import TypeApplications TypeInType bug compiler perf typechecker 7
- CLOSED
- 14
updated Aug 30, 2019
`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
Error message mentions Any

#15474 · opened Aug 03, 2018 by Krzysztof Gogolewski 8.12.1 Pnormal 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 Phighest Trac import TypeInType bug compiler crash typechecker 10
- 12
updated Jan 24, 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 Pnormal Trac import TypeApplications TypeInType bug 5
- 7
updated Jan 10, 2020
GHC Panic: data A n (a :: n) :: a -> Type

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

#15859 · opened Nov 05, 2018 by Icelandjack 8.6.3 Pnormal Trac import TypeInType bug 5
- CLOSED
- 3
updated Jul 07, 2019
Permit levity polymorphism in kinds

#14180 · opened Sep 01, 2017 by David Feuer 8.2.3 Pnormal Trac import TypeInType bug typechecker 5
- 17
updated Jul 15, 2020
GHC panic with TypeInType and type family

#14174 · opened Aug 31, 2017 by David Feuer 8.2.3 Pnormal Trac import TypeInType bug compiler crash typechecker 5
- CLOSED
- 7
updated Jul 07, 2019
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
- 1
updated May 02, 2020
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

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