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
27
Closed
19
All
46
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
Title
Weight
Blocking
deriving via can't coerce through functional dependencies
#20238
· created
Aug 16, 2021
by
Carter Schonwald
Coercions
DerivingVia
FunctionalDependencies
info needed
10
updated
Aug 24, 2021
When does GHC quantify over variables fully determined by fundeps?
#20064
· created
Jun 30, 2021
by
sheaf
FunctionalDependencies
P
low
T
task
constraint solver
typechecker
2
updated
Jun 30, 2021
Dubious FunDep behaviour, even for a 'textbook' example with non dodgy extensions
#19126
· created
Dec 27, 2020
by
Anthony Clayden
FunctionalDependencies
OverlappingInstances
P
normal
T
bug
UndecideableInstances
2
updated
Feb 16, 2021
Functional dependencies (for classes or type familes alike) can not refine given equality constraints
#19043
· created
Dec 09, 2020
by
John Ericson
FunctionalDependencies
T
feature request
4
updated
Jan 19, 2021
Non-confluence in the solver
#18851
· created
Oct 15, 2020
by
Richard Eisenberg
FunctionalDependencies
P
normal
T
bug
UndecideableInstances
constraint solver
typechecker
45
updated
Feb 24, 2022
Types with different forall placements don't unify with QL ImpredicativeTypes
#18759
· created
Sep 28, 2020
by
Andrzej Rybczak
FunctionalDependencies
ImpredicativeTypes
P
normal
T
bug
program incorrectly rejected
records
53
updated
Jan 13, 2022
Instances do not respect functional dependency, yet are accepted
#18400
· created
Jun 26, 2020
by
Richard Eisenberg
FunctionalDependencies
P
normal
T
bug
program incorrectly accepted
11
updated
Nov 13, 2020
Documentation for FunctionalDependencies is misleading/incomplete (and their behavior confusing) wrt overlapping instances
#17765
· created
Jan 30, 2020
by
Jakob Brünker
FunctionalDependencies
OverlappingInstances
P
normal
T
bug
documentation
0
updated
Feb 20, 2020
Why do we have both typeRep# and typeRep?
#17569
· created
Dec 12, 2019
by
Richard Eisenberg
FunctionalDependencies
T
task
Typeable
5
updated
May 19, 2020
GHC accepts derived instances that violate functional dependencies
#17013
· created
Jul 31, 2019
by
Alexis King
FunctionalDependencies
P
normal
deriving
4
updated
Oct 30, 2021
Trivial Functional Dependencies (and downright nonsense) accepted
#16581
· created
Apr 16, 2019
by
Anthony Clayden
3
FunctionalDependencies
P
low
T
bug
program incorrectly accepted
5
updated
Jul 07, 2019
System FC for FunDeps: not doing what it says on the tin
#16430
· created
Mar 13, 2019
by
Anthony Clayden
FunctionalDependencies
T
bug
17
updated
Mar 23, 2019
Weird interaction between fundeps and overlappable instances
#15927
· created
Nov 21, 2018
by
Darwin226
8.6.3
5
FunctionalDependencies
P
normal
T
bug
Trac import
8
updated
Jul 07, 2019
Undependable Dependencies
#15632
· created
Sep 12, 2018
by
AntC
8.6.1
5
FunctionalDependencies
OverlappingInstances
P
normal
T
bug
Trac import
11
updated
Oct 30, 2020
QuantifiedConstraints ignore FunctionalDependencies
#15351
· created
Jul 07, 2018
by
aaronvargo
5
FunctionalDependencies
P
normal
QuantifiedConstraints
T
bug
Trac import
typechecker
14
updated
Dec 03, 2020
FunDep origin not correctly attributed
#14778
· created
Feb 08, 2018
by
Simon Peyton Jones
5
FunctionalDependencies
P
normal
T
bug
Trac import
0
updated
Jul 07, 2019
Functional dependency conflicts in givens
#14745
· created
Jan 31, 2018
by
Simon Peyton Jones
5
FunctionalDependencies
P
normal
T
bug
Trac import
0
updated
Jul 07, 2019
GeneralizedNewtypeDeriving + MultiParamTypeClasses sends typechecker into an infinite loop
#12860
· created
Nov 21, 2016
by
Ryan Scott
5
FunctionalDependencies
P
normal
T
bug
Trac import
compiler perf
deriving
typechecker
21
updated
Aug 01, 2019
Check if constraint synonym satisfies functional dependencies
#12704
· created
Oct 14, 2016
by
Edward Z. Yang
3
FunctionalDependencies
P
low
T
bug
Trac import
typechecker
1
updated
Jul 07, 2019
Can't capture improvement of functional dependencies
#12647
· created
Sep 30, 2016
by
Icelandjack
5
FunctionalDependencies
P
normal
T
task
Trac import
4
updated
Jul 07, 2019
Prev
1
2
Next