Issues · Glasgow Haskell Compiler / GHC · GitLab

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 Plow Ttask 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 Pnormal Tbug 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 Tfeature request
- 4
updated Jan 19, 2021
Non-confluence in the solver

#18851 · created Oct 15, 2020 by Richard Eisenberg FunctionalDependencies Pnormal Tbug 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 Pnormal Tbug 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 Pnormal Tbug 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 Pnormal Tbug documentation
- 0
updated Feb 20, 2020
Why do we have both typeRep# and typeRep?

#17569 · created Dec 12, 2019 by Richard Eisenberg FunctionalDependencies Ttask Typeable
- 5
updated May 19, 2020
GHC accepts derived instances that violate functional dependencies

#17013 · created Jul 31, 2019 by Alexis King FunctionalDependencies Pnormal deriving
- 4
updated Oct 30, 2021
Trivial Functional Dependencies (and downright nonsense) accepted

#16581 · created Apr 16, 2019 by Anthony Clayden 3 FunctionalDependencies Plow Tbug 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 Tbug
- 17
updated Mar 23, 2019
Weird interaction between fundeps and overlappable instances

#15927 · created Nov 21, 2018 by Darwin226 8.6.3 5 FunctionalDependencies Pnormal Tbug Trac import
- 8
updated Jul 07, 2019
Undependable Dependencies

#15632 · created Sep 12, 2018 by AntC 8.6.1 5 FunctionalDependencies OverlappingInstances Pnormal Tbug Trac import
- 11
updated Oct 30, 2020
QuantifiedConstraints ignore FunctionalDependencies

#15351 · created Jul 07, 2018 by aaronvargo 5 FunctionalDependencies Pnormal QuantifiedConstraints Tbug Trac import typechecker
- 14
updated Dec 03, 2020
FunDep origin not correctly attributed

#14778 · created Feb 08, 2018 by Simon Peyton Jones 5 FunctionalDependencies Pnormal Tbug Trac import
- 0
updated Jul 07, 2019
Functional dependency conflicts in givens

#14745 · created Jan 31, 2018 by Simon Peyton Jones 5 FunctionalDependencies Pnormal Tbug 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 Pnormal Tbug 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 Plow Tbug Trac import typechecker
- 1
updated Jul 07, 2019
Can't capture improvement of functional dependencies

#12647 · created Sep 30, 2016 by Icelandjack 5 FunctionalDependencies Pnormal Ttask Trac import
- 4
updated Jul 07, 2019