Make skolems live forever...

... because there's no way to reload them in a new run.

1 files changed, 8 insertions, 5 deletions

diff --git a/test/test/CompilerTest.scala b/test/test/CompilerTest.scala
index 106020106..09112be2f 100644
--- a/test/test/CompilerTest.scala
+++ b/test/test/CompilerTest.scala
@@ -3,17 +3,20 @@ package test
 import scala.reflect.io._
 import org.junit.Test
 import scala.collection.mutable.ListBuffer
-import dotty.tools.dotc.Main
+import dotty.tools.dotc.{Main, Bench, Driver}
 import dotty.tools.dotc.reporting.Reporter
 
 class CompilerTest extends DottyTest {
 
   def defaultOptions: List[String] = Nil
 
-  def compileArgs(args: Array[String], xerrors: Int = 0): Unit = {
-    val nerrors = Main.process(args ++ defaultOptions).count(Reporter.ERROR.level)
-    assert(nerrors == xerrors, s"Wrong # of errors. Expected: $xerrors, found: $nerrors")
-  }
+  def compileArgs(args: Array[String], xerrors: Int = 0): Unit =
+    if (args.exists(_.startsWith("#")))
+      Bench.main(args ++ defaultOptions)
+    else {
+      val nerrors = Main.process(args ++ defaultOptions).count(Reporter.ERROR.level)
+      assert(nerrors == xerrors, s"Wrong # of errors. Expected: $xerrors, found: $nerrors")
+    }
 
   def compileLine(cmdLine: String, xerrors: Int = 0): Unit = compileArgs(cmdLine.split("\n"), xerrors)