Issues · Glasgow Haskell Compiler / GHC · GitLab

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 Pnormal 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 Pnormal 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 Pnormal 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 Pnormal 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 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
Poor interaction between functional dependencies and partial type signatures

#17024 · opened Aug 04, 2019 by David Feuer FunctionalDependencies Pnormal 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 Pnormal deriving
- 4
updated Aug 01, 2019
Trivial Functional Dependencies (and downright nonsense) accepted

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

#15632 · opened Sep 12, 2018 by AntC 8.6.1 5 FunctionalDependencies OverlappingInstances Pnormal 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 Pnormal Trac import bug
- CLOSED
- 2
updated Jul 07, 2019
QuantifiedConstraints ignore FunctionalDependencies

#15351 · opened Jul 07, 2018 by aaronvargo 5 FunctionalDependencies Pnormal 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 Pnormal 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 Phighest 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 Pnormal Trac import bug
- 0
updated Jul 07, 2019

Prev
1
2
3
Next