Issues · Glasgow Haskell Compiler / GHC · GitLab

Instances become invisible across a component boundary

#20529 · created Oct 19, 2021 by parsonsmatt OverlappingInstances Phigh Tbug TemplateHaskell incorrect runtime result program incorrectly accepted
- 9
updated Nov 11, 2021
Overlapping instances mentioning constructor-bound type variables give no error

#20071 · created Jul 02, 2021 by aadaa-fgtaa OverlappingInstances Phigh Tbug constraint solver program incorrectly accepted
- 4
updated Aug 11, 2021
Dubious FunDep behaviour, even for a 'textbook' example with non dodgy extensions

#19126 · created Dec 27, 2020 by Anthony Clayden FunctionalDependencies OverlappingInstances Pnormal Tbug UndecideableInstances
- 2
updated Feb 16, 2021
Instance/given overlap trips up the ambiguity check

#18850 · created Oct 15, 2020 by Richard Eisenberg OverlappingInstances ambiguity check typechecker
- 5
updated Oct 29, 2020
GHC does not reject overlapping instances

#18836 · created Oct 13, 2020 by dminuoso OverlappingInstances Pnormal Tbug documentation
- 5
updated Nov 09, 2020
8.10: Overlapping instances claimed where there are none (or crash in 8.8)

#18129 · created May 02, 2020 by Serge Kosyrev GADTs OverlappingInstances Pnormal Tbug TypeFamilies UndecidableSuperClasses UndecideableInstances
- 1
- 3
updated Jul 01, 2020
Documentation for FunctionalDependencies is misleading/incomplete (and their behavior confusing) wrt overlapping instances

#17765 · created Jan 30, 2020 by Jakob Brünker FunctionalDependencies OverlappingInstances Pnormal Tbug documentation
- 0
updated Feb 20, 2020
Undependable Dependencies

#15632 · created Sep 12, 2018 by AntC 8.6.1 5 FunctionalDependencies OverlappingInstances Pnormal Tbug Trac import
- 11
updated Oct 30, 2020