Issues · Glasgow Haskell Compiler / GHC · GitLab

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
Functional dependencies can get GHC to print "UnkSkol"

#15355 · opened Jul 08, 2018 by Richard Eisenberg 8.6.1 FunctionalDependencies Pnormal Trac import bug 5
- CLOSED
- 2
updated Jul 07, 2019
GHC 8.4.1-alpha regression with FunctionalDependencies

#14763 · opened Feb 05, 2018 by Ryan Scott 8.4.1 FunctionalDependencies Phighest Trac import bug typechecker 10
- CLOSED
- 5
updated Jul 07, 2019
Type error in program caused by unrelated definition

#14327 · opened Oct 05, 2017 by Alexis King 8.4.1 FunctionalDependencies Pnormal Trac import bug error messages typechecker 5
- CLOSED
- 4
updated Jul 07, 2019
Spurious extra error message due to functional dependencies

#13506 · opened Mar 31, 2017 by gelisam FunctionalDependencies Pnormal Trac import bug error messages typechecker 5
- CLOSED
- 2
updated Jul 07, 2019
Incorrect behavior with empty functional dependencies

#12763 · opened Oct 24, 2016 by Iavor S. Diatchki 8.0.2 FunctionalDependencies Pnormal Trac import bug typechecker 5
- CLOSED
- 2
updated Jul 07, 2019
Kind-level functional dependencies are not resolved properly

#10797 · opened Aug 26, 2015 by danilo2 FunctionalDependencies Pnormal Trac import bug 5
- CLOSED
- 5
updated Jul 07, 2019
Terrible error message with fundeps and PolyKinds

#10570 · opened Jun 25, 2015 by danilo2 8.0.1 FunctionalDependencies Pnormal Trac import bug 5
- CLOSED
- 5
updated Jul 07, 2019
GHC 7.10.2 RC cannot build HList-0.4.0.0

#10564 · opened Jun 23, 2015 by snoyberg 7.10.2 FunctionalDependencies Phigh Trac import bug 7
- CLOSED
- 2
updated Jul 07, 2019
Kinds aren't checked in the coverage condition

#10109 · opened Feb 23, 2015 by Richard Eisenberg 7.10.2 FunctionalDependencies Pnormal Trac import bug 5
- CLOSED
- 4
updated Jul 07, 2019
ghc panic: varargs + sets

#7777 · opened Mar 19, 2013 by litherum FunctionalDependencies MultiParamTypeClasses Pnormal Trac import UndecideableInstances bug compiler crash 5
- CLOSED
- 2
updated Jul 07, 2019
Panic "ctEvTerm" when using functional dependencies and PolyKinds

#7384 · opened Nov 02, 2012 by Richard Eisenberg FunctionalDependencies Pnormal PolyKinds Trac import bug 5
- CLOSED
- 2
updated Jul 07, 2019
erroneous overlapping instances reported with FunDeps

#7171 · opened Aug 21, 2012 by jwlato 7.6.1 FunctionalDependencies Phighest Trac import bug typechecker 10
- CLOSED
- 10
updated Jul 07, 2019
Panic "lookupVarEnv_NF" when using a functional dependency with a kind variable

#7128 · opened Aug 08, 2012 by Richard Eisenberg 7.6.1 FunctionalDependencies Pnormal PolyKinds Trac import bug compiler crash 5
- CLOSED
- 2
updated Jul 07, 2019
Do a better job of solving recursive type-class constraints with functional dependencies

#3108 · opened Mar 18, 2009 by Simon Peyton Jones 7.6.1 FunctionalDependencies Phigh Trac import bug typechecker 7
- CLOSED
- 7
updated Jul 07, 2019