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}}
Priority
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Manual
Title
Weight
Blocking
Error in optCoercion
#11754
· created
Mar 25, 2016
by
Simon Peyton Jones
8.0.1
10
P
highest
T
bug
Trac import
TypeInType
CLOSED
4
updated
Jul 07, 2019
assertPprPanic, called at compiler/types/TyCoRep.hs:1932
#11648
· created
Feb 26, 2016
by
Thomas Miedema
8.0.1
10
P
highest
T
bug
Trac import
TypeInType
CLOSED
21
updated
Jul 07, 2019
Heterogeneous type equality evidence ignored
#11642
· created
Feb 25, 2016
by
Ben Gamari
8.0.1
10
P
highest
T
bug
Trac import
TypeInType
typechecker
CLOSED
9
updated
Jul 07, 2019
document TypeInType
#11614
· created
Feb 20, 2016
by
rwbarton
8.0.1
10
P
highest
T
task
Trac import
TypeInType
documentation
CLOSED
4
updated
Jul 07, 2019
GHC falls into a hole if given incorrect kind signature
#11520
· created
Jan 31, 2016
by
Ben Gamari
8.0.1
10
P
highest
T
bug
Trac import
TypeInType
error messages
typechecker
CLOSED
9
updated
Jul 07, 2019
Levity polymorphism checks are inadequate
#11473
· created
Jan 21, 2016
by
Simon Peyton Jones
8.0.1
10
P
highest
T
bug
Trac import
TypeInType
error messages
representation polymorphism
CLOSED
12
updated
Jul 07, 2019
-XTypeInType uses up all memory when used in data family instance
#11407
· created
Jan 11, 2016
by
Ryan Scott
8.0.1
10
P
highest
T
bug
Trac import
TypeInType
compiler perf
typechecker
CLOSED
5
updated
Jul 07, 2019
Incorrect failure of type-level skolem escape check
#11405
· created
Jan 11, 2016
by
Richard Eisenberg
8.0.1
10
P
highest
T
bug
Trac import
TypeInType
CLOSED
10
updated
Jul 07, 2019
No match in record selector ctev_dest
#11401
· created
Jan 10, 2016
by
Lemming
8.0.1
10
P
highest
T
bug
Trac import
TypeInType
CLOSED
13
updated
Jul 07, 2019
Ill-kinded instance head involving -XTypeInType can invoke GHC panic
#11399
· created
Jan 10, 2016
by
Ryan Scott
8.0.1
10
P
highest
T
bug
Trac import
TypeInType
compiler crash
typechecker
CLOSED
4
updated
Jul 07, 2019
Regression when deriving Generic1 on poly-kinded data family
#11357
· created
Jan 05, 2016
by
Ryan Scott
8.0.1
10
P
highest
T
bug
Trac import
TypeInType
code generation
generics
CLOSED
13
updated
Jul 07, 2019
GHC panic when calling typeOf on a promoted data constructor
#11334
· created
Jan 01, 2016
by
Ryan Scott
8.0.1
10
P
highest
T
bug
Trac import
TypeInType
compiler crash
typechecker
CLOSED
19
updated
Jul 07, 2019
Regression typechecking type synonym which includes `Any`.
#11246
· created
Dec 17, 2015
by
Matthew Pickering
8.0.1
10
P
highest
T
bug
Trac import
TypeInType
typechecker
CLOSED
9
updated
Jul 07, 2019
Absolutely misleading error message on kind error
#11548
· created
Feb 06, 2016
by
mniip
8.0.1
7
P
high
T
bug
Trac import
TypeInType
error messages
CLOSED
7
updated
Jul 07, 2019
Can't :browse some modules with GHCi 7.11
#11266
· created
Dec 20, 2015
by
Ryan Scott
8.0.1
7
GHCi
P
high
T
bug
Trac import
TypeInType
CLOSED
4
updated
Jul 07, 2019
GHC sometimes misses a CUSK
#11811
· created
Apr 07, 2016
by
Richard Eisenberg
8.0.1
5
P
normal
T
bug
Trac import
TypeInType
CLOSED
3
updated
Jul 07, 2019
Deriving Generic1 interacts poorly with TypeInType
#11732
· created
Mar 21, 2016
by
Richard Eisenberg
8.0.1
5
P
normal
T
bug
Trac import
TypeInType
generics
CLOSED
19
updated
Jul 07, 2019
Make TypeInType stress test work
#11716
· created
Mar 17, 2016
by
Richard Eisenberg
8.0.1
5
P
normal
T
bug
Trac import
TypeInType
CLOSED
4
updated
Jul 07, 2019
Type families mistakingly report kind variables as unbound type variables
#11699
· created
Mar 11, 2016
by
mniip
8.0.1
5
P
normal
T
bug
Trac import
TypeInType
CLOSED
6
updated
Jul 07, 2019
Higher-rank kind in datatype definition rejected
#11635
· created
Feb 24, 2016
by
Oleg Grenrus
8.0.1
5
P
normal
T
bug
Trac import
TypeInType
CLOSED
5
updated
Jul 07, 2019
Prev
1
2
3
4
5
…
11
Next