diff options
Diffstat (limited to 'test/disabled/continuations-neg')
-rw-r--r-- | test/disabled/continuations-neg/infer0.check | 4 | ||||
-rw-r--r-- | test/disabled/continuations-neg/infer0.scala | 12 |
2 files changed, 16 insertions, 0 deletions
diff --git a/test/disabled/continuations-neg/infer0.check b/test/disabled/continuations-neg/infer0.check new file mode 100644 index 0000000000..1dd072ef09 --- /dev/null +++ b/test/disabled/continuations-neg/infer0.check @@ -0,0 +1,4 @@ +infer0.scala:11: error: cannot cps-transform expression 8: type arguments [Int(8),String,Int] do not conform to method shiftUnit's type parameter bounds [A,B,C >: B] + test(8) + ^ +one error found diff --git a/test/disabled/continuations-neg/infer0.scala b/test/disabled/continuations-neg/infer0.scala new file mode 100644 index 0000000000..6d97d7504d --- /dev/null +++ b/test/disabled/continuations-neg/infer0.scala @@ -0,0 +1,12 @@ +// $Id$ + +import scala.util.continuations._ + + +object Test { + def test(x: => Int @cpsParam[String,Int]) = 7 + + def main(args: Array[String]) { + test(8) + } +} |