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,321
Issues
4,321
List
Boards
Labels
Service Desk
Milestones
Iterations
Merge Requests
359
Merge Requests
359
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
273
Closed
975
All
1,248
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
Outdated commentary in solveNestedImplications?
#18295
· opened
Jun 03, 2020
by
Richard Eisenberg
documentation
task
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
bug
typechecker
1
updated
May 18, 2020
Eta-expansion of a left-section
#18151
· opened
May 06, 2020
by
Richard Eisenberg
9.0.1
P
normal
bug
incorrect runtime result
report impact
typechecker
CLOSED
1
8
updated
Jan 12, 2021
Out-of-date commentary in Tc.Deriv.Infer
#18073
· opened
Apr 18, 2020
by
Richard Eisenberg
deriving
task
typechecker
CLOSED
2
4
updated
Apr 23, 2020
A cast might get in the way of instantiation
#18062
· opened
Apr 15, 2020
by
Simon Peyton Jones
P
normal
TypeInType
bug
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
bug
typechecker
1
updated
Apr 08, 2020
mkNewTyConRhs panic when trying to constrain newtype with Coercible
#17955
· opened
Mar 24, 2020
by
matzemathics
9.0.1
P
normal
bug
typechecker
CLOSED
4
9
updated
Jan 23, 2021
Consider using specificity to disambiguate quantified constraints
#17934
· opened
Mar 19, 2020
by
Richard Eisenberg
QuantifiedConstraints
feature request
typechecker
2
updated
Feb 21, 2021
Lazy instantiation is incompatible with implicit parameters
#17873
· opened
Feb 24, 2020
by
Richard Eisenberg
ImplicitParams
P
normal
bug
typechecker
CLOSED
6
updated
Jul 15, 2020
"No skolem info" panic with PolyKinds
#17841
· opened
Feb 16, 2020
by
Jakob Brünker
8.10.2
PolyKinds
bug
compiler crash
typechecker
CLOSED
1
3
updated
Oct 19, 2020
Deduplicate overlapping Notes [TyVar/TyVar orientation] in TcUnify and [Canonical orientation for tyvar/tyvar equality constraints] in TcCanonical
#17827
· opened
Feb 12, 2020
by
Richard Eisenberg
needs triage
typechecker
CLOSED
2
1
updated
Feb 14, 2020
`case` needn't instantiate its scrutinee
#17790
· opened
Feb 05, 2020
by
Richard Eisenberg
task
typechecker
0
updated
Feb 05, 2020
Instantiation doesn't look through dictionaries
#17789
· opened
Feb 05, 2020
by
Richard Eisenberg
needs triage
typechecker
CLOSED
1
updated
Feb 05, 2020
CUSK-less class typechecks on 8.4, but not on 8.6+
#17772
· opened
Jan 31, 2020
by
Ryan Scott
PolyKinds
TypeFamilies
bug
typechecker
4
updated
Jun 08, 2020
Recursive superclass check is defeated by quantified constraints
#17737
· opened
Jan 24, 2020
by
Richard Eisenberg
P
normal
QuantifiedConstraints
bug
typechecker
2
updated
Mar 10, 2020
Note [Do not add duplicate quantified instances] is simplistic, causing rejection of programs
#17719
· opened
Jan 20, 2020
by
Richard Eisenberg
QuantifiedConstraints
typechecker
0
updated
Jul 14, 2020
Refactor solver to leave breadcrumbs
#17718
· opened
Jan 20, 2020
by
Richard Eisenberg
task
typechecker
1
0
updated
Jan 20, 2020
Refactor mapType/mapCoercion so that they inline
#17717
· opened
Jan 20, 2020
by
Richard Eisenberg
task
typechecker
0
updated
Mar 23, 2020
Poly-kinded rewrite rule fails to typecheck (HEAD only)
#17710
· opened
Jan 19, 2020
by
Ryan Scott
9.0.1
10
P
highest
PolyKinds
bug
rules
typechecker
CLOSED
2
9
updated
Mar 15, 2020
Prev
1
2
3
4
5
6
7
8
…
63
Next