Issues · Glasgow Haskell Compiler / GHC · GitLab

GHC internal error: ‘Y’ is not in scope during type checking, but it passed the renamer

#13625 · opened Apr 28, 2017 by Matthew Pickering 8.2.1 Pnormal Trac import TypeInType bug 5
- CLOSED
- 2
updated Jul 07, 2019
Can't resolve levity polymorphic superclass

#13603 · opened Apr 22, 2017 by Icelandjack 8.2.1 Pnormal Trac import TypeInType bug levity polymorphism 5
- CLOSED
- 7
updated Jul 07, 2019
ala from Control.Lens.Wrapped panics

#13585 · opened Apr 18, 2017 by Fumiaki Kinoshita 8.2.1 Phighest Trac import TypeInType bug compiler crash typechecker 10
- CLOSED
- 14
updated Jul 07, 2019
Typechecker regression when combining PolyKinds and MonoLocalBinds

#13555 · opened Apr 09, 2017 by Ryan Scott 8.2.1 Phigh Trac import TypeInType bug typechecker 7
- CLOSED
- 11
updated Jul 07, 2019
GHC doesn't think a type is of kind *, despite having evidence for it

#13337 · opened Feb 25, 2017 by Ryan Scott 8.2.1 Pnormal Trac import TypeInType bug typechecker 5
- CLOSED
- 14
updated Jul 07, 2019
Typeable regression in GHC HEAD

#13333 · opened Feb 24, 2017 by Ryan Scott 8.2.1 Phighest Trac import TypeInType bug typechecker 10
- CLOSED
- 13
updated Jul 07, 2019
Template Haskell regression: GHC erroneously thinks a type variable is also a kind

#12503 · opened Aug 20, 2016 by Ryan Scott 8.2.1 Phigh TemplateHaskell Trac import TypeInType bug 7
- CLOSED
- 9
updated Jul 07, 2019
Dependent type family does not reduce

#12239 · opened Jun 28, 2016 by Vladislav Zavialov 8.2.1 Phigh Trac import TypeFamilies TypeInType bug typechecker 7
- CLOSED
- 11
updated Jul 07, 2019
Recursive use of type-in-type results in infinite loop

#12174 · opened Jun 09, 2016 by Edward Z. Yang 8.2.1 Phighest Trac import TypeInType bug typechecker 10
- CLOSED
- 7
updated Sep 19, 2020
Surprising behavior with higher-rank quantification of kind variables

#11966 · opened Apr 21, 2016 by Ollie Charles 8.2.1 Pnormal Trac import TypeInType bug typechecker 5
- CLOSED
- 2
updated Jul 07, 2019
Self-kinded type variable accepted

#11592 · opened Feb 17, 2016 by Simon Peyton Jones 8.2.1 Pnormal Trac import TypeInType bug 5
- CLOSED
- 2
updated Jul 07, 2019
Panic repSplitTyConApp_maybe

#14175 · opened Aug 31, 2017 by David Feuer 8.2.2 Pnormal Trac import TypeInType bug compiler crash typechecker 5
- CLOSED
- 10
updated Jul 07, 2019
Core Lint error

#14162 · opened Aug 27, 2017 by Icelandjack 8.2.2 Pnormal Trac import TypeInType bug 5
- CLOSED
- 7
updated Jul 07, 2019
Can't infer type

#11995 · opened Apr 29, 2016 by Icelandjack 8.2.2 Pnormal Trac import TypeInType bug typechecker 5
- CLOSED
- 4
updated Jul 07, 2019
* is not an indexed type family

#11400 · opened Jan 10, 2016 by Ryan Scott 8.2.2 Pnormal Trac import TypeInType bug typechecker 5
- CLOSED
- 10
updated Jul 07, 2019
GHC 8.4.1-alpha regression with TypeInType

#14720 · opened Jan 25, 2018 by Ryan Scott 8.4.1 Phigh Trac import TypeInType bug typechecker 7
- CLOSED
- 4
updated Jul 07, 2019
GHCi spins forever

#14450 · opened Nov 11, 2017 by Icelandjack 8.4.1 Phigh PolyKinds Trac import TypeInType bug compiler perf 7
- CLOSED
- 9
updated Jul 07, 2019
GHC HEAD regression involving type families in kinds

#14441 · opened Nov 08, 2017 by Ryan Scott 8.4.1 Phigh Trac import TypeFamilies TypeInType bug 7
- CLOSED
- 5
updated Jul 07, 2019
Infinite loop when typechecking incorrect implementation (GHC HEAD only)

#14350 · opened Oct 13, 2017 by Ryan Scott 8.4.1 Phigh Trac import TypeInType bug typechecker 7
- CLOSED
- 3
updated Jul 07, 2019
GHC 8.2.1 regression involving telescoping kind signature

#14209 · opened Sep 09, 2017 by Ryan Scott 8.4.1 Phigh Trac import TypeInType bug typechecker 7
- CLOSED
- 4
updated Jul 07, 2019

Prev
1
2
3
4
5
6
7
…
12
Next