Standardize -rewrite advertisements and suppress them in REPL

Author: griggt

compiler/src/dotty/tools/dotc/parsing/Parsers.scala

@@ -359,13 +359,11 @@ object Parsers {
       recur(false, false)
     end statSepOrEnd
 
-    def rewriteNotice(version: String = "3.0", additionalOption: String = "") = {
-      val optionStr = if (additionalOption.isEmpty) "" else " " ++ additionalOption
-      i"\nThis construct can be rewritten automatically under$optionStr -rewrite -source $version-migration."
-    }
+    def rewriteNotice(version: SourceVersion = `3.0-migration`, additionalOption: String = "") =
+      Message.rewriteNotice("This construct", version, additionalOption)
 
     def syntaxVersionError(option: String, span: Span) =
-      syntaxError(em"""This construct is not allowed under $option.${rewriteNotice("3.0", option)}""", span)
+      syntaxError(em"""This construct is not allowed under $option.${rewriteNotice(`3.0-migration`, option)}""", span)
 
     def rewriteToNewSyntax(span: Span = Span(in.offset)): Boolean = {
       if (in.newSyntax) {
@@ -2084,7 +2082,7 @@ object Parsers {
           in.nextToken()
           if isVarargSplice then
             report.errorOrMigrationWarning(
-              em"The syntax `x: _*` is no longer supported for vararg splices; use `x*` instead${rewriteNotice("future")}",
+              em"The syntax `x: _*` is no longer supported for vararg splices; use `x*` instead${rewriteNotice(`future-migration`)}",
               in.sourcePos(uscoreStart),
               future)
             if sourceVersion == `future-migration` then
@@ -2160,7 +2158,7 @@ object Parsers {
         val t =
           if (in.token == COLON && location == Location.InBlock) {
             report.errorOrMigrationWarning(
-              s"This syntax is no longer supported; parameter needs to be enclosed in (...)${rewriteNotice("future")}",
+              s"This syntax is no longer supported; parameter needs to be enclosed in (...)${rewriteNotice(`future-migration`)}",
               source.atSpan(Span(start, in.lastOffset)),
               from = future)
             in.nextToken()
@@ -3186,7 +3184,7 @@ object Parsers {
       def wildcardSelector() =
         if in.token == USCORE && sourceVersion.isAtLeast(future) then
           report.errorOrMigrationWarning(
-            em"`_` is no longer supported for a wildcard import; use `*` instead${rewriteNotice("future")}",
+            em"`_` is no longer supported for a wildcard import; use `*` instead${rewriteNotice(`future-migration`)}",
             in.sourcePos(),
             from = future)
           patch(source, Span(in.offset, in.offset + 1), "*")
@@ -3205,7 +3203,7 @@ object Parsers {
         if in.token == ARROW || isIdent(nme.as) then
           if in.token == ARROW && sourceVersion.isAtLeast(future) then
             report.errorOrMigrationWarning(
-              em"The import renaming `a => b` is no longer supported ; use `a as b` instead${rewriteNotice("future")}",
+              em"The import renaming `a => b` is no longer supported ; use `a as b` instead${rewriteNotice(`future-migration`)}",
               in.sourcePos(),
               from = future)
             patch(source, Span(in.offset, in.offset + 2),

compiler/src/dotty/tools/dotc/reporting/Message.scala

@@ -2,6 +2,9 @@ package dotty.tools
 package dotc
 package reporting
 
+import core.Contexts.*, core.Decorators.*, core.Mode
+import config.SourceVersion
+
 import scala.language.unsafeNulls
 
 import scala.annotation.threadUnsafe
@@ -15,6 +18,16 @@ object Message {
     * see where old errors still exist
     */
   implicit def toNoExplanation(str: => String): Message = NoExplanation(str)
+
+  def rewriteNotice(what: String, version: SourceVersion | Null = null, options: String = "")(using Context): String =
+    if !ctx.mode.is(Mode.Interactive) then
+      val sourceStr = if version != null then i"-source $version" else ""
+      val optionStr =
+        if options.isEmpty then sourceStr
+        else if sourceStr.isEmpty then options
+        else i"$sourceStr $options"
+      i"\n$what can be rewritten automatically under -rewrite $optionStr."
+    else ""
 }
 
 /** A `Message` contains all semantic information necessary to easily

compiler/src/dotty/tools/dotc/typer/Checking.scala

@@ -806,10 +806,11 @@ trait Checking {
       val problem = if (pat.tpe <:< reportedPt) "is more specialized than" else "does not match"
       val fix = if (isPatDef) "adding `: @unchecked` after the expression" else "writing `case ` before the full pattern"
       val pos = if (isPatDef) sel.srcPos else pat.srcPos
+      def rewriteMsg = Message.rewriteNotice("This patch", `future-migration`)
       report.warning(
         ex"""pattern's type ${pat.tpe} $problem the right hand side expression's type $reportedPt
             |
-            |If the narrowing is intentional, this can be communicated by $fix.${err.rewriteNotice}""",
+            |If the narrowing is intentional, this can be communicated by $fix.$rewriteMsg""",
           pos)
       false
     }
@@ -963,10 +964,10 @@ trait Checking {
                 ("extractor", (n: Name) => s"prefix syntax $n(...)")
               else
                 ("method", (n: Name) => s"method syntax .$n(...)")
+            def rewriteMsg = Message.rewriteNotice("The latter", options = "-deprecation")
             report.deprecationWarning(
               i"""Alphanumeric $kind $name is not declared `infix`; it should not be used as infix operator.
-                 |The operation can be rewritten automatically to `$name` under -deprecation -rewrite.
-                 |Or rewrite to ${alternative(name)} manually.""",
+                 |Instead, use ${alternative(name)} or rewrite as `$name`.$rewriteMsg""",
               tree.op.srcPos)
             if (ctx.settings.deprecation.value) {
               patch(Span(tree.op.span.start, tree.op.span.start), "`")

compiler/src/dotty/tools/dotc/typer/ErrorReporting.scala

@@ -153,10 +153,6 @@ object ErrorReporting {
          |
          |The tests were made under $constraintText"""
 
-    def rewriteNotice: String =
-      if Feature.migrateTo3 then "\nThis patch can be inserted automatically under -rewrite."
-      else ""
-
     def whyFailedStr(fail: FailedExtension) =
       i"""    failed with
          |

compiler/src/dotty/tools/dotc/typer/Typer.scala

@@ -3452,10 +3452,10 @@ class Typer(@constructorOnly nestingLevel: Int = 0) extends Namer
           if sourceVersion == `future-migration` && isContextBoundParams && pt.args.nonEmpty
           then // Under future-migration, don't infer implicit arguments yet for parameters
                // coming from context bounds. Issue a warning instead and offer a patch.
+            def rewriteMsg = Message.rewriteNotice("This code", `future-migration`)
             report.migrationWarning(
               em"""Context bounds will map to context parameters.
-                  |A `using` clause is needed to pass explicit arguments to them.
-                  |This code can be rewritten automatically using -rewrite""", tree.srcPos)
+                  |A `using` clause is needed to pass explicit arguments to them.$rewriteMsg""", tree.srcPos)
             patch(Span(pt.args.head.span.start), "using ")
             tree
           else

compiler/test-resources/repl/rewrite-messages

@@ -0,0 +1,17 @@
+// scalac: -source:future-migration -deprecation -Werror
+scala> import scala.util._
+-- Error: ----------------------------------------------------------------------
+1 | import scala.util._
+  |                   ^
+  |         `_` is no longer supported for a wildcard import; use `*` instead
+
+scala> extension (x: Int) def foo(y: Int) = x + y
+def foo(x: Int)(y: Int): Int
+
+scala> 2 foo 4
+-- Error: ----------------------------------------------------------------------
+1 | 2 foo 4
+  |   ^^^
+  |Alphanumeric method foo is not declared `infix`; it should not be used as infix operator.
+  |Instead, use method syntax .foo(...) or rewrite as `foo`.
+1 error found

tests/neg/rewrite-messages.check

@@ -0,0 +1,11 @@
+-- Error: tests/neg/rewrite-messages.scala:3:18 ------------------------------------------------------------------------
+3 |import scala.util._  // error
+  |                  ^
+  |                  `_` is no longer supported for a wildcard import; use `*` instead
+  |                  This construct can be rewritten automatically under -rewrite -source future-migration.
+-- Error: tests/neg/rewrite-messages.scala:7:4 -------------------------------------------------------------------------
+7 |  2 foo 4  // error
+  |    ^^^
+  |    Alphanumeric method foo is not declared `infix`; it should not be used as infix operator.
+  |    Instead, use method syntax .foo(...) or rewrite as `foo`.
+  |    The latter can be rewritten automatically under -rewrite -deprecation.

tests/neg/rewrite-messages.scala

@@ -0,0 +1,8 @@
+// scalac: -source:future-migration -deprecation -Werror
+
+import scala.util._  // error
+
+object Test {
+  extension (x: Int) def foo(y: Int) = x + y
+  2 foo 4  // error
+}