diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2014-11-21 11:16:19 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2014-11-21 11:35:26 +0000 |
| commit | b82410ab8908f1ec2a6aa14cce62948c92bcbce9 (patch) | |
| tree | 232a7656aba3f72db9144318a0dca94a4dfa92cb /testsuite/tests/polykinds/T9222.hs | |
| parent | 5760eb598e0dfa451407195f15072204c15233ed (diff) | |
| download | haskell-b82410ab8908f1ec2a6aa14cce62948c92bcbce9.tar.gz | |
Trac #9222 is actually an ambiguous type, now detected
Diffstat (limited to 'testsuite/tests/polykinds/T9222.hs')
| -rw-r--r-- | testsuite/tests/polykinds/T9222.hs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/testsuite/tests/polykinds/T9222.hs b/testsuite/tests/polykinds/T9222.hs index df112519ac..8e46ccb3c5 100644 --- a/testsuite/tests/polykinds/T9222.hs +++ b/testsuite/tests/polykinds/T9222.hs @@ -3,5 +3,11 @@ module T9222 where import Data.Proxy +-- Nov 2014: actually the type of Want is ambiguous if we +-- do the full co/contra thing for subtyping, +-- which we now do +-- So this program is erroneous. (But the original ticket was +-- a crash, and that's still fixed!) + data Want :: (i,j) -> * where Want :: (a ~ '(b,c) => Proxy b) -> Want a |