diff options
| author | Richard Eisenberg <rae@richarde.dev> | 2019-12-05 10:59:54 +0000 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-02-11 05:08:10 -0500 |
| commit | de32beffde82eec954691703541a2d4081799453 (patch) | |
| tree | b97109ac5b28a077f95bb057c0a3f7d5af371239 /testsuite/tests/cps | |
| parent | 375b3c45be0e5de673d03097ebbad442c85c89eb (diff) | |
| download | haskell-de32beffde82eec954691703541a2d4081799453.tar.gz | |
Do not create nested quantified constraints
Previously, we would accidentally make constraints like
forall a. C a => forall b. D b => E a b c as we traversed
superclasses. No longer!
This patch also expands Note [Eagerly expand given superclasses]
to work over quantified constraints; necessary for T16502b.
Close #17202 and #16502.
test cases: typecheck/should_compile/T{17202,16502{,b}}
Diffstat (limited to 'testsuite/tests/cps')
0 files changed, 0 insertions, 0 deletions