summaryrefslogblamecommitdiff
path: root/test/files/run/idempotency-labels.scala
blob: 084c93d3c62ec687fdd0ab2fda8afcf43bb2e2e5 (plain) (tree)
1
2
3
4
5
6
7
8
9
10
11
12
13












                                                  
                                       
                 
                                      





                                             
import scala.reflect.runtime.universe._
import scala.reflect.runtime.{currentMirror => cm}
import scala.tools.reflect.{ToolBox, ToolBoxError}
import scala.tools.reflect.Eval

object Test extends App {
  val label = reify {
    var x = 0
    while (x < 2) { x += 1 }
    x
  }
  println(label.eval)
  val tb = cm.mkToolBox()
  val tlabel = tb.typecheck(label.tree)
  println(tlabel)
  val rtlabel = tb.untypecheck(tlabel)
  try {
    println(tb.eval(rtlabel))
  } catch {
    case _: ToolBoxError => println("error!")
  }
}