Issues · Glasgow Haskell Compiler / GHC · GitLab

Implication introduction for quantified constraints

#15635 · opened Sep 12, 2018 by David Feuer 8.6.1 5 Pnormal QuantifiedConstraints Trac import feature request
- CLOSED
- 3
updated Jul 07, 2019
Implication constraint priority breaks default class implementations

#15636 · opened Sep 13, 2018 by i-am-tom 8.6.1 5 Pnormal QuantifiedConstraints Trac import bug
- CLOSED
- 3
updated Jul 07, 2019
"ASSERT failed" with quantified constraints

#15943 · opened Nov 23, 2018 by Icelandjack 8.6.3 5 Pnormal QuantifiedConstraints Trac import bug
- CLOSED
- 3
updated Jul 07, 2019
QuantifiedConstraints: Spurious error involving superclass constraints

#15974 · opened Nov 29, 2018 by Alexis King 8.6.3 5 Pnormal QuantifiedConstraints Trac import bug
- CLOSED
- 3
updated Jul 07, 2019
QuantifiedConstraints fails to deduce trivial constraint

#16123 · opened Jan 03, 2019 by Erik Schnetter 5 Pnormal QuantifiedConstraints Trac import bug
- CLOSED
- 4
updated Jul 07, 2019
Can't put quantified constraint in type synonym

#16729 · opened Jun 01, 2019 by Asad Saeeduddin QuantifiedConstraints
- CLOSED
- 2
updated Jun 08, 2019
Bitraversable is not derivable for These

#16714 · opened May 30, 2019 by Chris Done QuantifiedConstraints bug deriving
- CLOSED
- 3
updated Jun 08, 2019
Quantified constraints bug with specific class hierarchy

#16474 · opened Mar 21, 2019 by Bruno Gavranović QuantifiedConstraints
- CLOSED
- 1
updated Mar 22, 2019