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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
|
import scala.reflect.runtime.universe._
import scala.reflect.macros.Context
object Impls1 {
def foo[U: c.WeakTypeTag: Numeric](c: Context) = {
import c.universe._
Literal(Constant(42))
}
}
object Impls2 {
def foo = ???
}
object Impls3 {
def foo(c: scala.reflect.api.Universe) = ???
}
object Impls4 {
def foo(cs: Context*) = ???
}
object Impls5 {
def foo(c: Context) = ???
}
object Impls6 {
def foo[T, U: c.WeakTypeTag](c: Context)(implicit x: c.Expr[Int]) = {
import c.{prefix => prefix}
import c.universe._
val body = Block(List(
Apply(Select(Ident(definitions.PredefModule), TermName("println")), List(Literal(Constant("invoking foo_targs...")))),
Apply(Select(Ident(definitions.PredefModule), TermName("println")), List(Literal(Constant("type of prefix is: " + prefix.staticType)))),
Apply(Select(Ident(definitions.PredefModule), TermName("println")), List(Literal(Constant("U is: " + implicitly[c.WeakTypeTag[U]].tpe))))),
Literal(Constant(())))
c.Expr[Unit](body)
}
}
object Impls7 {
def foo(c: Context)(x: c.Expr[Int], y: c.Expr[Int]) = ???
}
object Impls8 {
def foo(c: Context)(x: c.universe.Symbol) = ???
}
object Impls9 {
def foo(c: Context)(xs: c.Expr[Int]*) = ???
}
object Impls10 {
def foo(c: Context)(y: c.Expr[Int], x: c.Expr[Int]) = ???
}
object Impls11 {
def foo[U](c: Context)(U: c.universe.Type) = ???
}
object Impls12 {
def foo[U <: String](c: Context) = ???
}
object Impls13 {
def foo[U <: String](c: Context) = ???
}
object Impls14 {
def foo[U: c.WeakTypeTag](c: Context) = ???
}
object Impls15 {
def foo[T: c.WeakTypeTag, U: c.WeakTypeTag, V](c: Context)(implicit V: c.WeakTypeTag[V]): c.Expr[Unit] = {
import c.universe._
println(implicitly[c.WeakTypeTag[T]])
println(implicitly[c.WeakTypeTag[U]])
println(V)
c.Expr[Unit](Literal(Constant(())))
}
}
object Impls16 {
def foo[T: c.WeakTypeTag, U: c.WeakTypeTag, V](c: Context)(implicit V: c.WeakTypeTag[V]): c.Expr[Unit] = {
import c.universe._
println(implicitly[c.WeakTypeTag[T]])
println(implicitly[c.WeakTypeTag[U]])
println(V)
c.Expr[Unit](Literal(Constant(())))
}
}
|
