blob: 25ed352cca17f6377c3c29b4874d98171e28a247 (
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.macros.{Context => Ctx}
object Macros {
def foo(s: String) = macro Impls.foo
object Impls {
def foo(c: Ctx)(s: c.Expr[String]) = {
import c.universe._
import treeBuild._
val world = c.reifyTree(mkRuntimeUniverseRef, EmptyTree, s.tree)
val greeting = c.reifyTree(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)
}
}
}
}
|