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
272
Closed
988
All
1,260
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
Instance/given overlap trips up the ambiguity check
#18850
· opened
Oct 15, 2020
by
Richard Eisenberg
OverlappingInstances
ambiguity check
typechecker
5
updated
Oct 29, 2020
Typecheck record update via desugaring
#18802
· opened
Oct 05, 2020
by
Simon Peyton Jones
T
task
records
typechecker
2
updated
Oct 05, 2020
Remove NoGhcTc, allow HsType GhcTc, HsDecl GhcTc
#18758
· opened
Sep 28, 2020
by
Vladislav Zavialov
9.2.1
T
task
typechecker
1
13
updated
Mar 28, 2021
Infer multiplicity of let expression
#18739
· opened
Sep 23, 2020
by
Arnaud Spiwack
LinearTypes
T
feature request
typechecker
6
updated
Apr 12, 2021
Infer multiplicity of case expression
#18738
· opened
Sep 23, 2020
by
Arnaud Spiwack
LinearTypes
T
feature request
typechecker
1
updated
Apr 12, 2021
GHC could not deduce constraint from itself
#18704
· opened
Sep 17, 2020
by
rybochodonezzar
P
normal
T
bug
typechecker
1
3
updated
Sep 30, 2020
Why check for -fdefer-type-errors in metaTyVarUpdateOK?
#18689
· opened
Sep 14, 2020
by
Richard Eisenberg
TypeInType
typechecker
1
updated
Dec 22, 2020
GHC fails to infer type with FlexibleContexts
#18529
· opened
Aug 03, 2020
by
Richard Eisenberg
P
normal
T
bug
program incorrectly rejected
typechecker
0
updated
Sep 30, 2020
Improve instantiation of datacons
#18481
· opened
Jul 20, 2020
by
Krzysztof Gogolewski
LinearTypes
T
task
typechecker
1
updated
Jul 21, 2020
"equirecursive" type family leads to stack overflow in ghci
#18456
· opened
Jul 15, 2020
by
Xia Li-yao
GHCi
P
normal
T
bug
TypeFamilies
compiler crash
typechecker
2
updated
Jul 17, 2020
Suboptimal constraint solving
#18413
· opened
Jul 02, 2020
by
Simon Peyton Jones
T
task
compiler perf
constraint solver
typechecker
6
updated
Mar 29, 2021
Functional dependency should constrain local inferred type, but does not
#18406
· opened
Jun 29, 2020
by
Richard Eisenberg
FunctionalDependencies
P
normal
T
bug
typechecker
4
updated
Jul 20, 2020
Record update is over-restrictive
#18311
· opened
Jun 08, 2020
by
Simon Peyton Jones
P
normal
T
bug
records
typechecker
0
updated
Oct 05, 2020
Order of StandaloneKindSignatures and CUSKs extensions significant
#18308
· opened
Jun 07, 2020
by
Björn Hegerfors
CUSKs
P
normal
StandaloneKindSignatures
T
bug
TypeInType
typechecker
6
updated
Mar 31, 2021
Outdated commentary in solveNestedImplications?
#18295
· opened
Jun 03, 2020
by
Richard Eisenberg
T
task
documentation
typechecker
2
updated
Jun 04, 2020
Improve Coercible under foralls
#18220
· opened
May 22, 2020
by
Simon Peyton Jones
typechecker
0
updated
May 22, 2020
Type synonym lost with GADTs
#18196
· opened
May 17, 2020
by
Identical Snowflake
GADTs
P
normal
T
bug
typechecker
1
updated
May 18, 2020
A cast might get in the way of instantiation
#18062
· opened
Apr 15, 2020
by
Simon Peyton Jones
P
normal
T
bug
TypeInType
typechecker
1
updated
Apr 27, 2020
GHCi infers too-general type when pattern-matching on existential GADT
#18007
· opened
Apr 02, 2020
by
infinity0
GADTs
GHCi
P
normal
T
bug
typechecker
1
updated
Apr 08, 2020
Consider using specificity to disambiguate quantified constraints
#17934
· opened
Mar 19, 2020
by
Richard Eisenberg
QuantifiedConstraints
T
feature request
typechecker
2
updated
Feb 21, 2021
Prev
1
2
3
4
5
6
…
14
Next
