diff options
Diffstat (limited to 'testsuite/tests/quantified-constraints/T17267b.hs')
| -rw-r--r-- | testsuite/tests/quantified-constraints/T17267b.hs | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/testsuite/tests/quantified-constraints/T17267b.hs b/testsuite/tests/quantified-constraints/T17267b.hs index 82285d0265..5f0ffdf6e1 100644 --- a/testsuite/tests/quantified-constraints/T17267b.hs +++ b/testsuite/tests/quantified-constraints/T17267b.hs @@ -14,3 +14,22 @@ uc = oops where oops :: (a ~ b => a ~ b) => a -> b oops x = x +{- +Consider the ambiguity check for oops. + +[G] (a ~ b => a ~ b) +[W] (a ~ b => a ~ b) +==> + +[G] (a ~ b => a ~ b) +[G] (a ~# b) was [G] (a ~ b) [G] a ~# b + +kick out the QC and (old) (a~b) +[G] (b ~ b => b ~ b) Quantified constraint +[G] (a ~# b) was [G] (b ~ b) [G] a ~# b + +[W] (a~b) DictCt + +Wanted is rewritten + (b~b) DictCt +-} |