diff options
author | odersky <odersky@gmail.com> | 2015-06-18 10:58:07 +0200 |
---|---|---|
committer | odersky <odersky@gmail.com> | 2015-06-18 10:58:07 +0200 |
commit | 2ce159fa1707c1e57e22af9b2fe5a87fee94ee8d (patch) | |
tree | c13a7f302e0b949dac99249e66962230df43064a /tests/disabled/macro/run/macro-expand-tparams-prefix/Impls_1.scala | |
parent | 78fae1152a7b381af4639d3d66ed637eac3ca9d0 (diff) | |
parent | 797bfd74b0900d18d62082b842f6a330ce414ebd (diff) | |
download | dotty-2ce159fa1707c1e57e22af9b2fe5a87fee94ee8d.tar.gz dotty-2ce159fa1707c1e57e22af9b2fe5a87fee94ee8d.tar.bz2 dotty-2ce159fa1707c1e57e22af9b2fe5a87fee94ee8d.zip |
Merge pull request #664 from dotty-staging/more-tests
Enable tests that pass, move macro tests to disabled.
Diffstat (limited to 'tests/disabled/macro/run/macro-expand-tparams-prefix/Impls_1.scala')
-rw-r--r-- | tests/disabled/macro/run/macro-expand-tparams-prefix/Impls_1.scala | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/tests/disabled/macro/run/macro-expand-tparams-prefix/Impls_1.scala b/tests/disabled/macro/run/macro-expand-tparams-prefix/Impls_1.scala new file mode 100644 index 000000000..289f07162 --- /dev/null +++ b/tests/disabled/macro/run/macro-expand-tparams-prefix/Impls_1.scala @@ -0,0 +1,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] + } + } +} |