Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
10
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Open sidebar
Glasgow Haskell Compiler
GHC
Issues
Open
32
Closed
208
All
240
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
Weight
Blocking
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
P
normal
T
bug
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
P
normal
T
bug
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
P
highest
T
bug
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
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
· opened
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
· opened
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
· opened
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
· opened
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
· opened
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
· opened
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
· opened
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
· opened
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
· opened
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
· opened
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
· opened
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
· opened
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
· opened
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
· opened
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
· opened
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
· opened
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
…
12
Next