tests/disabled/macro/run/macro-expand-tparams-prefix/Impls_1.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39

import scala.reflect.runtime.universe._
import scala.reflect.macros.blackbox.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]
    }
  }
}