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
Make (=>) polykinded (:: k -> k -> Constraint)

#14943 · opened Mar 19, 2018 by Icelandjack 5 Pnormal QuantifiedConstraints Trac import bug
- CLOSED
- 3
updated Oct 18, 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
Ambiguity checks in QuantifiedConstraints

#15244 · opened Jun 07, 2018 by bitwiseshiftleft 8.6.1 5 Pnormal QuantifiedConstraints Trac import bug
- CLOSED
- 4
updated Jan 20, 2020
QuantifiedConstraints: panic "addTcEvBind NoEvBindsVar"

#15290 · opened Jun 19, 2018 by Richard Eisenberg 8.6.1 5 Pnormal QuantifiedConstraints Trac import bug
- CLOSED
- 36
updated May 21, 2020
Regarding coherence and implication loops in presence of QuantifiedConstraints

#15316 · opened Jun 26, 2018 by mniip 8.8.1 7 Phigh QuantifiedConstraints Trac import bug typechecker
- CLOSED
- 14
updated Oct 03, 2020
(forall x. c x, forall x. d x) is not equivalent to forall x. (c x, d x)

#15334 · opened Jul 02, 2018 by Ryan Scott 8.8.1 5 Pnormal QuantifiedConstraints Trac import bug typechecker
- CLOSED
- 13
updated Aug 05, 2019
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 do not work with equality constraints

#15359 · opened Jul 11, 2018 by Richard Eisenberg 8.8.1 5 Pnormal QuantifiedConstraints Trac import bug
- CLOSED
- 16
updated Jul 07, 2019
Quantified constraints half-work with equality constraints

#15409 · opened Jul 17, 2018 by AntC 9.0.1 5 Pnormal QuantifiedConstraints Trac import bug
- 3
updated Jan 23, 2020
Deriving with QuantifiedConstraints is unable to penetrate type families

#15507 · opened Aug 11, 2018 by isovector 8.6.1 5 Pnormal QuantifiedConstraints Trac import bug
- CLOSED
- 2
updated Jul 07, 2019

Prev
1
2
3
4
Next