blob: f5d6cd193fdd6c29d30faafa90ce4f31ab27eeef (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
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 dotty.runtime.LegacyApp {
object Extractor { def unapply(x: Int): Option[Int] = Some(x) }
val extractor = reify {
2 match { case Extractor(x) => x }
}
println(extractor.eval)
val tb = cm.mkToolBox()
val textractor = tb.typecheck(extractor.tree)
println(textractor)
val rtextractor = tb.untypecheck(textractor)
try {
println(tb.eval(rtextractor))
} catch {
// this is the current behaviour, rather than the desired behavior; see SI-5465
case _: ToolBoxError => println("error!")
}
}
|