Add more evaluation tests

Author: adpi2

compiler/test/dotty/tools/debug/DebugTests.scala

@@ -15,8 +15,8 @@ class DebugTests:
   import DebugTests.*
   @Test def debug: Unit =
     implicit val testGroup: TestGroup = TestGroup("debug")
-    // compileFile("tests/debug/eval-private-members-in-parent.scala", TestConfiguration.defaultOptions).checkDebug()
-    compileFilesInDir("tests/debug", TestConfiguration.defaultOptions).checkDebug()
+    compileFile("tests/debug/eval-enum.scala", TestConfiguration.defaultOptions).checkDebug()
+    // compileFilesInDir("tests/debug", TestConfiguration.defaultOptions).checkDebug()
 
 object DebugTests extends ParallelTesting:
   def maxDuration =

tests/debug/eval-at-default-arg.check

@@ -0,0 +1,3 @@
+break Test$ 6
+eval x + 1
+result 4

tests/debug/eval-at-default-arg.scala

@@ -0,0 +1,8 @@
+object Test:
+  def main(args: Array[String]): Unit =
+    foo(3)()
+
+  def foo(x: Int)(
+    y: Int = x + 1
+  ): Unit =
+    println("foo")

tests/debug/eval-by-name.check

@@ -0,0 +1,33 @@
+break Test$ 11
+eval x
+result foo
+eval m
+result foofoo
+eval A().m
+result fo
+eval this.m("bar")
+result barbarba
+
+break Test$ 7
+eval x
+result foo
+eval m
+result foofoo
+eval A().m
+result fo
+
+break Test$A$1 10
+eval x
+result foo
+eval m
+result fo
+eval A().m
+result fo
+
+break A 14
+eval x
+result bar
+eval m
+result bar
+eval A("foo").m
+result foo

tests/debug/eval-by-name.scala

@@ -0,0 +1,14 @@
+object Test:
+  def main(args: Array[String]): Unit =
+    println(m("foo") + A("bar").m)
+
+  def m(x: => String): String =
+    def m: String =
+      x + x
+    class A:
+      def m: String =
+        x.take(2)
+    m + A().m
+
+class A(x: => String):
+  def m: String = x

tests/debug/eval-captures.check

@@ -0,0 +1,57 @@
+break A 26
+eval (new B).m
+result x1x2x3x4
+
+break A$B$1 22
+eval x1
+result x1
+eval m // local def m
+result x1x2x3x4
+eval (new B).m
+result x1x2x3x4
+eval A.this.m // compiles but throws NoSuchFieldException
+result java.lang.NoSuchFieldException: $outer
+
+break A$B$1 21
+eval x1
+result x1
+eval x2
+result x2
+eval m
+result x1x2x3x4
+eval (new C).m
+result x1x2x3x4
+eval (new B).m
+result x1x2x3x4
+
+break A$B$1$C$1 19
+eval x1
+result x1
+eval x2
+result x2
+eval x3
+result x3
+eval x4
+result x4
+eval m
+result x1x2x3x4
+eval (new C).m
+result x1x2x3x4
+eval (new B).m
+result x1x2x3x4
+
+break A$B$1$C$1 18
+eval x1
+result x1
+eval x2
+result x2
+eval x3
+result x3
+eval x4
+result x4
+eval m
+result x1x2x3x4
+eval (new C).m
+result x1x2x3x4
+eval (new B).m
+result x1x2x3x4

tests/debug/eval-captures.scala

@@ -0,0 +1,26 @@
+object Test:
+  def main(args: Array[String]): Unit =
+    val a = new A
+    println(a.m)
+
+class A:
+  def m: String =
+    val x1 = "x1"
+    class B:
+      def m: String =
+        val x2 = "x2"
+        def m: String =
+          val x3 = "x3"
+          class C:
+            def m: String =
+              val x4 = "x4"
+              def m: String =
+                x1 + x2 + x3 + x4
+              m
+          val c = new C
+          c.m
+        m
+      end m
+    end B
+    val b = new B
+    b.m

tests/debug/eval-encoding.check

@@ -0,0 +1,3 @@
+break Test$ 4
+eval | + new <> + &(":") + !
+result |<>&(:)!

tests/debug/eval-encoding.scala

@@ -0,0 +1,8 @@
+object Test:
+  def main(args: Array[String]): Unit =
+    val ! = "!"
+    println(| + new <> + &(":") + !)
+  private val | = "|"
+  private class <> :
+    override def toString: String = "<>"
+  private def &(`:`: String): String = s"&(${`:`})"

tests/debug/eval-enum.check

@@ -0,0 +1,18 @@
+break B$C 10 // B$C.<init>
+break Test$ 18
+eval A.A1.a
+result 1
+eval A.A2.a
+result 2
+
+break B 13
+eval C.C1.m
+result bb
+eval C.C2("bb").m
+result bbb
+
+break B$C 10
+eval C1.m
+result bb
+eval C2("bb").m
+result bbb