standardize on -Vprint:... (still support -Xprint:... as alias)

Author: SethTisue

compiler/src/dotty/tools/dotc/Run.scala

@@ -366,7 +366,7 @@ class Run(comp: Compiler, ictx: Context) extends ImplicitRunInfo with Constraint
             profiler.onPhase(phase):
               try units = phase.runOn(units)
               catch case _: InterruptedException => cancelInterrupted()
-            if (ctx.settings.Xprint.value.containsPhase(phase))
+            if (ctx.settings.Vprint.value.containsPhase(phase))
               for (unit <- units)
                 def printCtx(unit: CompilationUnit) = phase.printingContext(
                   ctx.fresh.setPhase(phase.next).setCompilationUnit(unit))

compiler/src/dotty/tools/dotc/config/CliCommand.scala

@@ -33,8 +33,8 @@ trait CliCommand:
     |<phases> means one or a comma-separated list of:
     |  - (partial) phase names with an optional "+" suffix to include the next phase
     |  - the string "all"
-    |  example: -Xprint:all prints all phases.
-    |  example: -Xprint:typer,mixin prints the typer and mixin phases.
+    |  example: -Vprint:all prints all phases.
+    |  example: -Vprint:typer,mixin prints the typer and mixin phases.
     |  example: -Ylog:erasure+ logs the erasure phase and the phase after the erasure phase.
     |           This is useful because during the tree transform of phase X, we often
     |           already are in phase X + 1.

compiler/src/dotty/tools/dotc/config/ScalaSettings.scala

@@ -145,7 +145,7 @@ private sealed trait PluginSettings:
 private sealed trait VerboseSettings:
   self: SettingGroup =>
   val Vhelp: Setting[Boolean] = BooleanSetting(VerboseSetting, "V", "Print a synopsis of verbose options.")
-  val Xprint: Setting[List[String]] = PhasesSetting(VerboseSetting, "Vprint", "Print out program after", aliases = List("-Xprint"))
+  val Vprint: Setting[List[String]] = PhasesSetting(VerboseSetting, "Xprint", "Print out program after", aliases = List("-Vprint"))
   val XshowPhases: Setting[Boolean] = BooleanSetting(VerboseSetting, "Vphases", "List compiler phases.", aliases = List("-Xshow-phases"))
 
   val Vprofile: Setting[Boolean] = BooleanSetting(VerboseSetting, "Vprofile", "Show metrics about sources and internal representations to estimate compile-time complexity.")

compiler/src/dotty/tools/dotc/core/Phases.scala

@@ -314,7 +314,7 @@ object Phases {
      *  instance, it is possible to print trees after a given phase using:
      *
      *  ```bash
-     *  $ ./bin/scalac -Xprint:<phaseNameHere> sourceFile.scala
+     *  $ ./bin/scalac -Vprint:<phaseNameHere> sourceFile.scala
      *  ```
      */
     def phaseName: String

compiler/src/dotty/tools/dotc/transform/Recheck.scala

@@ -184,10 +184,10 @@ abstract class Recheck extends Phase, SymTransformer:
 
     /** If true, remember the new types of nodes in this compilation unit
      *  as an attachment in the unit's tpdTree node. By default, this is
-     *  enabled when -Xprint:cc is set. Can be overridden.
+     *  enabled when -Vprint:cc is set. Can be overridden.
      */
     def keepNuTypes(using Context): Boolean =
-      ctx.settings.Xprint.value.containsPhase(thisPhase)
+      ctx.settings.Vprint.value.containsPhase(thisPhase)
 
     /** A map from NamedTypes to the denotations they had before this phase.
      *  Needed so that we can `reset` them after this phase.

compiler/test/dotty/tools/dotc/printing/PrintingTest.scala

@@ -27,7 +27,7 @@ class PrintingTest {
   def options(phase: String, flags: List[String]) =
     val outDir = ParallelTesting.defaultOutputDir + "printing" + File.pathSeparator
     File(outDir).mkdirs()
-    List(s"-Xprint:$phase", "-color:never", "-nowarn", "-d", outDir, "-classpath", TestConfiguration.basicClasspath) ::: flags
+    List(s"-Vprint:$phase", "-color:never", "-nowarn", "-d", outDir, "-classpath", TestConfiguration.basicClasspath) ::: flags
 
   private def compileFile(path: JPath, phase: String): Boolean = {
     val baseFilePath  = path.toString.stripSuffix(".scala")

compiler/test/dotty/tools/dotc/semanticdb/SemanticdbTests.scala

@@ -138,7 +138,7 @@ class SemanticdbTests:
       "-feature",
       "-deprecation",
       // "-Ydebug-flags",
-      // "-Xprint:extractSemanticDB",
+      // "-Vprint:extractSemanticDB",
       "-sourceroot", expectSrc.toString,
       "-classpath", target.toString,
       "-Xignore-scala2-macros",

compiler/test/dotty/tools/repl/ReplCompilerTests.scala

@@ -523,7 +523,7 @@ object ReplCompilerTests:
 
 end ReplCompilerTests
 
-class ReplXPrintTyperTests extends ReplTest(ReplTest.defaultOptions :+ "-Xprint:typer"):
+class ReplXPrintTyperTests extends ReplTest(ReplTest.defaultOptions :+ "-Vprint:typer"):
   @Test def i9111 = initially {
     run("""|enum E {
            |  case A

docs/_docs/contributing/debugging/ide-debugging.md

@@ -140,7 +140,7 @@ And concatenate the output into the classpath argument, which should already con
 
 In the `args` you can add any additional compiler option you want.
 
-For instance you can add `-Xprint:all` to print all the generated trees after each mega phase.
+For instance you can add `-Vprint:all` to print all the generated trees after each mega phase.
 
 Run `scalac -help` to get an overview of the available compiler options.
 

docs/_docs/contributing/debugging/inspection.md

@@ -61,9 +61,9 @@ Sometimes you may want to stop the compiler after a certain phase, for example t
 knock-on errors from occurring from a bug in an earlier phase. Use the flag
 `-Ystop-after:<phase-name>` to prevent any phases executing afterwards.
 
-> e.g. `-Xprint:<phase>` where `phase` is a miniphase, will print after
+> e.g. `-Vprint:<phase>` where `phase` is a miniphase, will print after
 > the whole phase group is complete, which may be several miniphases after `phase`.
-> Instead you can use `-Ystop-after:<phase> -Xprint:<phase>` to stop
+> Instead you can use `-Ystop-after:<phase> -Vprint:<phase>` to stop
 > immediately after the miniphase and see the trees that you intended.
 
 ## Printing TASTy of a Class