An overdue overhaul of macro internals.

 - Avoid reset + retypecheck, instead hang onto the original types/symbols
 - Eliminated duplication between AsyncDefinitionUseAnalyzer and ExprBuilder
   - Instead, decide what do lift *after* running ExprBuilder
   - Account for transitive references local classes/objects and lift them
     as needed.
 - Make the execution context an regular implicit parameter of the macro
 - Fixes interaction with existential skolems and singleton types

Fixes #6, #13, #16, #17, #19, #21.

1 files changed, 56 insertions, 0 deletions

diff --git a/src/test/scala/scala/async/run/nesteddef/NestedDef.scala b/src/test/scala/scala/async/run/nesteddef/NestedDef.scala
index ee0a78e..cf74602 100644
--- a/src/test/scala/scala/async/run/nesteddef/NestedDef.scala
+++ b/src/test/scala/scala/async/run/nesteddef/NestedDef.scala
@@ -37,4 +37,60 @@ class NestedDef {
     }
     result mustBe ((0d, 44d, 2))
   }
+
+  // We must lift `foo` and `bar` in the next two tests.
+  @Test
+  def nestedDefTransitive1() {
+    import AsyncId._
+    val result = async {
+      val a = 0
+      val x = await(a) - 1
+      def bar = a
+      def foo = bar
+      foo
+    }
+    result mustBe 0
+  }
+
+  @Test
+  def nestedDefTransitive2() {
+    import AsyncId._
+    val result = async {
+      val a = 0
+      val x = await(a) - 1
+      def bar = a
+      def foo = bar
+      0
+    }
+    result mustBe 0
+  }
+
+
+  // checking that our use/definition analysis doesn't cycle.
+  @Test
+  def mutuallyRecursive1() {
+    import AsyncId._
+    val result = async {
+      val a = 0
+      val x = await(a) - 1
+      def foo: Int = if (true) 0 else bar
+      def bar: Int = if (true) 0 else foo
+      bar
+    }
+    result mustBe 0
+  }
+
+  // checking that our use/definition analysis doesn't cycle.
+  @Test
+  def mutuallyRecursive2() {
+    import AsyncId._
+    val result = async {
+      val a = 0
+      def foo: Int = if (true) 0 else bar
+      def bar: Int = if (true) 0 else foo
+      val x = await(a) - 1
+      bar
+    }
+    result mustBe 0
+  }
 }