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 5 Pnormal Tbug Trac import TypeInType
- CLOSED
- 2
updated Jul 07, 2019
Can't resolve levity polymorphic superclass

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

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

#13555 · opened Apr 09, 2017 by Ryan Scott 8.2.1 7 Phigh Tbug Trac import TypeInType typechecker
- 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 5 Pnormal Tbug Trac import TypeInType typechecker
- CLOSED
- 14
updated Jul 07, 2019
Typeable regression in GHC HEAD

#13333 · opened Feb 24, 2017 by Ryan Scott 8.2.1 10 Phighest Tbug Trac import TypeInType typechecker
- 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 7 Phigh Tbug TemplateHaskell Trac import TypeInType
- CLOSED
- 9
updated Jul 07, 2019
Dependent type family does not reduce

#12239 · opened Jun 28, 2016 by Vladislav Zavialov 8.2.1 7 Phigh Tbug Trac import TypeFamilies TypeInType typechecker
- 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 10 Phighest Tbug Trac import TypeInType typechecker
- 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 5 Pnormal Tbug Trac import TypeInType typechecker
- CLOSED
- 2
updated Jul 07, 2019
Self-kinded type variable accepted

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

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

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

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

#11400 · opened Jan 10, 2016 by Ryan Scott 8.2.2 5 Pnormal Tbug Trac import TypeInType typechecker
- 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 7 Phigh Tbug Trac import TypeInType typechecker
- CLOSED
- 4
updated Jul 07, 2019
GHCi spins forever

#14450 · opened Nov 11, 2017 by Icelandjack 8.4.1 7 Phigh PolyKinds Tbug Trac import TypeInType compiler perf
- 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 7 Phigh Tbug Trac import TypeFamilies TypeInType
- 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 7 Phigh Tbug Trac import TypeInType typechecker
- 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 7 Phigh Tbug Trac import TypeInType typechecker
- CLOSED
- 4
updated Jul 07, 2019

Prev
1
2
3
4
5
6
7
…
12
Next