1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
import scala.language.experimental.macros
import scala.reflect.macros.blackbox.Context
object Macros {
def impl(c: Context) = {
import c.universe._
def test(tree: Tree, mode: c.TypecheckMode): String = {
try c.typecheck(tree, mode, silent = false).tpe.toString
catch { case c.TypecheckException(_, msg) => msg }
}
q"""
println(${test(q"List(1, 2)", c.TERMmode)})
println(${test(q"List", c.TERMmode)})
println(${test(q"RuntimeException", c.TERMmode)})
println(${test(tq"List[Int]", c.TYPEmode)})
println(${test(tq"List", c.TYPEmode)})
println(${test(q"List", c.TYPEmode)})
println(${test(q"List(1, 2)", c.TYPEmode)})
"""
}
def foo: Unit = macro impl
}
|
