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}}
Created date
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Manual
Weight
Blocking
Absolutely misleading error message on kind error
#11548
· opened
Feb 06, 2016
by
mniip
8.0.1
7
P
high
T
bug
Trac import
TypeInType
error messages
CLOSED
7
updated
Jul 07, 2019
GHC falls into a hole if given incorrect kind signature
#11520
· opened
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
Inferring non-tau kinds
#11519
· opened
Jan 30, 2016
by
Richard Eisenberg
8.0.1
5
P
normal
T
bug
Trac import
TypeInType
CLOSED
11
updated
Jul 07, 2019
Very unhelpful message resulting from kind mismatch
#11485
· opened
Jan 24, 2016
by
Ryan Scott
8.0.1
5
P
normal
T
bug
Trac import
TypeInType
typechecker
CLOSED
2
updated
Jul 07, 2019
Type synonym using -XTypeInType can't be spliced with TH
#11484
· opened
Jan 23, 2016
by
Ryan Scott
8.0.2
5
P
normal
T
bug
TemplateHaskell
Trac import
TypeInType
CLOSED
9
updated
Jul 07, 2019
Levity polymorphism checks are inadequate
#11473
· opened
Jan 21, 2016
by
Simon Peyton Jones
8.0.1
10
P
highest
T
bug
Trac import
TypeInType
error messages
levity polymorphism
CLOSED
12
updated
Jul 07, 2019
Kind polymorphism and unboxed types: bad things are happening
#11471
· opened
Jan 21, 2016
by
Ben Gamari
8.0.1
5
P
normal
T
bug
T
task
Trac import
TypeInType
typechecker
CLOSED
24
updated
Jul 07, 2019
Template Haskell applies too many arguments to kind synonym
#11463
· opened
Jan 20, 2016
by
Ryan Scott
8.0.1
5
P
normal
T
bug
TemplateHaskell
Trac import
TypeApplications
TypeInType
incorrect runtime result
CLOSED
4
updated
Jul 07, 2019
Kinds in type synonym/data declarations can unexpectedly unify
#11453
· opened
Jan 18, 2016
by
Ryan Scott
5
P
normal
T
bug
Trac import
TypeInType
error messages
typechecker
CLOSED
1
updated
Jul 07, 2019
GHC mistakenly believes datatype with type synonym in its type can't be eta-reduced
#11416
· opened
Jan 13, 2016
by
Ryan Scott
8.0.1
5
P
normal
T
bug
Trac import
TypeInType
typechecker
CLOSED
5
updated
Jul 07, 2019
Quantification over unlifted type variable
#11410
· opened
Jan 12, 2016
by
Richard Eisenberg
5
P
normal
T
bug
Trac import
TypeInType
CLOSED
3
updated
Jul 07, 2019
-XTypeInType uses up all memory when used in data family instance
#11407
· opened
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
· opened
Jan 11, 2016
by
Richard Eisenberg
8.0.1
10
P
highest
T
bug
Trac import
TypeInType
CLOSED
10
updated
Jul 07, 2019
The type variable used in a kind is still used
#11404
· opened
Jan 11, 2016
by
Richard Eisenberg
8.0.1
5
P
normal
T
bug
Trac import
TypeInType
CLOSED
2
updated
Jul 07, 2019
No match in record selector ctev_dest
#11401
· opened
Jan 10, 2016
by
Lemming
8.0.1
10
P
highest
T
bug
Trac import
TypeInType
CLOSED
13
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
Ill-kinded instance head involving -XTypeInType can invoke GHC panic
#11399
· opened
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
Inconsistent specified type variables among functions and datatypes/classes when using -XTypeApplications
#11376
· opened
Jan 08, 2016
by
Ryan Scott
8.0.1
5
P
normal
T
bug
Trac import
TypeApplications
TypeInType
typechecker
CLOSED
33
updated
Jul 07, 2019
T6137 doesn't pass with reversed uniques
#11362
· opened
Jan 06, 2016
by
niteria
8.0.1
5
P
normal
T
bug
Trac import
TypeInType
CLOSED
7
updated
Jul 07, 2019
Regression when deriving Generic1 on poly-kinded data family
#11357
· opened
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
Prev
1
…
6
7
8
9
10
11
Next