diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2014-01-03 16:09:47 +0000 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2014-01-03 16:09:47 +0000 |
commit | b0cdb9b3b6c61463241093161a5b6cf6144e7348 (patch) | |
tree | b69b4cad0e9c8647706abfacaa54f5c4ed7497c4 /testsuite/tests/polykinds/T7594.hs | |
parent | c06528c3c988ea1c1515c7033158728f8ed20bf0 (diff) | |
download | haskell-b0cdb9b3b6c61463241093161a5b6cf6144e7348.tar.gz |
Update T7594 as a result of fixing #8644
The fix to #8644 makes the original T7594 pass (rightly).
I've added a variant that shouuld and does fail
Diffstat (limited to 'testsuite/tests/polykinds/T7594.hs')
-rw-r--r-- | testsuite/tests/polykinds/T7594.hs | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/testsuite/tests/polykinds/T7594.hs b/testsuite/tests/polykinds/T7594.hs index 89e749ce36..2cbd3db88d 100644 --- a/testsuite/tests/polykinds/T7594.hs +++ b/testsuite/tests/polykinds/T7594.hs @@ -23,5 +23,15 @@ q :: ColD (Show :&: Real) q = ColD (1.2 :: Double) bar = app print q +-- This one works, as a result of fixing Trac #8644, +-- because the given constraint is +-- (Show :&: Real) a, which has no equality superclasses + +q2 :: ColD (c :&: Real) +q2 = error "urk" + +bar2 = app print q2 +-- This one fail, because the given constraint is +-- (c :&: Real) a, which might have equality superclasses |