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,262
Issues
4,262
List
Boards
Labels
Service Desk
Milestones
Iterations
Merge Requests
419
Merge Requests
419
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
26
Closed
15
All
41
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
Dubious FunDep behaviour, even for a 'textbook' example with non dodgy extensions
#19126
· opened
Dec 27, 2020
by
Anthony Clayden
FunctionalDependencies
OverlappingInstances
UndecideableInstances
bug
needs triage
2
updated
Dec 31, 2020
Functional dependencies (for classes or type familes alike) can not refine given equality constraints
#19043
· opened
Dec 09, 2020
by
John Ericson
FunctionalDependencies
feature request
4
updated
Dec 14, 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
Types with different forall placements don't unify with QL ImpredicativeTypes
#18759
· opened
Sep 28, 2020
by
Andrzej Rybczak
FunctionalDependencies
ImpredicativeTypes
P
normal
bug
program incorrectly rejected
records
53
updated
Dec 31, 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
Instances do not respect functional dependency, yet are accepted
#18400
· opened
Jun 26, 2020
by
Richard Eisenberg
FunctionalDependencies
P
normal
bug
program incorrectly accepted
11
updated
Nov 13, 2020
Inferred type too general, ignoring functional dependencies
#18398
· opened
Jun 26, 2020
by
Richard Eisenberg
FunctionalDependencies
P
normal
bug
0
updated
Jul 05, 2020
Documentation for FunctionalDependencies is misleading/incomplete (and their behavior confusing) wrt overlapping instances
#17765
· opened
Jan 30, 2020
by
Jakob Brünker
FunctionalDependencies
OverlappingInstances
P
normal
bug
documentation
0
updated
Feb 20, 2020
Why do we have both typeRep# and typeRep?
#17569
· opened
Dec 12, 2019
by
Richard Eisenberg
FunctionalDependencies
Typeable
task
5
updated
May 19, 2020
Poor interaction between functional dependencies and partial type signatures
#17024
· opened
Aug 04, 2019
by
David Feuer
FunctionalDependencies
P
normal
bug
partial type sigs
program incorrectly rejected
typechecker
CLOSED
2
12
updated
Mar 12, 2020
GHC accepts DerivingVia-generated instances that violate functional dependencies
#17013
· opened
Jul 31, 2019
by
Alexis King
FunctionalDependencies
P
normal
deriving
4
updated
Aug 01, 2019
Trivial Functional Dependencies (and downright nonsense) accepted
#16581
· opened
Apr 16, 2019
by
Anthony Clayden
3
FunctionalDependencies
P
low
bug
program incorrectly accepted
5
updated
Jul 07, 2019
System FC for FunDeps: not doing what it says on the tin
#16430
· opened
Mar 13, 2019
by
Anthony Clayden
FunctionalDependencies
bug
17
updated
Mar 23, 2019
Weird interaction between fundeps and overlappable instances
#15927
· opened
Nov 21, 2018
by
Darwin226
8.6.3
5
FunctionalDependencies
P
normal
Trac import
bug
8
updated
Jul 07, 2019
Undependable Dependencies
#15632
· opened
Sep 12, 2018
by
AntC
8.6.1
5
FunctionalDependencies
OverlappingInstances
P
normal
Trac import
bug
11
updated
Oct 30, 2020
Functional dependencies can get GHC to print "UnkSkol"
#15355
· opened
Jul 08, 2018
by
Richard Eisenberg
8.6.1
5
FunctionalDependencies
P
normal
Trac import
bug
CLOSED
2
updated
Jul 07, 2019
QuantifiedConstraints ignore FunctionalDependencies
#15351
· opened
Jul 07, 2018
by
aaronvargo
5
FunctionalDependencies
P
normal
QuantifiedConstraints
Trac import
bug
typechecker
14
updated
Dec 03, 2020
FunDep origin not correctly attributed
#14778
· opened
Feb 08, 2018
by
Simon Peyton Jones
5
FunctionalDependencies
P
normal
Trac import
bug
0
updated
Jul 07, 2019
GHC 8.4.1-alpha regression with FunctionalDependencies
#14763
· opened
Feb 05, 2018
by
Ryan Scott
8.4.1
10
FunctionalDependencies
P
highest
Trac import
bug
typechecker
CLOSED
5
updated
Jul 07, 2019
Functional dependency conflicts in givens
#14745
· opened
Jan 31, 2018
by
Simon Peyton Jones
5
FunctionalDependencies
P
normal
Trac import
bug
0
updated
Jul 07, 2019
Prev
1
2
3
Next