blob: a98c4abe785bc7183e1a052ec764d2ff9f1904a2 (
plain) (
tree)
|
|
import scala.reflect.runtime.universe._
import scala.reflect.macros.Context
object Impls1 {
def foo[U: c.WeakTypeTag](c: Context)(x: c.Expr[U]) = {
import c.universe._
val U = implicitly[c.WeakTypeTag[U]]
c.Expr[Unit](q"println(${U.toString})")
}
}
object Impls2 {
def foo[T: c.WeakTypeTag, U: c.WeakTypeTag](c: Context)(x: c.Expr[U]) = {
import c.universe._
val T = implicitly[c.WeakTypeTag[T]]
val U = implicitly[c.WeakTypeTag[U]]
val body = Apply(Select(Ident(definitions.PredefModule), TermName("println")), List(Literal(Constant(T.toString + " " + U.toString))))
c.Expr[Unit](q"""println(${T.toString} + " " + ${U.toString})""")
}
}
object Impls345 {
def foo[T, U: c.WeakTypeTag, V](c: Context)(implicit T: c.WeakTypeTag[T], V: c.WeakTypeTag[V]): c.Expr[Unit] = {
import c.universe._
c.Expr(q"""
println(${T.toString})
println(${implicitly[c.WeakTypeTag[U]].toString})
println(${V.toString})
""")
}
}
object Macros4 {
class D[T] {
class C[U] {
def foo[V] = macro Impls345.foo[T, U, V]
}
}
}
|