added test for correct stack-trace from the hof argument

rssh · Oct 22, 2023 · 4348305 · 4348305
1 parent 95bf6a6
commit 4348305
Showing 1 changed file with 20 additions and 1 deletion.
diff --git a/jvm/src/test/scala/cpstest/stacktraceReporting/TestBasicStacktraceReporting.scala b/jvm/src/test/scala/cpstest/stacktraceReporting/TestBasicStacktraceReporting.scala
@@ -16,7 +16,6 @@ class TestBasicStacktraceReporting {
       throw new RuntimeException("test")
       x+y
     }
-    val endPos = SourcePos.current
 
     val r = c.run()
     assert(r.isFailure)
@@ -25,8 +24,28 @@ class TestBasicStacktraceReporting {
         //ex.printStackTrace()
         //println(s"startPos = ${startPos}")
         assert(ex.getStackTrace().exists(_.getLineNumber() == startPos.line + 4))
+      case  Success(e) =>
+        assert(false)
   }
 
+  @Test
+  def testStackTraceFromHOFunArg() = {
+    val startPos = SourcePos.current
+    val c = async[ComputationBound] {
+      val x = List(1,2,3).map{ x =>
+         if (x%2) == 1 then throw new RuntimeException("test") else x + await(T1.cbi(1))
+      }
+      x
+    }
+    val r = c.run()
+    r match
+      case Failure(ex) =>
+        //ex.printStackTrace()
+        //println(s"startPos = ${startPos}")
+        assert(ex.getStackTrace().exists(_.getLineNumber() == startPos.line + 3))
+      case Success(e) =>
+        assert(false)
 
+  }
 
 }