blob: 5df5f96aa8d1b0371cba4f886dfcd0d22a7e25e7 (
plain) (
blame)
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.reflect.runtime.universe._
import scala.reflect.macros.blackbox.Context
object Macros {
def cons_impl[A: c.WeakTypeTag](c: Context)(x: c.Expr[A], xs: c.Expr[List[A]]): c.Expr[List[A]] = {
import c.universe._
reify {
println("A = " + c.Expr[String](Literal(Constant(implicitly[c.WeakTypeTag[A]].toString))).splice)
x.splice :: xs.splice
}
}
def nil_impl[B: c.WeakTypeTag](c: Context): c.Expr[List[B]] = {
import c.universe._
reify {
println("B = " + c.Expr[String](Literal(Constant(implicitly[c.WeakTypeTag[B]].toString))).splice)
Nil
}
}
def cons[A](x: A, xs: List[A]): List[A] = macro cons_impl[A]
def nil[B]: List[B] = macro nil_impl[B]
}
|