Issues · Glasgow Haskell Compiler / GHC · GitLab

Regression in resolving quantified constraint from GHC 8.10.7 to GHC 9.0.2/9.2.2

#21550 · created May 11, 2022 by Identical Snowflake 9.2.3 Pnormal QuantifiedConstraints Tbug typechecker
- 1
updated May 17, 2022
Quantified constraint should be accepted in RHS of type family equation

#21210 · created Mar 09, 2022 by Richard Eisenberg Pnormal QuantifiedConstraints Tbug TypeFamilies program incorrectly rejected typechecker
- 1
updated Mar 15, 2022
Cannot satisfy QuantifiedConstraints

#20845 · created Dec 20, 2021 by Ashley Yakeley Pnormal QuantifiedConstraints Tbug
- 9
updated Feb 25, 2022
Strange Behavior with QuanitifiedConstraints, DerivingStrategies, and GND

#20538 · created Oct 21, 2021 by Matthew Mongeau 9.4.1 Pnormal QuantifiedConstraints Tquestion documentation
- 2
updated Feb 23, 2022
GHC complains about impredicativity in type synonym for a quantified constraint

#20318 · created Aug 31, 2021 by Richard Eisenberg ImpredicativeTypes QuantifiedConstraints Tbug program incorrectly rejected typechecker
- 2
updated Sep 07, 2021
Constraint solver loop with quantified constraints

#20304 · created Aug 28, 2021 by sheaf Pnormal QuantifiedConstraints Tbug compile-time loop constraint solver typechecker
- 1
updated Dec 10, 2021
Give MonadTrans a QuantifiedConstraints superclass

#19922 · created May 31, 2021 by Icelandjack Plow QuantifiedConstraints Tfeature request core libraries
- 4
- 26
updated Feb 02, 2022
Bottom dictionaries can be derived with QuantifiedConstraints, UndecidableInstances and UndecidableSuperClasses

#19690 · created Apr 12, 2021 by aadaa-fgtaa Pnormal QuantifiedConstraints Tbug UndecidableSuperClasses typechecker
- 5
updated Apr 16, 2021
Quantified equality constraints are not used for rewriting

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

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

#18150 · created 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 · created 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 · created 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 · created Feb 07, 2020 by Sebastian Graf Pnormal QuantifiedConstraints Tbug TypeFamilies
- 6
updated Feb 20, 2020
Recursive superclass check is defeated by quantified constraints

#17737 · created 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 · created Jan 20, 2020 by Richard Eisenberg QuantifiedConstraints typechecker
- 0
updated Jul 14, 2020
Don't drop derived quantified constraints

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

#17563 · created Dec 10, 2019 by Richard Eisenberg 8.10.2 QuantifiedConstraints Tbug program incorrectly accepted typechecker
- 1
- 4
updated Nov 17, 2021
:kind fails with certain QuantifiedConstraints since 8.8

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

#17295 · created Oct 03, 2019 by James Payor QuantifiedConstraints Tbug ambiguity check
- 33
updated Jun 03, 2020

Prev
1
2
3
Next