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 bug
- 6
updated May 19, 2020
:instances returns ill kinded result when combined with QuantifiedConstraints

#18071 · opened Apr 18, 2020 by Ryan Scott GHCi QuantifiedConstraints
- CLOSED
- 2
- 3
updated May 28, 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
Quantified constraint doesn't evidence type family instances

#17939 · opened Mar 20, 2020 by Tom Harding Pnormal QuantifiedConstraints TypeFamilies bug
- CLOSED
- 2
updated Mar 29, 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
Quantified constraints leads to type errors when deriving default class methods

#17794 · opened Feb 05, 2020 by Patrick Thomson QuantifiedConstraints needs triage
- CLOSED
- 7
updated Mar 19, 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 bug program incorrectly accepted typechecker
- 1
- 3
updated Dec 13, 2020
`Any` appearing in a quantified constraint

#17562 · opened Dec 10, 2019 by Richard Eisenberg 9.0.1 QuantifiedConstraints TypeInType bug error messages typechecker
- CLOSED
- 3
- 4
updated Jan 11, 2021
Runtime loop when using eqT

#17458 · opened Nov 09, 2019 by Max Harms Pnormal QuantifiedConstraints Typeable bug incorrect runtime result
- CLOSED
- 11
updated Nov 13, 2019
Weird interaction between QuantifiedConstraints and TypeFamilies

#17427 · opened Nov 01, 2019 by Darwin226 QuantifiedConstraints TypeFamilies bug program incorrectly rejected
- CLOSED
- 1
updated Nov 02, 2019
: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
ImpredicativeTypes lets you pluck QuantifiedConstraints out of nowhere

#17332 · opened Oct 09, 2019 by Ryan Scott ImpredicativeTypes QuantifiedConstraints
- CLOSED
- 4
- 3
updated Sep 24, 2020
Non-confluence with QuantifiedConstraints

#17295 · opened Oct 03, 2019 by James Payor QuantifiedConstraints ambiguity check bug
- 33
updated Jun 03, 2020
QuantifiedConstraints can prove anything with an infinite loop.

#17267 · opened Sep 27, 2019 by James Payor 8.10.1 10 Phighest QuantifiedConstraints
- CLOSED
- 11
updated Dec 23, 2019

Prev
1
2
3
4
Next