blob: 3e9033966d52ff70579921d70eeaa9a6abc6c670 (
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.universe._
val world = c.reifyTree(c.runtimeUniverse, EmptyTree, s.tree)
val greeting = c.reifyTree(c.runtimeUniverse, EmptyTree, c.typeCheck(Apply(Select(Literal(Constant("hello ")), newTermName("$plus")), List(c.unreifyTree(world)))))
val typedGreeting = c.Expr[String](greeting)
c.universe.reify {
println("hello " + s.splice + " = " + typedGreeting.splice)
}
}
}
}
|