blob: e2f4a4923a57a6a80f40fadea0174285b5cd3502 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
import scala.reflect.runtime.universe._
import scala.tools.reflect.ToolBox
import scala.tools.reflect.Eval
object Test extends App {
{
def foo[W] = {
type U = W
type T = U
reify {
List[T](2)
}
}
val code = foo[Int]
println(code.tree.freeTypes)
val W = code.tree.freeTypes(2)
cm.mkToolBox().runExpr(code.tree, Map(W -> definitions.IntTpe))
println(code.eval)
}
}
|