Rename -Ycc-print-fresh to -Ycc-verbose

Author: odersky

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

@@ -452,7 +452,7 @@ private sealed trait YSettings:
   val YccDebug: Setting[Boolean] = BooleanSetting(ForkSetting, "Ycc-debug", "Used in conjunction with captureChecking language import, debug info for captured references.")
   val YccNew: Setting[Boolean] = BooleanSetting(ForkSetting, "Ycc-new", "Used in conjunction with captureChecking language import, try out new variants (debug option)")
   val YccLog: Setting[Boolean] = BooleanSetting(ForkSetting, "Ycc-log", "Used in conjunction with captureChecking language import, print tracing and debug info")
-  val YccPrintFresh: Setting[Boolean] = BooleanSetting(ForkSetting, "Ycc-print-fresh", "Print hidden sets of fresh `cap` instances")
+  val YccVerbose: Setting[Boolean] = BooleanSetting(ForkSetting, "Ycc-verbose", "Print root capabilities with more details")
   val YccPrintSetup: Setting[Boolean] = BooleanSetting(ForkSetting, "Ycc-print-setup", "Used in conjunction with captureChecking language import, print trees after cc.Setup phase")
 
   /** Area-specific debug output */

compiler/src/dotty/tools/dotc/printing/PlainPrinter.scala

@@ -28,10 +28,10 @@ class PlainPrinter(_ctx: Context) extends Printer {
   protected def printDebug = ctx.settings.YprintDebug.value
 
   /** Print Fresh instances as <cap hiding ...> */
-  protected def printFreshDetailed = ctx.settings.YccPrintFresh.value
+  protected def ccVerbose = ctx.settings.YccVerbose.value
 
   /** Print Fresh instances as "fresh" */
-  protected def printFresh = printFreshDetailed || ctx.property(PrintFresh).isDefined
+  protected def printFresh = ccVerbose || ctx.property(PrintFresh).isDefined
 
   private var openRecs: List[RecType] = Nil
 
@@ -464,7 +464,7 @@ class PlainPrinter(_ctx: Context) extends Printer {
         vbleText ~ hashStr(binder) ~ Str(idStr).provided(showUniqueIds)
       case tp @ root.Fresh(hidden) =>
         val idStr = if showUniqueIds then s"#${tp.rootAnnot.id}" else ""
-        if printFreshDetailed then s"<cap$idStr hiding " ~ toTextCaptureSet(hidden) ~ ">"
+        if ccVerbose then s"<fresh$idStr hiding " ~ toTextCaptureSet(hidden) ~ ">"
         else if printFresh then "fresh"
         else "cap"
       case tp => toText(tp)