Add run test

Author: odersky

tests/neg-strict/filtering-fors.scala

@@ -16,7 +16,7 @@ object Test {
   for (case (x: String) <- xs; (y, z) <- xs) do () // error
   for ((x: String) <- xs; case (y, z) <- xs) do () // error
 
-  val pairs: List[Any] = List((1, 2), (3, 4))
+  val pairs: List[Any] = List((1, 2), "hello", (3, 4))
   for ((x, y) <- pairs) yield (y, x) // error
 
   for (case x: String <- xs) do ()      // OK

tests/run-custom-args/fors.check

@@ -0,0 +1,46 @@
+
+testOld
+1 2 3 
+2 
+2 
+3
+1 2 3 
+1 2 3 
+0 1 2 3 4 5 6 7 8 9 
+0 2 4 6 8 
+0 2 4 6 8 
+a b c 
+b c 
+b c 
+
+testNew
+3
+1 2 3 
+1 2 3 
+0 1 2 3 4 5 6 7 8 9 
+0 2 4 6 8 
+0 2 4 6 8 
+0 2 4 6 8 
+0 2 4 6 8 
+0 2 4 6 8 
+0 2 4 6 8 
+0 2 4 6 8 
+a b c 
+
+testFiltering
+hello  world 
+hello  world 
+hello  world 
+1~2 3~4 
+(empty)
+hello  world 
+hello/1~2 hello/3~4 /1~2 /3~4 world/1~2 world/3~4 
+(2,1) (4,3) 
+hello  world 
+hello  world 
+hello  world 
+1~2 3~4 
+(empty)
+hello  world 
+hello/1~2 hello/3~4 /1~2 /3~4 world/1~2 world/3~4 
+(2,1) (4,3) 

tests/run-custom-args/fors.scala

@@ -0,0 +1,117 @@
+//############################################################################
+// for-comprehensions (old and new syntax)
+//############################################################################
+
+//############################################################################
+
+object Test extends dotty.runtime.LegacyApp {
+  val xs = List(1, 2, 3)
+  val ys = List(Symbol("a"), Symbol("b"), Symbol("c"))
+
+  def it = 0 until 10
+
+  val ar = "abc".toCharArray
+
+  /////////////////// old syntax ///////////////////
+
+  def testOld(): Unit = {
+    println("\ntestOld")
+
+    // lists
+    for (x <- xs) print(x + " "); println()
+    for (x <- xs;
+         if x % 2 == 0) print(x + " "); println()
+    for {x <- xs
+         if x % 2 == 0} print(x + " "); println()
+    var n = 0
+    for (_ <- xs) n += 1; println(n)
+    for ((x, y) <- xs zip ys) print(x + " "); println()
+    for (p @ (x, y) <- xs zip ys) print(p._1 + " "); println()
+
+    // iterators
+    for (x <- it) print(x + " "); println()
+    for (x <- it;
+         if x % 2 == 0) print(x + " "); println()
+    for {x <- it
+         if x % 2 == 0} print(x + " "); println()
+
+    // arrays
+    for (x <- ar) print(x + " "); println()
+    for (x <- ar;
+         if x.toInt > 97) print(x + " "); println()
+    for {x <- ar
+         if x.toInt > 97} print(x + " "); println()
+
+  }
+
+  /////////////////// new syntax ///////////////////
+
+  def testNew(): Unit = {
+    println("\ntestNew")
+
+    // lists
+    var n = 0
+    for (_ <- xs) n += 1; println(n)
+    for ((x, y) <- xs zip ys) print(x + " "); println()
+    for (p @ (x, y) <- xs zip ys) print(p._1 + " "); println()
+
+    // iterators
+    for (x <- it) print(x + " "); println()
+    for (x <- it if x % 2 == 0) print(x + " "); println()
+    for (x <- it; if x % 2 == 0) print(x + " "); println()
+    for (x <- it;
+         if x % 2 == 0) print(x + " "); println()
+    for (x <- it
+         if x % 2 == 0) print(x + " "); println()
+    for {x <- it
+         if x % 2 == 0} print(x + " "); println()
+    for (x <- it;
+         y = 2
+         if x % y == 0) print(x + " "); println()
+    for {x <- it
+         y = 2
+         if x % y == 0} print(x + " "); println()
+
+    // arrays
+    for (x <- ar) print(x + " "); println()
+
+  }
+
+  /////////////////// filtering with case ///////////////////
+
+  def testFiltering(): Unit = {
+    println("\ntestFiltering")
+
+    val xs: List[Any] = List((1, 2), "hello", (3, 4), "", "world")
+
+    for (case x: String <- xs) do print(s"$x "); println()
+    for (case (x: String) <- xs) do print(s"$x "); println()
+    for (case y@ (x: String) <- xs) do print(s"$y "); println()
+
+    for (case (x, y) <- xs) do print(s"$x~$y "); println()
+
+    for (case (x: String) <- xs if x.isEmpty) do print("(empty)"); println()
+    for (case (x: String) <- xs; y = x) do print(s"$y "); println()
+    for (case (x: String) <- xs; case (y, z) <- xs) do print(s"$x/$y~$z "); println()
+
+    for (case (x, y) <- xs) do print(s"${(y, x)} "); println()
+
+    for case x: String <- xs do print(s"$x "); println()
+    for case (x: String) <- xs do print(s"$x "); println()
+    for case y@ (x: String) <- xs do print(s"$y "); println()
+
+    for case (x, y) <- xs do print(s"$x~$y "); println()
+
+    for case (x: String) <- xs if x.isEmpty do print("(empty)"); println()
+    for case (x: String) <- xs; y = x do print(s"$y "); println()
+    for case (x: String) <- xs; case (y, z) <- xs do print(s"$x/$y~$z "); println()
+
+    for case (x, y) <- xs do print(s"${(y, x)} "); println()
+  }
+
+  ////////////////////////////////////////////////////
+
+  testOld()
+  testNew()
+  testFiltering()
+}