test/files/continuations-neg/t5314-type-error.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

import scala.util.continuations._

object Test extends App {
  def foo(x:Int): Int @cps[Int] = shift { k => k(x) }

  // should be a type error
  def bar(x:Int): Int @cps[String] = return foo(x)

  def caller(): Unit = {
    val v: String = reset {
      val res: Int = bar(8)
      "hello"
    }
  }

  caller()
}