Use displayPrompt

Author: liufengyun

compiler/src/dotty/tools/dotc/ast/Positioned.scala

@@ -10,6 +10,9 @@ import core.Flags.{JavaDefined, Extension}
 import core.StdNames.nme
 import annotation.constructorOnly
 import annotation.internal.sharable
+import reporting.Reporter
+
+import java.io.{ PrintWriter }
 
 /** A base class for things that have positions (currently: modifiers and trees)
  */
@@ -24,7 +27,10 @@ abstract class Positioned(implicit @constructorOnly src: SourceFile) extends Pro
   def uniqueId: Int = myUniqueId
 
   def uniqueId_=(id: Int): Unit = {
-    if (Positioned.debugId == id) ???
+    if (Positioned.debugId == id) {
+      println(s"Debug tree (id=${Positioned.debugId}) creation \n$this\n")
+      Reporter.displayPrompt(Console.in, new PrintWriter(Console.err, true))
+    }
     myUniqueId = id
   }
 

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

@@ -25,7 +25,7 @@ class ConsoleReporter(
     val didPrint = m match {
       case m: Error =>
         printMessage(messageAndPos(m.contained(), m.pos, diagnosticLevel(m)))
-        if (ctx.settings.Xprompt.value) displayPrompt()
+        if (ctx.settings.Xprompt.value) Reporter.displayPrompt(reader, writer)
         true
       case m: ConditionalWarning if !m.enablingOption.value =>
         false
@@ -40,28 +40,5 @@ class ConsoleReporter(
       printMessage("\nlonger explanation available when compiling with `-explain`")
   }
 
-  /** Show prompt if `-Xprompt` is passed as a flag to the compiler */
-  def displayPrompt(): Unit = {
-    writer.println()
-    writer.print("a)bort, s)tack, r)esume: ")
-    writer.flush()
-    if (reader != null) {
-      def loop(): Unit = reader.read match {
-        case 'a' | 'A' =>
-          new Throwable().printStackTrace(writer)
-          System.exit(1)
-        case 's' | 'S' =>
-          new Throwable().printStackTrace(writer)
-          writer.println()
-          writer.flush()
-        case 'r' | 'R' =>
-          ()
-        case _ =>
-          loop()
-      }
-      loop()
-    }
-  }
-
   override def flush()(implicit ctx: Context): Unit = { writer.flush() }
 }

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

@@ -8,14 +8,17 @@ import core.Contexts._
 import util.{SourcePosition, NoSourcePosition}
 import core.Decorators.PhaseListDecorator
 import collection.mutable
-import java.lang.System.currentTimeMillis
 import core.Mode
 import dotty.tools.dotc.core.Symbols.{Symbol, NoSymbol}
 import diagnostic.messages._
 import diagnostic._
 import ast.{tpd, Trees}
 import Message._
 
+import java.lang.System.currentTimeMillis
+import java.io.{ BufferedReader, PrintWriter }
+
+
 object Reporter {
   /** Convert a SimpleReporter into a real Reporter */
   def fromSimpleReporter(simple: interfaces.SimpleReporter): Reporter =
@@ -37,6 +40,29 @@ object Reporter {
 
   private val defaultIncompleteHandler: ErrorHandler =
     (mc, ctx) => ctx.reporter.report(mc)(ctx)
+
+  /** Show prompt if `-Xprompt` is passed as a flag to the compiler */
+  def displayPrompt(reader: BufferedReader, writer: PrintWriter): Unit = {
+    writer.println()
+    writer.print("a)bort, s)tack, r)esume: ")
+    writer.flush()
+    if (reader != null) {
+      def loop(): Unit = reader.read match {
+        case 'a' | 'A' =>
+          new Throwable().printStackTrace(writer)
+          System.exit(1)
+        case 's' | 'S' =>
+          new Throwable().printStackTrace(writer)
+          writer.println()
+          writer.flush()
+        case 'r' | 'R' =>
+          ()
+        case _ =>
+          loop()
+      }
+      loop()
+    }
+  }
 }
 
 trait Reporting { this: Context =>