Issues · Glasgow Haskell Compiler / GHC · GitLab

Quantified equality constraints are not used for rewriting

#18873 · opened Oct 21, 2020 by Richard Eisenberg QuantifiedConstraints constraint solver typechecker
- 1
updated Oct 21, 2020
GND generates code that instantiates coerce too much

#18213 · opened May 21, 2020 by Ryan Scott QuantifiedConstraints deriving
- 1
- 5
updated Jun 02, 2020
QuantifiedConstraints cannot refer to KnownNat

#18150 · opened May 06, 2020 by Koz Ross Pnormal QuantifiedConstraints bug
- 6
updated May 19, 2020
Cannot use Type Synonym with QuantifiedConstraints in GHC 8.8: "Illegal type synonym family application"

#17959 · opened Mar 25, 2020 by Fabio Mogavero Pnormal QuantifiedConstraints bug program incorrectly rejected
- 5
updated Apr 08, 2020
Consider using specificity to disambiguate quantified constraints

#17934 · opened Mar 19, 2020 by Richard Eisenberg QuantifiedConstraints feature request typechecker
- 2
updated May 03, 2020
QuantifiedConstraints don't work with equality constraints on type families

#17802 · opened Feb 07, 2020 by Sebastian Graf Pnormal QuantifiedConstraints TypeFamilies bug
- 6
updated Feb 20, 2020
Recursive superclass check is defeated by quantified constraints

#17737 · opened Jan 24, 2020 by Richard Eisenberg Pnormal QuantifiedConstraints bug typechecker
- 2
updated Mar 10, 2020
Note [Do not add duplicate quantified instances] is simplistic, causing rejection of programs

#17719 · opened Jan 20, 2020 by Richard Eisenberg QuantifiedConstraints typechecker
- 0
updated Jul 14, 2020
Don't drop derived quantified constraints

#17564 · opened Dec 10, 2019 by Richard Eisenberg QuantifiedConstraints task typechecker
- 1
updated Dec 11, 2019
Validity check quantified constraints

#17563 · opened Dec 10, 2019 by Richard Eisenberg 8.10.2 QuantifiedConstraints backport needed:8.10 bug program incorrectly accepted typechecker
- 1
- 2
updated Jun 04, 2020
`Any` appearing in a quantified constraint

#17562 · opened Dec 10, 2019 by Richard Eisenberg 9.0.1 QuantifiedConstraints TypeInType bug error messages typechecker
- 1
- 3
updated Jan 18, 2020
:kind fails with certain QuantifiedConstraints since 8.8

#17347 · opened Oct 13, 2019 by Jakob Brünker GHCi Pnormal QuantifiedConstraints bug
- 3
updated Oct 14, 2019
Non-confluence with QuantifiedConstraints

#17295 · opened Oct 03, 2019 by James Payor QuantifiedConstraints ambiguity check bug
- 33
updated Jun 03, 2020
Quantified constraints which specify associated type instances

#17226 · opened Sep 21, 2019 by sheaf QuantifiedConstraints feature request typechecker
- 1
- 14
updated Jan 23, 2020
Quantified constraint error should show more context

#16931 · opened Jul 11, 2019 by Guillaume Bouchard Pnormal QuantifiedConstraints error messages feature request
- 1
- 9
updated Apr 07, 2020
Instance decidability + Quantified Constraints

#16730 · opened Jun 01, 2019 by Will Yager QuantifiedConstraints program incorrectly rejected
- 3
updated Jun 18, 2019
Nested quantified constraints don't work

#16502 · opened Mar 26, 2019 by Simon Peyton Jones QuantifiedConstraints bug
- 2
- 11
updated Mar 26, 2020
QuantifiedConstraints runtime loopiness -- simplifier ticks(?)

#16442 · opened Mar 15, 2019 by Anthony Clayden QuantifiedConstraints bug
- 5
updated Mar 28, 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
Inconsistency in quantified constraint solving

#16365 · opened Feb 26, 2019 by Ryan Scott Pnormal QuantifiedConstraints Trac import bug 5
- 22
updated Jul 07, 2019