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,318
Issues
4,318
List
Boards
Labels
Service Desk
Milestones
Iterations
Merge Requests
386
Merge Requests
386
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
270
Closed
972
All
1,242
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}}
Manual
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Manual
Weight
TypeError hides a second error message
#16894
· opened
Jul 02, 2019
by
Joey Hess
5
P
normal
bug
custom type errors
error messages
typechecker
user-facing
2
updated
Jan 23, 2020
Refactor Ct and friends
#16947
· opened
Jul 16, 2019
by
Richard Eisenberg
9.2.1
P
normal
task
typechecker
0
updated
Jan 22, 2021
Type error being deferred to other values
#16954
· opened
Jul 18, 2019
by
Some Guy
P
normal
typechecker
0
updated
Jan 23, 2020
More of Note [Let-bound skolems]
#16967
· opened
Jul 22, 2019
by
Richard Eisenberg
P
normal
feature request
typechecker
1
updated
Aug 01, 2019
Break out TcTyVar into its own type
#16982
· opened
Jul 25, 2019
by
Richard Eisenberg
P
normal
task
typechecker
3
updated
Aug 01, 2019
Refactor TcTyCon into its own type
#17032
· opened
Aug 06, 2019
by
Richard Eisenberg
task
typechecker
1
updated
Aug 19, 2019
Investigate Note [Kind checking recursive type and class declarations]
#17033
· opened
Aug 06, 2019
by
Richard Eisenberg
task
typechecker
0
updated
Jan 23, 2020
`-Wredundant-constraints` depends on the ordering of constraints with overlapping superclasses
#17053
· opened
Aug 10, 2019
by
InThisStyle10s6p
bug
typechecker
4
updated
Jan 23, 2020
Dependent quantification prevents unification
#17072
· opened
Aug 17, 2019
by
Vladislav Zavialov
feature request
typechecker
visible dependent quantification
1
17
updated
Jan 23, 2020
Lift restriction that pattern matching on existentials must be strict
#17130
· opened
Aug 28, 2019
by
bfrk
feature request
typechecker
5
updated
Jan 23, 2020
Role annotations on classes require module-wide IncoherentInstances
#17167
· opened
Sep 08, 2019
by
Adam Gundry
IncoherentInstances
roles
task
typechecker
3
updated
Jan 23, 2020
Another loop with injective type families
#17186
· opened
Sep 12, 2019
by
Richard Eisenberg
TypeFamilies
bug
compiler crash
injective type families
typechecker
0
updated
Nov 10, 2020
Levity polymorphism and defaulting
#17201
· opened
Sep 17, 2019
by
Krzysztof Gogolewski
levity polymorphism
task
typechecker
10
updated
Sep 24, 2020
Slow Typechecking (Followup of #14987)
#17223
· opened
Sep 20, 2019
by
Victor Cacciari Miraldo
bug
compiler perf
typechecker
1
24
updated
Sep 23, 2020
Infelicities in pure unifier
#17225
· opened
Sep 20, 2019
by
Richard Eisenberg
bug
typechecker
0
updated
Mar 10, 2020
Quantified constraints which specify associated type instances
#17226
· opened
Sep 21, 2019
by
sheaf
QuantifiedConstraints
feature request
typechecker
1
14
updated
Jan 23, 2020
:kind! should adhere to -freduction-depth
#17306
· opened
Oct 04, 2019
by
Jakob Brünker
GHCi
P
normal
bug
compiler crash
typechecker
1
1
updated
Oct 09, 2019
Type family equality gets stuck on types that fail the occurs check
#17311
· opened
Oct 05, 2019
by
isovector
P
normal
bug
typechecker
5
updated
Dec 11, 2020
The Purely Kinded Type Invariant (PKTI) is not good enough
#17323
· opened
Oct 08, 2019
by
Richard Eisenberg
bug
typechecker
1
27
updated
Jan 24, 2020
Kind-checking associated types
#17327
· opened
Oct 09, 2019
by
mniip
TypeFamilies
TypeInType
bug
typechecker
2
updated
Feb 18, 2020
GeneralizedNewtypeDeriving should not require that constructor be in scope
#17328
· opened
Oct 09, 2019
by
Richard Eisenberg
deriving
typechecker
9
updated
Jul 03, 2020
Coercible solver does not look through "class newtypes"
#17333
· opened
Oct 09, 2019
by
Ryan Scott
Coercible
P
normal
bug
program incorrectly rejected
typechecker
5
updated
Feb 16, 2021
Implement homogeneous equality
#17368
· opened
Oct 16, 2019
by
Richard Eisenberg
TypeInType
core lint
task
typechecker
2
updated
Mar 10, 2020
Wildcards in standalone kind signatures
#17432
· opened
Nov 04, 2019
by
Richard Eisenberg
P
normal
StandaloneKindSignatures
feature request
partial type sigs
typechecker
3
updated
Jan 12, 2020
Coercion variables appearing where they shouldn't
0 of 3 tasks completed
#17545
· opened
Dec 05, 2019
by
Krzysztof Gogolewski
task
typechecker
1
2
updated
Jan 20, 2020
Validity check quantified constraints
#17563
· opened
Dec 10, 2019
by
Richard Eisenberg
8.10.2
QuantifiedConstraints
bug
program incorrectly accepted
typechecker
1
3
updated
Dec 13, 2020
Don't drop derived quantified constraints
#17564
· opened
Dec 10, 2019
by
Richard Eisenberg
QuantifiedConstraints
task
typechecker
1
updated
Dec 11, 2019
Loop in the constraint solver around variables free in kinds
#17644
· opened
Jan 06, 2020
by
Richard Eisenberg
P
normal
bug
compiler crash
typechecker
15
updated
Jan 20, 2020
Never kick out Given Nominal equalities
#17672
· opened
Jan 13, 2020
by
Richard Eisenberg
task
typechecker
1
updated
Jan 19, 2021
Superclass expansion fails in instance declaration
#17679
· opened
Jan 13, 2020
by
Richard Eisenberg
P
normal
bug
typechecker
3
updated
Jan 15, 2020
Refactor mapType/mapCoercion so that they inline
#17717
· opened
Jan 20, 2020
by
Richard Eisenberg
task
typechecker
0
updated
Mar 23, 2020
Refactor solver to leave breadcrumbs
#17718
· opened
Jan 20, 2020
by
Richard Eisenberg
task
typechecker
1
0
updated
Jan 20, 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
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
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
`case` needn't instantiate its scrutinee
#17790
· opened
Feb 05, 2020
by
Richard Eisenberg
task
typechecker
0
updated
Feb 05, 2020
Consider using specificity to disambiguate quantified constraints
#17934
· opened
Mar 19, 2020
by
Richard Eisenberg
QuantifiedConstraints
feature request
typechecker
2
updated
Feb 21, 2021
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
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
Type synonym lost with GADTs
#18196
· opened
May 17, 2020
by
Identical Snowflake
GADTs
P
normal
bug
typechecker
1
updated
May 18, 2020
Improve Coercible under foralls
#18220
· opened
May 22, 2020
by
Simon Peyton Jones
typechecker
0
updated
May 22, 2020
Outdated commentary in solveNestedImplications?
#18295
· opened
Jun 03, 2020
by
Richard Eisenberg
documentation
task
typechecker
2
updated
Jun 04, 2020
Order of StandaloneKindSignatures and CUSKs extensions significant
#18308
· opened
Jun 07, 2020
by
Björn Hegerfors
CUSKs
P
normal
StandaloneKindSignatures
TypeInType
bug
typechecker
5
updated
Jun 26, 2020
Record update is over-restrictive
#18311
· opened
Jun 08, 2020
by
Simon Peyton Jones
P
normal
bug
records
typechecker
0
updated
Oct 05, 2020
Functional dependency should constrain local inferred type, but does not
#18406
· opened
Jun 29, 2020
by
Richard Eisenberg
FunctionalDependencies
P
normal
bug
typechecker
4
updated
Jul 20, 2020
Suboptimal constraint solving
#18413
· opened
Jul 02, 2020
by
Simon Peyton Jones
compiler perf
constraint solver
task
typechecker
4
updated
Nov 09, 2020
"equirecursive" type family leads to stack overflow in ghci
#18456
· opened
Jul 15, 2020
by
Xia Li-yao
GHCi
P
normal
TypeFamilies
bug
compiler crash
typechecker
2
updated
Jul 17, 2020
Improve instantiation of datacons
#18481
· opened
Jul 20, 2020
by
Krzysztof Gogolewski
LinearTypes
task
typechecker
1
updated
Jul 21, 2020
GHC fails to infer type with FlexibleContexts
#18529
· opened
Aug 03, 2020
by
Richard Eisenberg
P
normal
bug
program incorrectly rejected
typechecker
0
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 could not deduce constraint from itself
#18704
· opened
Sep 17, 2020
by
rybochodonezzar
P
normal
bug
typechecker
1
3
updated
Sep 30, 2020
Infer multiplicity of case expression
#18738
· opened
Sep 23, 2020
by
Arnaud Spiwack
LinearTypes
feature request
typechecker
1
updated
Feb 18, 2021
Infer multiplicity of let expression
#18739
· opened
Sep 23, 2020
by
Arnaud Spiwack
LinearTypes
feature request
typechecker
6
updated
Sep 28, 2020
Remove NoGhcTc, allow HsType GhcTc, HsDecl GhcTc
#18758
· opened
Sep 28, 2020
by
Vladislav Zavialov
9.2.1
task
typechecker
1
13
updated
Sep 30, 2020
Typecheck record update via desugaring
#18802
· opened
Oct 05, 2020
by
Simon Peyton Jones
records
task
typechecker
2
updated
Oct 05, 2020
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
Non-confluence in the solver
#18851
· opened
Oct 15, 2020
by
Richard Eisenberg
FunctionalDependencies
P
normal
UndecideableInstances
bug
constraint solver
typechecker
41
updated
Jan 04, 2021
Quantified equality constraints are not used for rewriting
#18873
· opened
Oct 21, 2020
by
Richard Eisenberg
QuantifiedConstraints
constraint solver
typechecker
3
updated
Dec 10, 2020
Partial type signature algorithm fails to infer constraints in the presence of GADTs
#19010
· opened
Nov 30, 2020
by
sheaf
P
normal
bug
partial type sigs
typechecker
16
updated
Dec 20, 2020
Type wildcard infers differently than no type signature
#19013
· opened
Dec 01, 2020
by
dminuoso
P
normal
bug
partial type sigs
typechecker
1
updated
Dec 10, 2020
Regression: HEAD incurs a reduction stack overflow on program involving type equality
#19042
· opened
Dec 09, 2020
by
Ryan Scott
9.2.1
P
highest
bug
program incorrectly rejected
typechecker
1
7
updated
Feb 10, 2021
Allow named wildcards in constraints
#19051
· opened
Dec 10, 2020
by
sheaf
partial type sigs
typechecker
8
updated
Dec 23, 2020
Make the canonicaliser do unification
#19060
· opened
Dec 14, 2020
by
Simon Peyton Jones
task
typechecker
0
updated
Dec 14, 2020
Does the sub-type check in Note [Impedance matching] ever fail?
#19131
· opened
Dec 27, 2020
by
Richard Eisenberg
task
typechecker
3
updated
Feb 17, 2021
Incorrect documentation around EqualCtList
#19137
· opened
Dec 30, 2020
by
Richard Eisenberg
constraint solver
typechecker
0
updated
Dec 30, 2020
E-Graphs for representation of normalised refinement types in the pattern-match checker
#19272
· opened
Jan 28, 2021
by
Sebastian Graf
pattern match warnings
simplifier
task
typechecker
1
updated
Jan 29, 2021
oversized source range in type error message
#19364
· opened
Feb 13, 2021
by
jwaldmann
P
normal
bug
error messages
typechecker
1
updated
Feb 25, 2021
Surprising lack of generalisation using MonoLocalBinds
#19396
· opened
Feb 17, 2021
by
Tom Ellis
feature request
typechecker
7
updated
Feb 26, 2021
Deprecate `-Winaccessible-code`
#19428
· opened
Feb 23, 2021
by
Sebastian Graf
needs triage
pattern match warnings
typechecker
3
updated
Feb 25, 2021
GHC 9.0 rejects default signature that 8.10 accepts
#19432
· opened
Feb 25, 2021
by
Ryan Scott
DefaultSignatures
bug
program incorrectly rejected
typechecker
1
updated
Feb 25, 2021
Prev
1
2
3
Next