test/files/continuations-run/ifelse4.scala


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]): Unit = {
    println(reset(1 + testA(7)))
    println(reset(1 + testB(9)))
    println(reset(1 + testC(9)))
    println(reset(1 + testD(7)))
  }
}