From 3b9d72928738f34449b1e67a18623458bdcd16d5 Mon Sep 17 00:00:00 2001 From: Jason Zaugg Date: Thu, 25 Jul 2013 00:14:04 +1000 Subject: Preserve ApplyImplicitView / ApplyImplicitArgs in AnfTransform. --- src/test/scala/scala/async/TreeInterrogation.scala | 10 ++++------ .../scala/scala/async/run/anf/AnfTransformSpec.scala | 17 +++++++++++++++++ 2 files changed, 21 insertions(+), 6 deletions(-) (limited to 'src/test') diff --git a/src/test/scala/scala/async/TreeInterrogation.scala b/src/test/scala/scala/async/TreeInterrogation.scala index f1cb251..770c0f9 100644 --- a/src/test/scala/scala/async/TreeInterrogation.scala +++ b/src/test/scala/scala/async/TreeInterrogation.scala @@ -72,13 +72,11 @@ object TreeInterrogation extends App { import scala.async.Async._ val tree = tb.parse( """ import _root_.scala.async.internal.AsyncId.{async, await} - | def foo[T](a0: Int)(b0: Int*) = s"a0 = $a0, b0 = ${b0.head}" - | val res = async { - | var i = 0 - | def get = async {i += 1; i} - | foo[Int](await(get))(await(get) :: Nil : _*) + | import reflect.runtime.universe._ + | async { + | implicit def view(a: Int): String = "" + | await(0).length | } - | res | """.stripMargin) println(tree) val tree1 = tb.typeCheck(tree.duplicate) diff --git a/src/test/scala/scala/async/run/anf/AnfTransformSpec.scala b/src/test/scala/scala/async/run/anf/AnfTransformSpec.scala index bd2aa97..595ed63 100644 --- a/src/test/scala/scala/async/run/anf/AnfTransformSpec.scala +++ b/src/test/scala/scala/async/run/anf/AnfTransformSpec.scala @@ -377,4 +377,21 @@ class AnfTransformSpec { x } mustBe 1 } + + @Test + def awaitInImplicitApply() { + val tb = mkToolbox(s"-cp ${toolboxClasspath}") + val tree = tb.typeCheck(tb.parse { + """ + | import language.implicitConversions + | import _root_.scala.async.internal.AsyncId.{async, await} + | implicit def view(a: Int): String = "" + | async { + | await(0).length + | } + """.stripMargin + }) + val applyImplicitView = tree.collect { case x if x.getClass.getName.endsWith("ApplyImplicitView") => x } + applyImplicitView.map(_.toString) mustBe List("view(a$1)") + } } -- cgit v1.2.3