1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
import scala.reflect.macros.blackbox.Context
object Macros {
def foo(s: String) = macro Impls.foo
object Impls {
def foo(c: Context)(s: c.Expr[String]) = {
import c.universe._
import internal._
val world = c.reifyTree(gen.mkRuntimeUniverseRef, EmptyTree, s.tree)
val greeting = c.reifyTree(gen.mkRuntimeUniverseRef, EmptyTree, c.typecheck(Apply(Select(Literal(Constant("hello ")), TermName("$plus")), List(c.unreifyTree(world)))))
val typedGreeting = c.Expr[String](greeting)
c.universe.reify {
println("hello " + s.splice + " = " + typedGreeting.splice)
}
}
}
}
|
