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's failure to rewrite in coercions & kinds leads to spurious occurs-check failure
#19652
· created
Apr 05, 2021
by
Richard Eisenberg
P
low
T
bug
TypeInType
constraint solver
typechecker
0
updated
Apr 08, 2021
TypeInType prevents Typeable from being resolved from a given
#19196
· created
Jan 08, 2021
by
Serge Kosyrev
TypeInType
Typeable
program incorrectly rejected
typechecker
CLOSED
3
updated
Jan 11, 2021
Tighten up the treatment of loose types in the solver
#18753
· created
Sep 26, 2020
by
Richard Eisenberg
TypeInType
constraint solver
typechecker
CLOSED
3
1
updated
Sep 30, 2020
GHC panic (tcInvisibleTyBinder) when using constraint in a kind
#18714
· created
Sep 18, 2020
by
Ryan Scott
T
bug
TypeInType
compiler crash
CLOSED
2
4
updated
Sep 21, 2020
Why check for -fdefer-type-errors in metaTyVarUpdateOK?
#18689
· created
Sep 14, 2020
by
Richard Eisenberg
TypeInType
typechecker
1
updated
Dec 22, 2020
Order of StandaloneKindSignatures and CUSKs extensions significant
#18308
· created
Jun 07, 2020
by
Björn Hegerfors
CUSKs
P
normal
StandaloneKindSignatures
T
bug
TypeInType
typechecker
6
updated
Mar 31, 2021
A cast might get in the way of instantiation
#18062
· created
Apr 15, 2020
by
Simon Peyton Jones
P
normal
T
bug
TypeInType
typechecker
1
updated
Apr 27, 2020
eqType fails on comparing FunTys
0 of 3 tasks completed
#17675
· created
Jan 13, 2020
by
Richard Eisenberg
P
normal
T
bug
TypeInType
representation polymorphism
CLOSED
3
2
updated
Feb 21, 2022
Kill EQ1
#17674
· created
Jan 13, 2020
by
Richard Eisenberg
T
task
TypeInType
1
5
updated
Sep 17, 2021
Type-level multiplication parsed as application at kind *, no guidance provided
#17621
· created
Dec 28, 2019
by
Gesh
P
normal
T
bug
TypeInType
error messages
3
updated
Jan 05, 2020
Never `Any`-ify during kind inference
#17567
· created
Dec 11, 2019
by
Richard Eisenberg
T
task
TypeInType
typechecker
CLOSED
2
1
11
updated
Jan 11, 2021
Regression involving unboxed types and type families
#17541
· created
Dec 04, 2019
by
Matthew Pickering
P
normal
T
bug
TypeInType
program incorrectly rejected
typechecker
CLOSED
2
9
updated
Dec 12, 2019
Implement homogeneous equality
#17368
· created
Oct 16, 2019
by
Richard Eisenberg
T
task
TypeInType
core lint
typechecker
2
updated
Jun 16, 2021
Kind-checking associated types
#17327
· created
Oct 09, 2019
by
mniip
T
bug
TypeFamilies
TypeInType
typechecker
2
updated
Feb 18, 2020
Kind inference bug in type family declaration
#17131
· created
Aug 29, 2019
by
Simon Peyton Jones
TypeFamilies
TypeInType
CLOSED
2
4
updated
Sep 15, 2021
Scoped kind variables are broken
#16635
· created
May 07, 2019
by
Vladislav Zavialov
T
bug
TypeInType
typechecker
1
22
updated
Sep 25, 2019
Higher-rank kinds lead to substitution assertion failure
#16600
· created
Apr 22, 2019
by
Richard Eisenberg
T
bug
TypeInType
CLOSED
4
updated
Jun 08, 2019
Program fails with "Impossible case alternative" when optimized
#16310
· created
Feb 12, 2019
by
Ryan Scott
5
P
normal
T
bug
Trac import
TypeInType
runtime crash
CLOSED
8
updated
Jul 07, 2019
GHC panic (No skolem info) with RankNTypes and strange scoping
#16245
· created
Jan 27, 2019
by
Ryan Scott
5
P
normal
QuantifiedConstraints
RankNTypes
T
bug
Trac import
TypeInType
compiler crash
typechecker
CLOSED
4
9
updated
Dec 31, 2020
Couldn't match kind ‘k1’ with ‘k1’
#16244
· created
Jan 27, 2019
by
Ryan Scott
5
P
normal
T
bug
Trac import
TypeInType
error messages
typechecker
CLOSED
2
2
updated
May 05, 2020
Prev
1
…
5
6
7
8
9
10
11
12
13
Next