Show file and line numbers at the beginning in stack trace

Author: liufengyun

compiler/src/dotty/tools/dotc/transform/init/Errors.scala

@@ -8,9 +8,10 @@ import ast.tpd._
 import core._
 import Decorators._, printing.SyntaxHighlighting
 import Types._, Symbols._, Contexts._
-import util.{ SimpleIdentityMap, SourcePosition }
+import util.{ SimpleIdentityMap, SourcePosition, NoSourcePosition }
 
 import reporting.MessageRendering
+import printing.Highlighting
 
 import Effects._, Potentials._
 
@@ -56,31 +57,33 @@ object Errors {
       val padding = pos.startColumnPadding + (" " * offset)
       val marker = padding + carets
       val textline = padding + msg
-      "\n" + marker + "\n" + textline
+      marker + "\n" + textline + "\n"
 
     def stacktrace(using Context): String = if (trace.isEmpty) "" else stacktracePrefix + {
       var indentCount = 0
-      var last: String = ""
+      var last: SourcePosition = NoSourcePosition
       val sb = new StringBuilder
       trace.foreach { tree =>
         indentCount += 1
         val pos = tree.sourcePos
-        val prefix = s"${ " " * indentCount }-> "
+        val prefix =  (" " * indentCount) + "-> "
+        var pinpoint = ""
         val line =
           if pos.source.exists then
-            val loc = "[ " + pos.source.file.name + ":" + (pos.line + 1) + " ]"
-            val code = SyntaxHighlighting.highlight(pos.lineContent.stripLineEnd)
-            val pinpoint =
-              if !pinpoints.contains(tree) then ""
-              else pinpointText(pos, pinpoints(tree), indentCount + 3)
+            val locText = "[ " + pos.source.file.name + ":" + (pos.line + 1) + " ]"
+            val loc = Highlighting.Blue(locText)
+            val code = SyntaxHighlighting.highlight(pos.lineContent)
+            if pinpoints.contains(tree) then
+              pinpoint = pinpointText(pos, pinpoints(tree), locText.length + prefix.length)
 
-            i"$code\t$loc" + pinpoint
+            i"$loc$prefix$code"
           else
             tree.show
 
-        if (last != line)  sb.append(prefix + line + "\n")
+        if (last.source != pos.source || last.line != pos.line)
+          sb.append(line + pinpoint)
 
-        last = line
+        last = pos
       }
       sb.toString
     }
@@ -161,7 +164,7 @@ object Errors {
 
     def show(using Context): String = {
       var index = 0
-      "Promoting the value to fully-initialized is unsafe.\n" + stacktrace +
+      "Promoting the value to fully-initialized is unsafe. " + stacktrace +
         "\nThe unsafe promotion may cause the following problem(s):\n" +
         (errors.flatMap(_.flatten).map { error =>
           index += 1

tests/init/neg/t3273.check

@@ -1,22 +1,20 @@
 -- Error: tests/init/neg/t3273.scala:4:42 ------------------------------------------------------------------------------
 4 |  val num1: LazyList[Int] = 1 #:: num1.map(_ + 1)                        // error
   |                                  ^^^^^^^^^^^^^^^
-  |             Promoting the value to fully-initialized is unsafe.
-  |              Calling trace (full):
-  |              -> val num1: LazyList[Int] = 1 #:: num1.map(_ + 1)                        // error	[ t3273.scala:4 ]
+  |            Promoting the value to fully-initialized is unsafe.  Calling trace (full):
+  |            [ t3273.scala:4 ] ->   val num1: LazyList[Int] = 1 #:: num1.map(_ + 1)                        // error
   |
-  |             The unsafe promotion may cause the following problem(s):
+  |            The unsafe promotion may cause the following problem(s):
   |
-  |             1. Access non-initialized value num1. Calling trace (full):
-  |              -> val num1: LazyList[Int] = 1 #:: num1.map(_ + 1)                        // error	[ t3273.scala:4 ]
+  |            1. Access non-initialized value num1. Calling trace (full):
+  |            [ t3273.scala:4 ] ->   val num1: LazyList[Int] = 1 #:: num1.map(_ + 1)                        // error
 -- Error: tests/init/neg/t3273.scala:5:61 ------------------------------------------------------------------------------
 5 |  val num2: LazyList[Int] = 1 #:: num2.iterator.map(_ + 1).to(LazyList)  // error
   |                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
-  |             Promoting the value to fully-initialized is unsafe.
-  |              Calling trace (full):
-  |              -> val num2: LazyList[Int] = 1 #:: num2.iterator.map(_ + 1).to(LazyList)  // error	[ t3273.scala:5 ]
+  |            Promoting the value to fully-initialized is unsafe.  Calling trace (full):
+  |            [ t3273.scala:5 ] ->   val num2: LazyList[Int] = 1 #:: num2.iterator.map(_ + 1).to(LazyList)  // error
   |
-  |             The unsafe promotion may cause the following problem(s):
+  |            The unsafe promotion may cause the following problem(s):
   |
-  |             1. Access non-initialized value num2. Calling trace (full):
-  |              -> val num2: LazyList[Int] = 1 #:: num2.iterator.map(_ + 1).to(LazyList)  // error	[ t3273.scala:5 ]
+  |            1. Access non-initialized value num2. Calling trace (full):
+  |            [ t3273.scala:5 ] ->   val num2: LazyList[Int] = 1 #:: num2.iterator.map(_ + 1).to(LazyList)  // error