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-reify-chained2 | |
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-reify-chained2')
-rw-r--r-- | tests/disabled/macro/run/macro-reify-chained2/Impls_Macros_1.scala | 47 | ||||
-rw-r--r-- | tests/disabled/macro/run/macro-reify-chained2/Test_2.scala | 9 |
2 files changed, 56 insertions, 0 deletions
diff --git a/tests/disabled/macro/run/macro-reify-chained2/Impls_Macros_1.scala b/tests/disabled/macro/run/macro-reify-chained2/Impls_Macros_1.scala new file mode 100644 index 000000000..965b19104 --- /dev/null +++ b/tests/disabled/macro/run/macro-reify-chained2/Impls_Macros_1.scala @@ -0,0 +1,47 @@ +import scala.reflect.runtime.universe._ +import scala.reflect.runtime.{universe => ru} +import scala.reflect.macros.whitebox.Context +import scala.language.experimental.macros + +case class Utils[C <: Context]( c:C ) { + import c.universe._ + import c.{Tree=>_} + object removeDoubleReify extends c.universe.Transformer { + def apply( tree:Tree ) = transform(tree) + override def transform(tree: Tree): Tree = { + super.transform { + tree match { + case Apply(TypeApply(Select(_this, termname), _), reification::Nil ) + if termname.toString == "factory" => c.unreifyTree(reification) + case Apply(Select(_this, termname), reification::Nil ) + if termname.toString == "factory" => c.unreifyTree(reification) + case _ => tree + } + } + } + } +} +object QueryableMacros{ + def _helper[C <: Context,S:c.WeakTypeTag]( c:C )( name:String, projection:c.Expr[_] ) = { + import c.universe._ + import internal._ + val element_type = implicitly[c.WeakTypeTag[S]].tpe + val foo = c.Expr[ru.Expr[Queryable[S]]]( + c.reifyTree( gen.mkRuntimeUniverseRef, EmptyTree, c.typecheck( + Utils[c.type](c).removeDoubleReify( + Apply(Select(c.prefix.tree, TermName( name )), List( projection.tree )) + ).asInstanceOf[Tree] + ))) + c.universe.reify{ Queryable.factory[S]( foo.splice )} + } + def map[T:c.WeakTypeTag, S:c.WeakTypeTag] + (c: Context) + (projection: c.Expr[T => S]): c.Expr[Queryable[S]] = _helper[c.type,S]( c )( "_map", projection ) +} +class Queryable[T]{ + def _map[S]( projection: T => S ) : Queryable[S] = ??? + def map[S]( projection: T => S ) : Queryable[S] = macro QueryableMacros.map[T,S] +} +object Queryable{ + def factory[S]( projection:ru.Expr[Queryable[S]] ) : Queryable[S] = null +}
\ No newline at end of file diff --git a/tests/disabled/macro/run/macro-reify-chained2/Test_2.scala b/tests/disabled/macro/run/macro-reify-chained2/Test_2.scala new file mode 100644 index 000000000..01a021893 --- /dev/null +++ b/tests/disabled/macro/run/macro-reify-chained2/Test_2.scala @@ -0,0 +1,9 @@ +object Test extends dotty.runtime.LegacyApp{ + val q : Queryable[Any] = new Queryable[Any] + q.map(x => x).map(x => x) + + locally { + val q : Queryable[Any] = new Queryable[Any] + q.map(x => x).map(x => x) + } +}
\ No newline at end of file |