Complicate tests

Author: Blaisorblade

tests/run/i4947a.check

@@ -1,12 +1,14 @@
+track (i = 0): Test$.main(i4947a.scala:4)
+track (i = 0): Test$.main(i4947a.scala:5)
 track (i = 2): Test$.main(i4947a.scala:4)
 track (i = 2): Test$.main(i4947a.scala:5)
-main1 (i = -1): Test$.main(i4947a.scala:20)
-main2 (i = -1): Test$.main(i4947a.scala:21)
+main1 (i = -1): Test$.main(i4947a.scala:21)
+main2 (i = -1): Test$.main(i4947a.scala:22)
 track (i = 1): Test$.main(i4947a.scala:4)
 track (i = 1): Test$.main(i4947a.scala:5)
-main1 (i = -1): Test$.main(i4947a.scala:20)
-main2 (i = -1): Test$.main(i4947a.scala:21)
+main1 (i = -1): Test$.main(i4947a.scala:21)
+main2 (i = -1): Test$.main(i4947a.scala:22)
 track (i = 0): Test$.main(i4947a.scala:4)
 track (i = 0): Test$.main(i4947a.scala:5)
-main1 (i = -1): Test$.main(i4947a.scala:20)
-main2 (i = -1): Test$.main(i4947a.scala:21)
+main1 (i = -1): Test$.main(i4947a.scala:21)
+main2 (i = -1): Test$.main(i4947a.scala:22)

tests/run/i4947a.scala

@@ -16,9 +16,11 @@ object Test {
   }
 
   def main(args: Array[String]): Unit = {
-    fact(2) {
-      printStack("main1", -1)
-      printStack("main2", -1)
+    fact(0) {
+      fact(2) {
+        printStack("main1", -1)
+        printStack("main2", -1)
+      }
     }
   }
 

tests/run/i4947b.check

@@ -2,3 +2,23 @@ track: Test$.main(Test_2.scala:3)
 track: Test$.main(Test_2.scala:3)
 main1: Test$.main(Test_2.scala:4)
 main2: Test$.main(Test_2.scala:5)
+track: Test$.main(Test_2.scala:7)
+track: Test$.main(Test_2.scala:7)
+track: Test$.main(Test_2.scala:8)
+track: Test$.main(Test_2.scala:8)
+main3: Test$.main(Test_2.scala:9)
+main4: Test$.main(Test_2.scala:10)
+track (i = 0): Test$.main(Test_2.scala:13)
+track (i = 0): Test$.main(Test_2.scala:13)
+track (i = 2): Test$.main(Test_2.scala:14)
+track (i = 2): Test$.main(Test_2.scala:14)
+main1 (i = -1): Test$.main(Test_2.scala:15)
+main2 (i = -1): Test$.main(Test_2.scala:16)
+track (i = 1): Test$.main(Test_2.scala:14)
+track (i = 1): Test$.main(Test_2.scala:14)
+main1 (i = -1): Test$.main(Test_2.scala:15)
+main2 (i = -1): Test$.main(Test_2.scala:16)
+track (i = 0): Test$.main(Test_2.scala:14)
+track (i = 0): Test$.main(Test_2.scala:14)
+main1 (i = -1): Test$.main(Test_2.scala:15)
+main2 (i = -1): Test$.main(Test_2.scala:16)

tests/run/i4947b/Lib_1.scala

@@ -7,4 +7,19 @@ object Lib {
   def printStack(tag: String): Unit = {
     println(tag + ": "+ new Exception().getStackTrace().apply(1))
   }
+
+  def printStack(tag: String, i: Int): Unit = {
+    println(s"$tag (i = $i): ${new Exception().getStackTrace().apply(1)}")
+  }
+
+  transparent def fact[T](transparent i: Int)(f: => T): Int = {
+    printStack("track", i)
+    printStack("track", i)
+    f
+    if (i == 0)
+      1
+    else {
+      i * fact(i-1)(f)
+    }
+  }
 }

tests/run/i4947b/Test_2.scala

@@ -4,6 +4,18 @@ object Test {
       Lib.printStack("main1")
       Lib.printStack("main2")
     }
+    Lib.track {
+      Lib.track {
+        Lib.printStack("main3")
+        Lib.printStack("main4")
+      }
+    }
+    Lib.fact(0) {
+      Lib.fact(2) {
+        Lib.printStack("main1", -1)
+        Lib.printStack("main2", -1)
+      }
+    }
   }
 
 }