Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
GHC
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Locked Files
Issues
4,323
Issues
4,323
List
Boards
Labels
Service Desk
Milestones
Iterations
Merge Requests
363
Merge Requests
363
Requirements
Requirements
List
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Security & Compliance
Security & Compliance
Dependency List
License Compliance
Operations
Operations
Incidents
Environments
Analytics
Analytics
CI / CD
Code Review
Insights
Issue
Repository
Value Stream
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
Glasgow Haskell Compiler
GHC
Issues
Open
272
Closed
974
All
1,246
New issue
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{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
GHC 9.0 rejects default signature that 8.10 accepts
#19432
· opened
Feb 25, 2021
by
Ryan Scott
DefaultSignatures
bug
program incorrectly rejected
typechecker
CLOSED
2
15
updated
Mar 03, 2021
GHC 9.0 unable to deduce that instance signature is at least as general as class signature
#19419
· opened
Feb 23, 2021
by
sheaf
InstanceSigs
typechecker
CLOSED
2
updated
Feb 25, 2021
oversized source range in type error message
#19364
· opened
Feb 13, 2021
by
jwaldmann
P
normal
bug
error messages
typechecker
CLOSED
2
updated
Mar 04, 2021
GHC 9.0 regression: plots-0.1.1.2 fails to build due to ambiguous type variable
#19315
· opened
Feb 03, 2021
by
Ryan Scott
9.0.2
P
highest
bug
program incorrectly rejected
typechecker
CLOSED
11
updated
Feb 10, 2021
‘:kind () :: '()’ doesn't give any output
#19197
· opened
Jan 09, 2021
by
Icelandjack
GHCi
bug
needs triage
typechecker
CLOSED
1
2
updated
Jan 18, 2021
TypeInType prevents Typeable from being resolved from a given
#19196
· opened
Jan 08, 2021
by
Serge Kosyrev
TypeInType
Typeable
program incorrectly rejected
typechecker
CLOSED
3
updated
Jan 11, 2021
Regression around overloaded literals and type applications
#19167
· opened
Jan 04, 2021
by
Richard Eisenberg
9.2.1
OverloadedStrings
RebindableSyntax
TypeApplications
typechecker
CLOSED
2
updated
Feb 21, 2021
GHC 9.0 no longer typechecks a program involving overloaded labels and type applications
#19154
· opened
Jan 02, 2021
by
sheaf
9.2.1
bug
program incorrectly rejected
typechecker
CLOSED
5
8
updated
Feb 22, 2021
panic lookup_final_id with -fdefer-type-errors and kind error in instance definition
#19142
· opened
Dec 31, 2020
by
Jakob Brünker
P
normal
bug
compiler crash
deferred type errors
typechecker
CLOSED
3
6
updated
Jan 22, 2021
panic: No skolem info when trying to use variable with polymorphic kind as Type/Constraint
#19140
· opened
Dec 31, 2020
by
Jakob Brünker
9.2.1
RankNTypes
bug
compiler crash
needs triage
typechecker
CLOSED
1
updated
Dec 31, 2020
GADT pattern match defeats instance solving
#19107
· opened
Dec 22, 2020
by
Richard Eisenberg
constraint solver
typechecker
CLOSED
2
5
updated
Jan 25, 2021
Partial type signature variable confuses instance solving
#19106
· opened
Dec 22, 2020
by
Richard Eisenberg
constraint solver
partial type sigs
typechecker
CLOSED
2
2
updated
Jan 25, 2021
Regression: HEAD requires FlexibleContexts because of inferred, redundant constraint
#19044
· opened
Dec 09, 2020
by
Ryan Scott
9.2.1
OverlappingInstances
P
highest
bug
program incorrectly accepted
typechecker
CLOSED
3
4
updated
Dec 19, 2020
Quick Look does not zonk return types
#18987
· opened
Nov 24, 2020
by
Richard Eisenberg
ImpredicativeTypes
task
typechecker
CLOSED
2
updated
Dec 21, 2020
Investigate touchable meta-variables in Givens
#18929
· opened
Nov 07, 2020
by
Richard Eisenberg
constraint solver
partial type sigs
typechecker
CLOSED
9
updated
Jan 02, 2021
ghc-8.8 does not infer kind
#18920
· opened
Nov 02, 2020
by
jwaldmann
8.10.1
bug
program incorrectly rejected
typechecker
CLOSED
2
5
updated
Nov 09, 2020
Order-dependent type inference due to Note [Instance and Given overlap]
#18910
· opened
Oct 30, 2020
by
Richard Eisenberg
P
normal
TypeFamilies
bug
constraint solver
typechecker
CLOSED
3
5
updated
Jan 06, 2021
Kind inference for newtypes in GADT syntax is deeply broken
#18891
· opened
Oct 26, 2020
by
Richard Eisenberg
9.2.1
GADTs
P
normal
PolyKinds
StandaloneKindSignatures
TypeFamilies
TypeInType
UnliftedNewtypes
bug
levity polymorphism
typechecker
CLOSED
2
3
updated
Dec 08, 2020
Occurs-check-y Givens rewrite once, but not twice
#18875
· opened
Oct 22, 2020
by
Richard Eisenberg
TypeFamilies
constraint solver
typechecker
CLOSED
3
3
updated
Dec 04, 2020
Visibility mismatch between data declaration and kind signature, accepted!
#18863
· opened
Oct 19, 2020
by
Icelandjack
9.2.1
needs triage
typechecker
CLOSED
2
6
updated
Oct 31, 2020
Prev
1
2
3
4
5
…
49
Next