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}}
Weight
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Manual
Title
Weight
Blocking
GHC does not rewrite in FunTy
#19677
· created
Apr 09, 2021
by
Richard Eisenberg
P
normal
T
bug
TypeInType
constraint solver
program incorrectly rejected
representation polymorphism
typechecker
CLOSED
3
0
updated
Sep 29, 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
Kind inference for newtypes in GADT syntax is deeply broken
#18891
· created
Oct 26, 2020
by
Richard Eisenberg
9.2.1
GADTs
P
normal
PolyKinds
StandaloneKindSignatures
T
bug
TypeFamilies
TypeInType
UnliftedNewtypes
representation polymorphism
typechecker
CLOSED
2
3
updated
Dec 08, 2020
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
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
Sep 29, 2021
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
`Any` appearing in a quantified constraint
#17562
· created
Dec 10, 2019
by
Richard Eisenberg
9.0.1
QuantifiedConstraints
T
bug
TypeInType
error messages
typechecker
CLOSED
3
4
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
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
Compile-time stack overflow exception in GHC HEAD only
#16902
· created
Jul 02, 2019
by
Ryan Scott
8.10.1
T
bug
TypeInType
CLOSED
5
3
updated
Jul 05, 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
Prev
1
…
7
8
9
10
11
Next
