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
326
Closed
1,045
All
1,371
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
Title
Weight
Blocking
TypeInType is marked as deprecated but has no warning on usage.
#21500
· created
May 04, 2022
by
Trevis Elser
P
normal
T
bug
typechecker
CLOSED
1
updated
May 05, 2022
GHC panic
#21479
· created
May 03, 2022
by
Icelandjack
9.2.3
P
normal
T
bug
compiler crash
typechecker
CLOSED
2
5
updated
May 11, 2022
Assertion in reportWanteds is too strict
#21405
· created
Apr 20, 2022
by
sheaf
P
normal
T
bug
error messages
typechecker
CLOSED
2
2
updated
Apr 27, 2022
decideMonoTyVars doesn't handle coercion variables in "candidates"
#21404
· created
Apr 19, 2022
by
sheaf
P
normal
T
question
defaulting
representation polymorphism
typechecker
CLOSED
3
3
updated
Apr 27, 2022
Add syntactic equality relation
#21239
· created
Mar 16, 2022
by
sheaf
P
normal
T
task
constraint solver
representation polymorphism
typechecker
CLOSED
9
5
updated
Apr 28, 2022
Quantified constraint blocks functional dependency
#21209
· created
Mar 09, 2022
by
Richard Eisenberg
FunctionalDependencies
P
low
QuantifiedConstraints
T
bug
typechecker
CLOSED
3
updated
Mar 25, 2022
GHC doesn't notice some overlapping instances (regression)
#21208
· created
Mar 09, 2022
by
Richard Eisenberg
9.2.3
P
high
T
bug
program incorrectly accepted
regression
typechecker
CLOSED
16
1
6
updated
Mar 28, 2022
(GHC 9.2.2) Impossible happened...
#21199
· created
Mar 08, 2022
by
Adam Conner-Sax
9.2.3
P
normal
T
bug
backport needed:9.2
typechecker
CLOSED
2
updated
Mar 08, 2022
Unfoldings in interface files are sucked in too eagerly
#21139
· created
Feb 25, 2022
by
Simon Peyton Jones
P
normal
T
bug
typechecker
CLOSED
1
1
updated
Feb 26, 2022
Definition of heterogeneous equality rejected unless using a SAKS
#21126
· created
Feb 23, 2022
by
sheaf
9.4.1
CUSKs
GADTs
P
normal
StandaloneKindSignatures
T
task
documentation
typechecker
CLOSED
6
updated
Apr 07, 2022
Inconsistent instantiation of inferred type variables when they don't all come first
#21088
· created
Feb 16, 2022
by
sheaf
GHCi
P
low
T
bug
typechecker
CLOSED
3
1
updated
Mar 03, 2022
Curious kind-checking failure with GHC 9.2.1 and visible dependent quantification
#21040
· created
Feb 03, 2022
by
Ryan Scott
PolyKinds
typechecker
visible dependent quantification
CLOSED
2
updated
Feb 04, 2022
GHC 9.2.1 typechecking regression with RankNTypes and TemplateHaskell
#21038
· created
Feb 03, 2022
by
Ryan Scott
9.2.2
P
highest
RankNTypes
T
bug
TemplateHaskell
typechecker
CLOSED
4
9
updated
Feb 14, 2022
MonoLocalBinds sometimes monomorphises *global* binds
#21023
· created
Jan 30, 2022
by
Richard Eisenberg
MonomorphismRestriction
P
normal
T
feature request
typechecker
CLOSED
2
2
updated
Mar 07, 2022
ASSERTION failure when building subcategories
#21010
· created
Jan 26, 2022
by
Matthew Pickering
Coercible
P
low
typechecker
CLOSED
4
4
updated
Feb 08, 2022
Unhelpful Kind equality error at the start of file
#21006
· created
Jan 26, 2022
by
Jkensik
P
normal
QuantifiedConstraints
error messages
typechecker
CLOSED
1
5
updated
Jan 28, 2022
Use ConcreteTv for metavariables that must only be unified with concrete types
#20972
· created
Jan 20, 2022
by
sheaf
P
normal
T
bug
representation polymorphism
typechecker
CLOSED
2
updated
Apr 14, 2022
matchInstEnv accounts for 50% of typechecker time
#20933
· created
Jan 11, 2022
by
Matthew Pickering
P
normal
T
bug
compiler perf
typechecker
CLOSED
2
14
updated
Feb 09, 2022
Inconsistent tidying of implications
#20932
· created
Jan 11, 2022
by
Simon Peyton Jones
P
high
T
bug
typechecker
CLOSED
4
4
updated
Feb 06, 2022
Different error with representation-polymorphic binder
#20929
· created
Jan 10, 2022
by
Krzysztof Gogolewski
P
low
T
task
error messages
typechecker
CLOSED
3
updated
Feb 03, 2022
Prev
1
2
3
4
5
…
53
Next