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
327
Closed
1,046
All
1,373
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}}
Due date
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Manual
Title
Weight
Blocking
flatten_args wandered into deeper water than usual
#21583
· created
May 16, 2022
by
sfultong
P
high
T
bug
typechecker
6
updated
May 18, 2022
Tidy up withDict and friends
#21568
· created
May 13, 2022
by
Simon Peyton Jones
9.4.1
Coercions
P
normal
T
task
constraint solver
typechecker
2
updated
May 17, 2022
Regression in resolving quantified constraint from GHC 8.10.7 to GHC 9.0.2/9.2.2
#21550
· created
May 11, 2022
by
Identical Snowflake
9.2.3
P
normal
QuantifiedConstraints
T
bug
typechecker
1
updated
May 17, 2022
Investigate whether we can support simplified and deep subsumption
#21548
· created
May 10, 2022
by
Matthew Pickering
9.2.3
P
high
T
task
typechecker
1
6
updated
May 17, 2022
GHC 9.4 panic on a representation-polymorphic newtype instance
#21544
· created
May 10, 2022
by
sheaf
9.4.1
P
high
T
bug
TypeFamilies
UnliftedNewtypes
compiler crash
representation polymorphism
typechecker
14
updated
May 17, 2022
GHC 9.4 infinite loop in typechecker
#21530
· created
May 08, 2022
by
Jaro Reinders
9.4.1
P
high
T
bug
backport needed:9.4
compile-time loop
typechecker
5
updated
May 10, 2022
Constraint solver regression in 9.2
#21515
· created
May 06, 2022
by
Andres Löh
9.2.3
P
high
T
bug
constraint solver
typechecker
1
1
3
updated
May 13, 2022
The hint to add missing context to the type signature is not produced by GHC when using non-trivial constraint
#21502
· created
May 04, 2022
by
Sergey Vinokurov
P
normal
T
task
error messages
typechecker
4
updated
May 06, 2022
Confusion around visible type application in pattern synonym pattern
#21501
· created
May 04, 2022
by
Richard Eisenberg
9.6.1
PatternSynonyms
T
bug
TypeApplications
Typeable
typechecker
1
updated
May 06, 2022
Regression in interaction between type families and equality constraints
#21473
· created
May 02, 2022
by
KingoftheHomeless
9.2.3
P
high
T
bug
backport needed:9.2
backport needed:9.4
program incorrectly rejected
typechecker
2
updated
May 17, 2022
Confusing GADTSyntax newtype error with invisible kinds
#21447
· created
Apr 28, 2022
by
sheaf
9.6.1
GADTs
P
normal
T
bug
diagnostic quality
error messages
newcomer
typechecker
1
updated
May 03, 2022
Should we use CheckTyEqResult for equalities involving concrete metavariables?
#21430
· created
Apr 26, 2022
by
sheaf
P
low
T
task
defaulting
representation polymorphism
typechecker
0
updated
Apr 26, 2022
checkMissingFields could use wc_errors
#21413
· created
Apr 21, 2022
by
sheaf
P
low
T
task
error messages
records
typechecker
1
updated
Apr 21, 2022
simple_app fails to beta-reduce through casts
#21377
· created
Apr 11, 2022
by
sheaf
LinearTypes
P
high
T
bug
UnliftedDatatypes
UnliftedNewtypes
core lint
representation polymorphism
typechecker
4
updated
Apr 21, 2022
RULE quantification over equalities is fragile
#21366
· created
Apr 08, 2022
by
sheaf
P
normal
T
bug
rules
typechecker
2
updated
Apr 12, 2022
GHC no longer instantiates representation-polymorphic newtype constructors
#21346
· created
Apr 05, 2022
by
sheaf
P
normal
T
bug
UnliftedNewtypes
representation polymorphism
typechecker
2
10
updated
May 13, 2022
Add origins to meta-variables
#21330
· created
Apr 01, 2022
by
sheaf
9.6.1
P
normal
T
task
error messages
typechecker
1
updated
Apr 07, 2022
Order dependence in type checking with the monomorphism restriction
#21309
· created
Mar 28, 2022
by
Richard Eisenberg
MonomorphismRestriction
P
normal
T
bug
program incorrectly rejected
typechecker
2
updated
Apr 25, 2022
Type-changing record update ignores type families
#21289
· created
Mar 24, 2022
by
Richard Eisenberg
P
normal
T
bug
TypeFamilies
records
typechecker
1
3
updated
May 17, 2022
Add a note about non-deferrable constraints
#21237
· created
Mar 16, 2022
by
sheaf
P
low
T
task
constraint solver
documentation
typechecker
0
updated
Mar 16, 2022
Prev
1
2
3
4
5
…
17
Next