Issues · Glasgow Haskell Compiler / GHC · GitLab

QuantifiedConstraints: Odd superclass constraint

#14831 · opened Feb 21, 2018 by Icelandjack 5 Pnormal QuantifiedConstraints Trac import bug
- 7
updated Jul 07, 2019
QuantifiedConstraints: Adding to the context causes failure

#14832 · opened Feb 21, 2018 by Icelandjack 5 Pnormal QuantifiedConstraints Trac import bug
- 14
updated Jul 07, 2019
QuantifiedConstraints: Can't quantify constraint involving type family

#14860 · opened Feb 27, 2018 by Ryan Scott 5 Pnormal QuantifiedConstraints Trac import bug typechecker
- 33
updated Feb 07, 2020
QuantifiedConstraints: Can't deduce `xx' from `(xx => a, xx)'

#14877 · opened Mar 02, 2018 by Icelandjack 5 Pnormal QuantifiedConstraints Trac import bug
- 2
updated Jul 07, 2019
QuantifiedConstraints: Big error message + can't substitute (=>) with a class alias

#14879 · opened Mar 02, 2018 by Icelandjack 5 Pnormal QuantifiedConstraints Trac import bug
- 3
updated Jul 07, 2019
QuantifiedConstraints: GHC does doesn't discharge constraints if they are quantified

#14896 · opened Mar 06, 2018 by Icelandjack 3 Plow QuantifiedConstraints Trac import bug
- 3
updated Jul 07, 2019
QuantifiedConstraints: Doesn't apply implication for existential?

#14958 · opened Mar 21, 2018 by Icelandjack 5 Pnormal QuantifiedConstraints Trac import bug
- 5
updated Jul 07, 2019
Have custom type errors imply Void

#14983 · opened Mar 29, 2018 by Icelandjack 0 Plow QuantifiedConstraints Trac import custom type errors task
- 3
updated Oct 30, 2020
QuantifiedConstraints: Incorrect pretty printing

#14995 · opened Apr 02, 2018 by Icelandjack 3 GHCi Plow QuantifiedConstraints Trac import bug error messages
- 3
updated Jul 07, 2019
PatternSynonyms: Problems with quantified constraints / foralls

#15020 · opened Apr 10, 2018 by Icelandjack 5 Pnormal PatternSynonyms QuantifiedConstraints Trac import bug
- 4
updated Jan 23, 2020
QuantifiedConstraints: Implication constraints with type families don't work

#15347 · opened Jul 05, 2018 by aaronvargo 5 Pnormal QuantifiedConstraints Trac import bug typechecker
- 21
updated Sep 18, 2019
QuantifiedConstraints ignore FunctionalDependencies

#15351 · opened Jul 07, 2018 by aaronvargo 5 FunctionalDependencies Pnormal QuantifiedConstraints Trac import bug typechecker
- 14
updated Dec 03, 2020
Quantified constraints half-work with equality constraints

#15409 · opened Jul 17, 2018 by AntC 9.2.1 5 Pnormal QuantifiedConstraints Trac import bug
- 3
updated Jan 23, 2021
Quantified constraints can be loopy

#15888 · opened Nov 12, 2018 by Richard Eisenberg 8.6.3 5 Pnormal QuantifiedConstraints Trac import bug
- 6
updated Jul 07, 2019
GHC confused about type synonym kind with QuantifiedConstraints

#16139 · opened Jan 07, 2019 by Ashley Yakeley 5 Pnormal QuantifiedConstraints Trac import bug
- 6
updated Jul 15, 2020
Cannot create type synonym for quantified constraint without ImpredicativeTypes

#16140 · opened Jan 07, 2019 by Ashley Yakeley 5 ImpredicativeTypes Pnormal QuantifiedConstraints Trac import bug
- 20
updated Jul 07, 2019
Move `Data.Profunctor` from `profunctors` package to `base`

#16173 · opened Jan 13, 2019 by Dmitrii Kovanikov 5 Pnormal QuantifiedConstraints Trac import core libraries feature request
- 6
- 17
updated Jul 09, 2020
Inconsistency in quantified constraint solving

#16365 · opened Feb 26, 2019 by Ryan Scott 5 Pnormal QuantifiedConstraints Trac import bug
- 22
updated Jul 07, 2019
Commutativity of Coercible sometimes doesn't work with QuantifiedConstraints

#16432 · opened Mar 14, 2019 by Michael Sloan QuantifiedConstraints roles
- 5
updated Mar 15, 2019
QuantifiedConstraints runtime loopiness -- simplifier ticks(?)

#16442 · opened Mar 15, 2019 by Anthony Clayden QuantifiedConstraints bug
- 5
updated Mar 28, 2019