Support //> options directive in compilation tests

[Cherry-picked 7e2dd57][modified]

Author: Kordyjan

compiler/test/dotty/tools/utils.scala

@@ -80,13 +80,15 @@ def toolArgsFor(tool: ToolName)(lines: List[String]): List[String] =
 // scalac: arg1 arg2, with alternative opening, optional space, alt names, text that is not */ up to end.
 // groups are (name, args)
 private val toolArg = raw"(?://|/\*| \*) ?(?i:(${ToolName.values.mkString("|")})):((?:[^*]|\*(?!/))*)".r.unanchored
+private val directiveOptionsArg = raw"//> using options (.*)".r.unanchored
 
 // Inspect the lines for compiler options of the form
 // `// scalac: args`, `/* scalac: args`, ` * scalac: args`.
 // If args string ends in close comment, stop at the `*` `/`.
 // Returns all the matches by the regex.
 def toolArgsParse(lines: List[String]): List[(String,String)] =
-  lines.flatMap { case toolArg(name, args) => List((name, args)) case _ => Nil }
+  lines.flatMap { case toolArg(name, args) => List((name, args)) case _ => Nil } ++
+  lines.flatMap { case directiveOptionsArg(args) => List(("scalac", args)) case _ => Nil }
 
 import org.junit.Test
 import org.junit.Assert._

tests/explicit-nulls/neg-patmat/match-pat.scala

@@ -1,4 +1,4 @@
-// scalac: -Xfatal-warnings
+//> using options -Xfatal-warnings
 
 class Foo {
 

tests/explicit-nulls/pos/i14682.scala

@@ -1,4 +1,4 @@
-// scalac: -Ysafe-init
+//> using options -Ysafe-init
 
 class C1:
   sealed abstract class Name {

tests/explicit-nulls/pos/i14947.scala

@@ -1,4 +1,4 @@
-// scalac: -Ytest-pickler -Xprint-types
+//> using options -Ytest-pickler -Xprint-types
 
 class B:
   def g: String | Null = ???

tests/explicit-nulls/pos/match-pat.scala

@@ -1,4 +1,4 @@
-// scalac: -Xfatal-warnings
+//> using options -Xfatal-warnings
 
 // Ensure we don't get "the type test for argType cannot be checked at runtime" warning
 

tests/explicit-nulls/pos/unsafe-match-null-pat.scala

@@ -1,4 +1,4 @@
-// scalac: -Xfatal-warnings
+//> using options -Xfatal-warnings
 
 import scala.language.unsafeNulls
 

tests/neg-custom-args/wildcards.scala

@@ -1,4 +1,4 @@
-// scalac: -source future -deprecation -Xfatal-warnings
+//> using options -source future -deprecation -Xfatal-warnings
 
 object Test {
   val xs: List[_] = List(1, 2, 3)  // error

tests/neg-macros/i16355a.scala

@@ -1,4 +1,3 @@
-//> using scala "3.2.1"
 import scala.quoted.Expr
 import scala.quoted.Type
 import scala.quoted.quotes

tests/neg-macros/i9570.scala

@@ -1,4 +1,4 @@
-// scalac: -Xfatal-warnings
+//> using options -Xfatal-warnings
 
 import scala.quoted.*
 

tests/neg-macros/macro-deprecation.scala

@@ -1,4 +1,4 @@
-// scalac: -Xfatal-warnings -deprecation
+//> using options -Xfatal-warnings -deprecation
 
 import scala.quoted.*
 

tests/neg-macros/macro-experimental.scala

@@ -1,4 +1,4 @@
-// scalac: -Yno-experimental
+//> using options -Yno-experimental
 
 import scala.quoted.*
 import scala.annotation.experimental

tests/neg-scalajs/enumeration-warnings.scala

@@ -1,4 +1,4 @@
-// scalac: -Xfatal-warnings
+//> using options -Xfatal-warnings
 
 class UnableToTransformValue extends Enumeration {
   val a = {

tests/neg/14034.scala

@@ -1,4 +1,4 @@
-// scalac: -Yno-experimental
+//> using options -Yno-experimental
 
 import annotation.experimental
 

tests/neg/14034b.scala

@@ -1,4 +1,4 @@
-// scalac: -Xfatal-warnings -deprecation
+//> using options -Xfatal-warnings -deprecation
 
 @deprecated trait Exp
 @deprecated val exp = 1

tests/neg/15981.scala

@@ -1,4 +1,4 @@
-// scalac: -Werror
+//> using options -Werror
 val _ = locally{
   sealed abstract class PosInt(val value: Int) {
     override def equals(any: Any): Boolean = any.isInstanceOf[PosInt] // error

tests/neg/17284.scala

@@ -1,4 +1,4 @@
-// scalac: -Werror -explain
+//> using options -Werror -explain
 
 def test =
   451.synchronized {} // error

tests/neg/18031.scala

@@ -1,4 +1,4 @@
-// scalac: -source:future
+//> using options -source:future
 
 object A:
   val x, y, z = 0

tests/neg/IsInstanceOfClassTag.scala

@@ -1,4 +1,4 @@
-// scalac: -Xfatal-warnings
+//> using options -Xfatal-warnings
 
 import scala.reflect.ClassTag
 

tests/neg/IsInstanceOfClassTag2.scala

@@ -1,4 +1,4 @@
-// scalac: -Xfatal-warnings
+//> using options -Xfatal-warnings
 
 import scala.reflect.TypeTest
 

tests/neg/adhoc-extension/B.scala

@@ -1,4 +1,4 @@
-// scalac: -source future -feature -Xfatal-warnings
+//> using options -source future -feature -Xfatal-warnings
 
 package adhoc
 class B extends A  // error: adhoc-extension (under -strict -feature -Xfatal-warnings)

tests/neg/autoTuplingTestb.scala

@@ -1,4 +1,4 @@
-// scalac: -language:noAutoTupling
+//> using options -language:noAutoTupling
 
 object autoTupling {
 

tests/neg/avoid-warn-deprecation.scala

@@ -1,4 +1,4 @@
-// scalac: -Xfatal-warnings -feature
+//> using options -Xfatal-warnings -feature
 
 object A {
   @deprecated("use bar instead of this one", "0.2.3")

tests/neg/by-name.scala

@@ -1,4 +1,4 @@
-// scalac: -language:experimental.erasedDefinitions
+//> using options -language:experimental.erasedDefinitions
 
 def f(x: => Int, erased y: => Int) = x // error
 def g(erased x: => Int, y: => Int) = y // error

tests/neg/capt-wf.scala

@@ -1,4 +1,4 @@
-// scalac: -language:experimental.captureChecking -Xfatal-warnings
+//> using options -language:experimental.captureChecking -Xfatal-warnings
 
 class C
 type Cap = C^

tests/neg/classtag-typetest/3_1-migration.scala

@@ -1,4 +1,4 @@
-// scalac: -Xfatal-warnings
+//> using options -Xfatal-warnings
 
 import scala.language.`future-migration`
 import scala.reflect.ClassTag

tests/neg/classtag-typetest/3_1.scala

@@ -1,4 +1,4 @@
-// scalac: -Xfatal-warnings
+//> using options -Xfatal-warnings
 
 import scala.language.future
 import scala.reflect.ClassTag

tests/neg/constructor-proxy-shadowing.scala

@@ -1,4 +1,4 @@
-// scalac: -explain
+//> using options -explain
 
 object Test extends App {
   def A22(s: String): String = s

tests/neg/convertible.scala

@@ -1,4 +1,4 @@
-// scalac: -Xfatal-warnings -feature
+//> using options -Xfatal-warnings -feature
 
 import language.experimental.into
 

tests/neg/deptypes.scala

@@ -1,4 +1,4 @@
-// scalac: -language:experimental.dependent
+//> using options -language:experimental.dependent
 
 type Vec[T] = (n: Int) =>> Array[T] // error: not yet implemented
 

tests/neg/enum-variance.scala

@@ -1,4 +1,4 @@
-// scalac: -Xfatal-warnings
+//> using options -Xfatal-warnings
 
 enum View[-T]:
   case Refl(f: T => T) // error: enum case Refl requires explicit declaration of type T

tests/neg/erased-1.scala

@@ -1,4 +1,4 @@
-// scalac: -language:experimental.erasedDefinitions
+//> using options -language:experimental.erasedDefinitions
 
 object Test {
   def foo0(a: Int): Int = a

tests/neg/erased-2.scala

@@ -1,4 +1,4 @@
-// scalac: -language:experimental.erasedDefinitions
+//> using options -language:experimental.erasedDefinitions
 
 object Test {
   def foo0(a: Int): Int = a

tests/neg/erased-24.scala

@@ -1,4 +1,4 @@
-// scalac: -language:experimental.erasedDefinitions
+//> using options -language:experimental.erasedDefinitions
 
 // Could become a run test if we had totality checking for erased arguments
 

tests/neg/erased-3.scala

@@ -1,4 +1,4 @@
-// scalac: -language:experimental.erasedDefinitions
+//> using options -language:experimental.erasedDefinitions
 
 object Test {
   def foo0(a: Int): Int = a

tests/neg/erased-4.scala

@@ -1,4 +1,4 @@
-// scalac: -language:experimental.erasedDefinitions
+//> using options -language:experimental.erasedDefinitions
 
 object Test {
 

tests/neg/erased-5.scala

@@ -1,4 +1,4 @@
-// scalac: -language:experimental.erasedDefinitions
+//> using options -language:experimental.erasedDefinitions
 
 object Test {
 

tests/neg/erased-6.scala

@@ -1,4 +1,4 @@
-// scalac: -language:experimental.erasedDefinitions
+//> using options -language:experimental.erasedDefinitions
 
 object Test {
   erased def foo: Foo = new Foo

tests/neg/erased-args-lifted.scala

@@ -1,4 +1,4 @@
-// scalac: -language:experimental.erasedDefinitions
+//> using options -language:experimental.erasedDefinitions
 
 object Test {
   def foo(a: Int)(b: Int, c: Int) = 42

tests/neg/erased-assign.scala

@@ -1,4 +1,4 @@
-// scalac: -language:experimental.erasedDefinitions
+//> using options -language:experimental.erasedDefinitions
 
 object Test {
   var i: Int = 1

tests/neg/erased-case-class.scala

@@ -1,3 +1,3 @@
-// scalac: -language:experimental.erasedDefinitions
+//> using options -language:experimental.erasedDefinitions
 
 case class Foo1(erased x: Int) // error // error

tests/neg/erased-def-rhs.scala

@@ -1,4 +1,4 @@
-// scalac: -language:experimental.erasedDefinitions
+//> using options -language:experimental.erasedDefinitions
 
 object Test {
   def f(erased i: Int) = {

tests/neg/erased-if-else.scala

@@ -1,4 +1,4 @@
-// scalac: -language:experimental.erasedDefinitions
+//> using options -language:experimental.erasedDefinitions
 
 object Test {
   var b = true

tests/neg/erased-implicit.scala

@@ -1,4 +1,4 @@
-// scalac: -language:experimental.erasedDefinitions
+//> using options -language:experimental.erasedDefinitions
 
 object Test {
 

tests/neg/erased-in-tuples.scala

@@ -1,4 +1,4 @@
-// scalac: -language:experimental.erasedDefinitions
+//> using options -language:experimental.erasedDefinitions
 
 @main def Test() =
   val x = 5

tests/neg/erased-lazy-val.scala

@@ -1,4 +1,4 @@
-// scalac: -language:experimental.erasedDefinitions
+//> using options -language:experimental.erasedDefinitions
 
 object Test {
   erased lazy val i: Int = 1 // error

tests/neg/erased-machine-state-encoding-with-inline.scala

@@ -1,4 +1,4 @@
-// scalac: -language:experimental.erasedDefinitions
+//> using options -language:experimental.erasedDefinitions
 
 import scala.compiletime.*
 

tests/neg/erased-match.scala

@@ -1,4 +1,4 @@
-// scalac: -language:experimental.erasedDefinitions
+//> using options -language:experimental.erasedDefinitions
 
 object Test {
   var b = true

tests/neg/erased-object.scala

@@ -1,3 +1,3 @@
-// scalac: -language:experimental.erasedDefinitions
+//> using options -language:experimental.erasedDefinitions
 
 erased object Test // error

tests/neg/erased-path.scala

@@ -1,4 +1,4 @@
-// scalac: -language:experimental.erasedDefinitions
+//> using options -language:experimental.erasedDefinitions
 
 trait Sys { type X }
 

tests/neg/erased-pathdep-1.scala

@@ -1,4 +1,4 @@
-// scalac: -language:experimental.erasedDefinitions
+//> using options -language:experimental.erasedDefinitions
 
 // Could become a neg test if we had totality checking for erased arguments
 

tests/neg/erased-pathdep-2.scala

@@ -1,4 +1,4 @@
-// scalac: -language:experimental.erasedDefinitions
+//> using options -language:experimental.erasedDefinitions
 
 // Could become a neg test if we had totality checking for erased arguments
 

tests/neg/erased-return.scala

@@ -1,4 +1,4 @@
-// scalac: -language:experimental.erasedDefinitions
+//> using options -language:experimental.erasedDefinitions
 
 object Test {
   var b = true

tests/neg/erased-singleton.scala

@@ -1,4 +1,4 @@
-// scalac: -language:experimental.erasedDefinitions
+//> using options -language:experimental.erasedDefinitions
 
 trait Sys
 

tests/neg/erased-try.scala

@@ -1,4 +1,4 @@
-// scalac: -language:experimental.erasedDefinitions
+//> using options -language:experimental.erasedDefinitions
 
 object Test {
   def foo(erased a: Int): Int = {

tests/neg/erased-type.scala

@@ -1,4 +1,4 @@
-// scalac: -language:experimental.erasedDefinitions
+//> using options -language:experimental.erasedDefinitions
 
 class Test {
   erased type T // error

tests/neg/erased-val-rhs.scala

@@ -1,4 +1,4 @@
-// scalac: -language:experimental.erasedDefinitions
+//> using options -language:experimental.erasedDefinitions
 
 object Test {
   def f(erased i: Int) = {

tests/neg/erased-value-class.scala

@@ -1,4 +1,4 @@
-// scalac: -language:experimental.erasedDefinitions
+//> using options -language:experimental.erasedDefinitions
 
 class Foo(erased x: Int) extends AnyVal // error
 

tests/neg/erased-var.scala

@@ -1,4 +1,4 @@
-// scalac: -language:experimental.erasedDefinitions
+//> using options -language:experimental.erasedDefinitions
 
 object Test {
   erased var i: Int = 1 // error

tests/neg/erasedValueb.scala

@@ -1,4 +1,4 @@
-// scalac: -language:experimental.erasedDefinitions
+//> using options -language:experimental.erasedDefinitions
 
 import scala.compiletime.erasedValue
 object Test {

tests/neg/experimental-2.scala

@@ -1,4 +1,4 @@
-// scalac: -Yno-experimental
+//> using options -Yno-experimental
 
 class Test7 {
   import scala.language.experimental

tests/neg/experimental-erased.scala

@@ -1,4 +1,4 @@
-// scalac: -Yno-experimental
+//> using options -Yno-experimental
 
 import language.experimental.erasedDefinitions
 import annotation.experimental

tests/neg/experimental-imports.scala

@@ -1,4 +1,4 @@
-// scalac: -Yno-experimental
+//> using options -Yno-experimental
 
 import annotation.experimental
 

tests/neg/experimental-nested-imports-2.scala

@@ -1,4 +1,4 @@
-// scalac: -Yno-experimental
+//> using options -Yno-experimental
 
 import annotation.experimental
 

tests/neg/experimental-nested-imports-3.scala

@@ -1,4 +1,4 @@
-// scalac: -Yno-experimental
+//> using options -Yno-experimental
 
 import annotation.experimental
 

tests/neg/experimental-nested-imports.scala

@@ -1,4 +1,4 @@
-// scalac: -Yno-experimental
+//> using options -Yno-experimental
 
 import annotation.experimental