Make printFresh a -Y option

scala · Feb 7, 2025 · 465c657 · 465c657
1 parent 0df1aaf
commit 465c657
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/compiler/src/dotty/tools/dotc/config/ScalaSettings.scala b/compiler/src/dotty/tools/dotc/config/ScalaSettings.scala
@@ -449,6 +449,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 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 */

diff --git a/compiler/src/dotty/tools/dotc/printing/PlainPrinter.scala b/compiler/src/dotty/tools/dotc/printing/PlainPrinter.scala
@@ -28,7 +28,7 @@ class PlainPrinter(_ctx: Context) extends Printer {
   protected def printDebug = ctx.settings.YprintDebug.value
 
   /** Print Fresh.Cap instances as <cap hiding ...> */
-  protected def printFreshDetailed = printDebug
+  protected def printFreshDetailed = ctx.settings.YccPrintFresh.value
 
   /** Print Fresh.Cap instances as "fresh" */
   protected def printFresh = printFreshDetailed || ctx.property(PrintFresh).isDefined