Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Menu
Open sidebar
Glasgow Haskell Compiler
GHC
Issues
Open
33
Closed
212
All
245
New issue
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
Current
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
None
Any
{{title}}
None
Any
{{title}}
&{{id}}
Milestone due date
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Manual
Title
Weight
Blocking
GHC internal error: ‘Y’ is not in scope during type checking, but it passed the renamer
#13625
· created
Apr 28, 2017
by
Matthew Pickering
8.2.1
5
P
normal
T
bug
Trac import
TypeInType
CLOSED
2
updated
Jul 07, 2019
Can't resolve levity polymorphic superclass
#13603
· created
Apr 22, 2017
by
Icelandjack
8.2.1
5
P
normal
T
bug
Trac import
TypeInType
representation polymorphism
CLOSED
7
updated
Jul 07, 2019
ala from Control.Lens.Wrapped panics
#13585
· created
Apr 18, 2017
by
Fumiaki Kinoshita
8.2.1
10
P
highest
T
bug
Trac import
TypeInType
compiler crash
typechecker
CLOSED
14
updated
Jul 07, 2019
Typechecker regression when combining PolyKinds and MonoLocalBinds
#13555
· created
Apr 09, 2017
by
Ryan Scott
8.2.1
7
P
high
T
bug
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
· created
Feb 25, 2017
by
Ryan Scott
8.2.1
5
P
normal
T
bug
Trac import
TypeInType
typechecker
CLOSED
14
updated
Jul 07, 2019
Typeable regression in GHC HEAD
#13333
· created
Feb 24, 2017
by
Ryan Scott
8.2.1
10
P
highest
T
bug
Trac import
TypeInType
typechecker
CLOSED
13
updated
Jul 07, 2019
Template Haskell regression: GHC erroneously thinks a type variable is also a kind
#12503
· created
Aug 20, 2016
by
Ryan Scott
8.2.1
7
P
high
T
bug
TemplateHaskell
Trac import
TypeInType
CLOSED
9
updated
Jul 07, 2019
Dependent type family does not reduce
#12239
· created
Jun 28, 2016
by
Vladislav Zavialov
8.2.1
7
P
high
T
bug
Trac import
TypeFamilies
TypeInType
typechecker
CLOSED
11
updated
Jul 07, 2019
Recursive use of type-in-type results in infinite loop
#12174
· created
Jun 09, 2016
by
Edward Z. Yang
8.2.1
10
P
highest
T
bug
Trac import
TypeInType
typechecker
CLOSED
7
updated
Sep 19, 2020
Surprising behavior with higher-rank quantification of kind variables
#11966
· created
Apr 21, 2016
by
Ollie Charles
8.2.1
5
P
normal
T
bug
Trac import
TypeInType
typechecker
CLOSED
2
updated
Jul 07, 2019
Self-kinded type variable accepted
#11592
· created
Feb 17, 2016
by
Simon Peyton Jones
8.2.1
5
P
normal
T
bug
Trac import
TypeInType
CLOSED
2
updated
Jul 07, 2019
Panic repSplitTyConApp_maybe
#14175
· created
Aug 31, 2017
by
David Feuer
8.2.2
5
P
normal
T
bug
Trac import
TypeInType
compiler crash
typechecker
CLOSED
10
updated
Jul 07, 2019
Core Lint error
#14162
· created
Aug 27, 2017
by
Icelandjack
8.2.2
5
P
normal
T
bug
Trac import
TypeInType
CLOSED
7
updated
Jul 07, 2019
Can't infer type
#11995
· created
Apr 29, 2016
by
Icelandjack
8.2.2
5
P
normal
T
bug
Trac import
TypeInType
typechecker
CLOSED
4
updated
Jul 07, 2019
* is not an indexed type family
#11400
· created
Jan 10, 2016
by
Ryan Scott
8.2.2
5
P
normal
T
bug
Trac import
TypeInType
typechecker
CLOSED
10
updated
Jul 07, 2019
GHC 8.4.1-alpha regression with TypeInType
#14720
· created
Jan 25, 2018
by
Ryan Scott
8.4.1
7
P
high
T
bug
Trac import
TypeInType
typechecker
CLOSED
4
updated
Jul 07, 2019
GHCi spins forever
#14450
· created
Nov 11, 2017
by
Icelandjack
8.4.1
7
P
high
PolyKinds
T
bug
Trac import
TypeInType
compiler perf
CLOSED
9
updated
Jul 07, 2019
GHC HEAD regression involving type families in kinds
#14441
· created
Nov 08, 2017
by
Ryan Scott
8.4.1
7
P
high
T
bug
Trac import
TypeFamilies
TypeInType
CLOSED
5
updated
Jul 07, 2019
Infinite loop when typechecking incorrect implementation (GHC HEAD only)
#14350
· created
Oct 13, 2017
by
Ryan Scott
8.4.1
7
P
high
T
bug
Trac import
TypeInType
typechecker
CLOSED
3
updated
Jul 07, 2019
GHC 8.2.1 regression involving telescoping kind signature
#14209
· created
Sep 09, 2017
by
Ryan Scott
8.4.1
7
P
high
T
bug
Trac import
TypeInType
typechecker
CLOSED
4
updated
Jul 07, 2019
Prev
1
2
3
4
5
6
7
…
13
Next