summaryrefslogtreecommitdiff
path: root/test/files/continuations-run/infer1.scala
diff options
context:
space:
mode:
authorTiark Rompf <tiark.rompf@epfl.ch>2010-03-11 16:55:38 +0000
committerTiark Rompf <tiark.rompf@epfl.ch>2010-03-11 16:55:38 +0000
commitf584d243487dcd1214291167707e2f53fef5ab5e (patch)
treeaf3e926d301193b259d27567470b4c483efbecbe /test/files/continuations-run/infer1.scala
parent356540e284e9c9407151a44afdb9480d8eb137a1 (diff)
downloadscala-f584d243487dcd1214291167707e2f53fef5ab5e.tar.gz
scala-f584d243487dcd1214291167707e2f53fef5ab5e.tar.bz2
scala-f584d243487dcd1214291167707e2f53fef5ab5e.zip
moved the continuations plugin into trunk.
Diffstat (limited to 'test/files/continuations-run/infer1.scala')
-rw-r--r--test/files/continuations-run/infer1.scala33
1 files changed, 33 insertions, 0 deletions
diff --git a/test/files/continuations-run/infer1.scala b/test/files/continuations-run/infer1.scala
new file mode 100644
index 0000000000..a6c6c07215
--- /dev/null
+++ b/test/files/continuations-run/infer1.scala
@@ -0,0 +1,33 @@
+// $Id$
+
+import scala.util.continuations._
+
+
+object Test {
+
+ def test(x: => Int @cpsParam[String,Int]) = 7
+
+ def test2() = {
+ val x = shift { k: (Int => String) => 9 }
+ x
+ }
+
+ def test3(x: => Int @cpsParam[Int,Int]) = 7
+
+
+ def util() = shift { k: (String => String) => "7" }
+
+ def main(args: Array[String]): Any = {
+ test { shift { k: (Int => String) => 9 } }
+ test { shift { k: (Int => String) => 9 }; 2 }
+// test { shift { k: (Int => String) => 9 }; util() } <-- doesn't work
+ test { shift { k: (Int => String) => 9 }; util(); 2 }
+
+
+ test { shift { k: (Int => String) => 9 }; { test3(0); 2 } }
+
+ test3 { { test3(0); 2 } }
+
+ }
+
+} \ No newline at end of file