blob: 83603752835d66fb8872088bb912d61fa37aee9a (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
import scala.util.continuations._
object Test {
def sh(x1:Int) = shift( (k: Int => Int) => k(k(k(x1))))
def testA(x1: Int): Int @cps[Int] = {
sh(x1)
if (x1==42) x1 else sh(x1)
}
def testB(x1: Int): Int @cps[Int] = {
if (sh(x1)==43) x1 else x1
}
def testC(x1: Int): Int @cps[Int] = {
sh(x1)
if (sh(x1)==44) x1 else x1
}
def testD(x1: Int): Int @cps[Int] = {
sh(x1)
if (sh(x1)==45) x1 else sh(x1)
}
def main(args: Array[String]): Any = {
println(reset(1 + testA(7)))
println(reset(1 + testB(9)))
println(reset(1 + testC(9)))
println(reset(1 + testD(7)))
}
}
|