Issues · Glasgow Haskell Compiler / GHC · GitLab

GHC doesn't terminate when solving a weird class instance

#19415 · opened Feb 22, 2021 by Andrzej Rybczak FunctionalDependencies Pnormal Tbug constraint solver
- CLOSED
- 6
updated Mar 31, 2021
Poor interaction between functional dependencies and partial type signatures

#17024 · opened Aug 04, 2019 by David Feuer FunctionalDependencies Pnormal Tbug 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 5 FunctionalDependencies Pnormal Tbug Trac import
- 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 10 FunctionalDependencies Phighest Tbug Trac import typechecker
- 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 5 FunctionalDependencies Pnormal Tbug Trac import error messages typechecker
- CLOSED
- 4
updated Jul 07, 2019
Spurious extra error message due to functional dependencies

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

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

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

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

#10564 · opened Jun 23, 2015 by Michael Snoyman 7.10.2 7 FunctionalDependencies Phigh Tbug Trac import
- 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 5 FunctionalDependencies Pnormal Tbug Trac import
- CLOSED
- 4
updated Jul 07, 2019
ghc panic: varargs + sets

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

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

#7171 · opened Aug 21, 2012 by jwlato 7.6.1 10 FunctionalDependencies Phighest Tbug Trac import typechecker
- 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 5 FunctionalDependencies Pnormal PolyKinds Tbug Trac import compiler crash
- 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 7 FunctionalDependencies Phigh Tbug Trac import typechecker
- CLOSED
- 7
updated Jul 07, 2019