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
- 3
updated Dec 10, 2020
GND generates code that instantiates coerce too much

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

#18150 · opened May 06, 2020 by Koz Ross Pnormal QuantifiedConstraints Tbug
- 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 Tbug program incorrectly rejected
- 5
updated Apr 08, 2020
Consider using specificity to disambiguate quantified constraints

#17934 · opened Mar 19, 2020 by Richard Eisenberg QuantifiedConstraints Tfeature request typechecker
- 2
updated Feb 21, 2021
QuantifiedConstraints don't work with equality constraints on type families

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

#17737 · opened Jan 24, 2020 by Richard Eisenberg Pnormal QuantifiedConstraints Tbug 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 Ttask typechecker
- 1
updated Dec 11, 2019
Validity check quantified constraints

#17563 · opened Dec 10, 2019 by Richard Eisenberg 8.10.2 QuantifiedConstraints Tbug program incorrectly accepted typechecker
- 1
- 3
updated Dec 13, 2020
:kind fails with certain QuantifiedConstraints since 8.8

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

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

#17226 · opened Sep 21, 2019 by sheaf QuantifiedConstraints Tfeature 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 Tfeature request error messages
- 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 Tbug
- 2
- 11
updated Mar 26, 2020
QuantifiedConstraints runtime loopiness -- simplifier ticks(?)

#16442 · opened Mar 15, 2019 by Anthony Clayden QuantifiedConstraints Tbug
- 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 5 Pnormal QuantifiedConstraints Tbug Trac import
- 22
updated Jul 07, 2019
Move `Data.Profunctor` from `profunctors` package to `base`

#16173 · opened Jan 13, 2019 by Dmitrii Kovanikov 5 Pnormal QuantifiedConstraints Tfeature request Trac import core libraries
- 6
- 18
updated Mar 25, 2021