Issues · Glasgow Haskell Compiler / GHC · GitLab

Compile-time stack overflow exception in GHC HEAD only

#16902 · opened Jul 02, 2019 by Ryan Scott 8.10.1 TypeInType bug
- CLOSED
- 5
- 3
updated Jul 05, 2019
Scoped kind variables are broken

#16635 · opened May 07, 2019 by Vladislav Zavialov TypeInType bug typechecker
- 1
- 22
updated Sep 25, 2019
Higher-rank kinds lead to substitution assertion failure

#16600 · opened Apr 22, 2019 by Richard Eisenberg TypeInType bug
- CLOSED
- 4
updated Jun 08, 2019
"Quantified type's kind mentions quantified type variable" error with fancy-kinded GADT

#16391 · opened Mar 05, 2019 by Ryan Scott 8.10.1 Pnormal Trac import TypeInType bug typechecker 5
- CLOSED
- 4
updated Jul 27, 2020
Program fails with "Impossible case alternative" when optimized

#16310 · opened Feb 12, 2019 by Ryan Scott Pnormal Trac import TypeInType bug runtime crash 5
- CLOSED
- 8
updated Jul 07, 2019
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 (No skolem info) with RankNTypes and strange scoping

#16245 · opened Jan 27, 2019 by Ryan Scott Pnormal QuantifiedConstraints RankNTypes Trac import TypeInType bug compiler crash typechecker 5
- CLOSED
- 4
- 9
updated Sep 24, 2020
Couldn't match kind ‘k1’ with ‘k1’

#16244 · opened Jan 27, 2019 by Ryan Scott Pnormal Trac import TypeInType bug error messages typechecker 5
- CLOSED
- 2
- 2
updated May 05, 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
- CLOSED
- 2
- 8
updated Sep 19, 2020
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
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
Data families with higher-rank kinds

#15874 · opened Nov 07, 2018 by Icelandjack Pnormal Trac import TypeInType bug 5
- CLOSED
- 2
updated Jul 07, 2019
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
Panic with promoted types that Typeable doesn't support

#15862 · opened Nov 05, 2018 by Ryan Scott 8.8.1 Pnormal Trac import TypeInType Typeable bug compiler crash 5
- CLOSED
- 7
- 8
updated Feb 25, 2020
Dependent quantification, GHC panic

#15859 · opened Nov 05, 2018 by Icelandjack 8.6.3 Pnormal Trac import TypeInType bug 5
- CLOSED
- 1
- 3
updated Jul 07, 2019
Bad axiom produced for polykinded data family

#15852 · opened Nov 02, 2018 by Richard Eisenberg 8.8.1 Pnormal Trac import TypeFamilies TypeInType bug 5
- CLOSED
- 7
updated Jul 07, 2019
Data family quantification = GHC panic, ‘impossible’ happened

#15817 · opened Oct 27, 2018 by Icelandjack Pnormal Trac import TypeApplications TypeInType bug 5
- CLOSED
- 3
updated Jul 07, 2019
Core lint error with unused kind variable in data type return kind

#15795 · opened Oct 24, 2018 by Icelandjack Pnormal Trac import TypeApplications TypeInType bug 5
- CLOSED
- 8
updated Jul 07, 2019
GHC panic using visible kind applications and a higher-rank kind

#15789 · opened Oct 20, 2018 by Icelandjack Pnormal Trac import TypeInType bug 5
- CLOSED
- 5
updated Jul 07, 2019

Prev
1
2
3
4
5
6
7
…
12
Next