diff options
author | Paul Phillips <paulp@improving.org> | 2010-10-03 03:19:21 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2010-10-03 03:19:21 +0000 |
commit | 2fefb37220f82300e2aa44442f1a42261d65e359 (patch) | |
tree | 24267661fa20065cf33c70d9860774b145673565 /test/pending/neg/t0653.scala | |
parent | 943fbb1363345fdaca55e5df95059e8ce8c1344b (diff) | |
download | scala-2fefb37220f82300e2aa44442f1a42261d65e359.tar.gz scala-2fefb37220f82300e2aa44442f1a42261d65e359.tar.bz2 scala-2fefb37220f82300e2aa44442f1a42261d65e359.zip |
One last batch of test cleanups and I think I'l...
One last batch of test cleanups and I think I'll call it a day. If
you're worried I didn't leave any for anyone else, let me put your fears
to rest. PLENTY left to sift through. No review.
Diffstat (limited to 'test/pending/neg/t0653.scala')
-rw-r--r-- | test/pending/neg/t0653.scala | 28 |
1 files changed, 26 insertions, 2 deletions
diff --git a/test/pending/neg/t0653.scala b/test/pending/neg/t0653.scala index 156aa2d701..48f39447ba 100644 --- a/test/pending/neg/t0653.scala +++ b/test/pending/neg/t0653.scala @@ -1,6 +1,30 @@ -class InL[A, B] +// What is this test in place to test for? +// +class One[A] +class Two[A, B] class Fix[Op[A]](x : Op[Fix[Op]]) class FixTest { - val zero = new Fix(new InL) + // works + // val zero = new Fix[One](new One) + + // don't work: + val two = new Fix(new Two) // this was what I found here + val zero = new Fix(new One) // this seems like something which could plausibly work + + // neg/t0653.scala:12: error: no type parameters for constructor Fix: (x: Op[Fix[Op[A]]])Fix[Op[A]] exist so that it can be applied to arguments (Two[Nothing,Nothing]) + // --- because --- + // argument expression's type is not compatible with formal parameter type; + // found : Two[Nothing,Nothing] + // required: ?Op[ Fix[?Op[ A ]] ] + // val two = new Fix(new Two) // this was what I found here + // ^ + // neg/t0653.scala:13: error: no type parameters for constructor Fix: (x: Op[Fix[Op[A]]])Fix[Op[A]] exist so that it can be applied to arguments (One[Nothing]) + // --- because --- + // argument expression's type is not compatible with formal parameter type; + // found : One[Nothing] + // required: ?Op[ Fix[?Op[ A ]] ] + // val zero = new Fix(new One) // this seems like something which could plausibly work + // ^ + // two errors found } |