blob: 1b0b9c64214e24f0fd026b5b4765ec7c38a0caae (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
import scala.reflect.makro.{Context => Ctx}
object Macros {
def foo(s: String) = macro Impls.foo
object Impls {
def foo(c: Ctx)(s: c.Expr[String]) = {
import c.mirror._
val world = c.reifyTree(c.reflectMirrorPrefix, s.tree)
val greeting = c.reifyTree(c.reflectMirrorPrefix, c.typeCheck(Apply(Select(Literal(Constant("hello ")), newTermName("$plus")), List(c.unreifyTree(world)))))
val typedGreeting = Expr[String](greeting)
c.reify {
println("hello " + s.eval + " = " + typedGreeting.eval)
}
}
}
}
|