Issues · Glasgow Haskell Compiler / GHC · GitLab

Functional dependency should constrain local inferred type, but does not

#18406 · opened Jun 29, 2020 by Richard Eisenberg FunctionalDependencies Pnormal bug needs triage typechecker
- 0
updated Jul 05, 2020
Instances do not respect functional dependency, yet are accepted

#18400 · opened Jun 26, 2020 by Richard Eisenberg FunctionalDependencies Pnormal bug program incorrectly accepted
- 8
updated Jul 05, 2020
Inferred type too general, ignoring functional dependencies

#18398 · opened Jun 26, 2020 by Richard Eisenberg FunctionalDependencies Pnormal 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 Pnormal 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
GHC accepts DerivingVia-generated instances that violate functional dependencies

#17013 · opened Jul 31, 2019 by Alexis King FunctionalDependencies Pnormal deriving
- 4
updated Aug 01, 2019
Trivial Functional Dependencies (and downright nonsense) accepted

#16581 · opened Apr 16, 2019 by Anthony Clayden FunctionalDependencies Plow bug program incorrectly accepted 3
- 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 FunctionalDependencies Pnormal Trac import bug 5
- 8
updated Jul 07, 2019
Undependable Dependencies

#15632 · opened Sep 12, 2018 by AntC 8.6.1 FunctionalDependencies OverlappingInstances Pnormal Trac import bug 5
- 11
updated Mar 10, 2020
FunDep origin not correctly attributed

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

#14745 · opened Jan 31, 2018 by Simon Peyton Jones FunctionalDependencies Pnormal Trac import bug 5
- 0
updated Jul 07, 2019
GeneralizedNewtypeDeriving + MultiParamTypeClasses sends typechecker into an infinite loop

#12860 · opened Nov 21, 2016 by Ryan Scott FunctionalDependencies Pnormal Trac import bug compiler perf deriving typechecker 5
- 21
updated Aug 01, 2019
Check if constraint synonym satisfies functional dependencies

#12704 · opened Oct 14, 2016 by Edward Z. Yang FunctionalDependencies Plow Trac import bug typechecker 3
- 1
updated Jul 07, 2019
Can't capture improvement of functional dependencies

#12647 · opened Sep 30, 2016 by Icelandjack FunctionalDependencies Pnormal Trac import task 5
- 4
updated Jul 07, 2019
Allow wildcards for parameters functionally determined (also type synonyms)

#11641 · opened Feb 25, 2016 by Icelandjack FunctionalDependencies Plow Trac import feature request partial type sigs typechecker 0
- 2
updated Jul 07, 2019
Allow class associated types to reference functional dependencies

#11534 · opened Feb 03, 2016 by Edward Kmett FunctionalDependencies Pnormal Trac import TypeFamilies feature request typechecker 5
- 33
updated Jul 07, 2019
GHC does not check the functional dependency consistency condition correctly

#10675 · opened Jul 23, 2015 by Simon Peyton Jones FunctionalDependencies Pnormal Trac import bug 5
- 21
updated Jun 30, 2020
"overlapping instances" through FunctionalDependencies

#9210 · opened Jun 16, 2014 by rwbarton FunctionalDependencies Pnormal Trac import bug typechecker 5
- 11
updated Jun 30, 2020
Weird fundep behavior (with -fallow-undecidable-instances)

#816 · opened Jul 06, 2006 by nibro FunctionalDependencies Pnormal Trac import bug typechecker 5
- 10
updated Jul 07, 2019