Add negative tests for inlining blocks in ANF transform

1 files changed, 57 insertions, 0 deletions

diff --git a/src/test/scala/scala/async/neg/AnfTransformNegSpec.scala b/src/test/scala/scala/async/neg/AnfTransformNegSpec.scala
new file mode 100644
index 0000000..974a5f1
--- /dev/null
+++ b/src/test/scala/scala/async/neg/AnfTransformNegSpec.scala
@@ -0,0 +1,57 @@
+/**
+ * Copyright (C) 2012 Typesafe Inc. <http://www.typesafe.com>
+ */
+package scala.async
+package neg
+
+import org.junit.runner.RunWith
+import org.junit.runners.JUnit4
+import org.junit.Test
+
+@RunWith(classOf[JUnit4])
+class AnfTransformNegSpec {
+
+  @Test
+  def `inlining block produces duplicate definition`() {
+    expectError("x is already defined as value x", "-cp target/scala-2.10/classes -deprecation -Xfatal-warnings") {
+      """
+        | import scala.concurrent.ExecutionContext.Implicits.global
+        | import scala.concurrent.Future
+        | import scala.async.Async._
+        | 
+        | async {
+        |   val f = Future { 12 }
+        |   val x = await(f)
+        |   
+        |   {
+        |     val x = 42
+        |     println(x)
+        |   }
+        |   
+        |   x
+        | }
+      """.stripMargin
+    }
+  }
+
+  @Test
+  def `inlining block in tail position produces duplicate definition`() {
+    expectError("x is already defined as value x", "-cp target/scala-2.10/classes -deprecation -Xfatal-warnings") {
+      """
+        | import scala.concurrent.ExecutionContext.Implicits.global
+        | import scala.concurrent.Future
+        | import scala.async.Async._
+        | 
+        | async {
+        |   val f = Future { 12 }
+        |   val x = await(f)
+        |   
+        |   {
+        |     val x = 42
+        |     x
+        |   }
+        | }
+      """.stripMargin
+    }
+  }
+}