Issues · Glasgow Haskell Compiler / GHC · GitLab

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
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
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
: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
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
Inconsistency in quantified constraint solving

#16365 · opened Feb 26, 2019 by Ryan Scott 5 Pnormal QuantifiedConstraints Trac import bug
- 22
updated Jul 07, 2019
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
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
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
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
QuantifiedConstraints ignore FunctionalDependencies

#15351 · opened Jul 07, 2018 by aaronvargo 5 FunctionalDependencies Pnormal QuantifiedConstraints Trac import bug typechecker
- 14
updated Dec 03, 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
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: Incorrect pretty printing

#14995 · opened Apr 02, 2018 by Icelandjack 3 GHCi Plow QuantifiedConstraints Trac import bug error messages
- 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
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