diff options
Diffstat (limited to 'tests/disabled/macro/run/t6221')
-rw-r--r-- | tests/disabled/macro/run/t6221/Macros_1.scala | 23 | ||||
-rw-r--r-- | tests/disabled/macro/run/t6221/Test_2.scala | 10 |
2 files changed, 33 insertions, 0 deletions
diff --git a/tests/disabled/macro/run/t6221/Macros_1.scala b/tests/disabled/macro/run/t6221/Macros_1.scala new file mode 100644 index 000000000..0aeaa00c8 --- /dev/null +++ b/tests/disabled/macro/run/t6221/Macros_1.scala @@ -0,0 +1,23 @@ +import language.experimental.macros +import language.implicitConversions +import scala.reflect.macros.blackbox.Context +import scala.reflect.runtime.universe.Tree + +class ReflectiveClosure[A, B](val tree: Tree, fn: A => B) extends (A => B) { + def apply(x: A) = fn(x) +} + +object ReflectiveClosure { + implicit def reflectClosure[A, B](f: A => B): ReflectiveClosure[A, B] = macro Macros.reflectiveClosureImpl[A, B] +} + +object Macros { + def reflectiveClosureImpl[A, B](c: Context)(f: c.Expr[A => B]): c.Expr[ReflectiveClosure[A, B]] = { + import c.universe._ + import internal._ + val u = gen.mkRuntimeUniverseRef + val m = EmptyTree + val tree = c.Expr[scala.reflect.runtime.universe.Tree](Select(c.reifyTree(u, m, f.tree), newTermName("tree"))) + c.universe.reify(new ReflectiveClosure(tree.splice, f.splice)) + } +} diff --git a/tests/disabled/macro/run/t6221/Test_2.scala b/tests/disabled/macro/run/t6221/Test_2.scala new file mode 100644 index 000000000..bc295d437 --- /dev/null +++ b/tests/disabled/macro/run/t6221/Test_2.scala @@ -0,0 +1,10 @@ +object Test extends dotty.runtime.LegacyApp { + implicit class PimpedList[T](val list: List[T]) { + def query(predicate: ReflectiveClosure[T, Boolean]): List[T] = { + println(predicate.tree) + list filter predicate + } + } + + List(1, 2, 3).query(x => x % 2 == 0) +}
\ No newline at end of file |