Issues · Glasgow Haskell Compiler / GHC · GitLab

Bottom dictionaries can be derived with QuantifiedConstraints, UndecidableInstances and UndecidableSuperClasses

#19690 · created Apr 12, 2021 by aadaa-fgtaa Pnormal QuantifiedConstraints Tbug UndecidableSuperClasses typechecker
- 5
updated Apr 16, 2021
The `solveWanteds` error message is pretty awful.

#19627 · created Apr 01, 2021 by Edward Kmett Pnormal Tbug UndecidableSuperClasses error messages
- 6
updated Aug 13, 2021
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
UndecidableSuperClasses - Could not deduce (Category d)

#14010 · created Jul 22, 2017 by Vladislav Zavialov 5 Pnormal Tbug Trac import UndecidableSuperClasses
- 5
updated Jul 07, 2019
Can't solve constraints with UndecidableSuperClasses but can infer kind (+ undesired order of kinds)

#12131 · created May 29, 2016 by Icelandjack 5 Pnormal Tbug Trac import UndecidableSuperClasses typechecker
- 7
updated Jul 07, 2019
Infinite Loop when mixing UndecidableSuperClasses and the class/instance constraint synonym trick.

#11523 · created Feb 01, 2016 by Edward Kmett 8.4.1 7 Phigh Tbug Trac import UndecidableSuperClasses typechecker
- 30
updated Jul 07, 2019