Issues · Glasgow Haskell Compiler / GHC · GitLab

Instance/given overlap trips up the ambiguity check

#18850 · opened Oct 15, 2020 by Richard Eisenberg OverlappingInstances ambiguity check typechecker
- 1
updated Oct 21, 2020
GHC does not reject overlapping instances

#18836 · opened Oct 13, 2020 by dminuoso OverlappingInstances documentation needs triage
- 5
updated Oct 21, 2020
8.10: Overlapping instances claimed where there are none (or crash in 8.8)

#18129 · opened May 02, 2020 by Serge Kosyrev GADTs OverlappingInstances Pnormal TypeFamilies UndecidableSuperClasses UndecideableInstances bug
- 1
- 3
updated Jul 01, 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
Undependable Dependencies

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