add show diagnostics level in REPL warn | err

bjornregnell · bjornregnell · commit 4a280c588d8f · 2021-07-06T11:47:53.000+02:00
diff --git a/compiler/src/dotty/tools/repl/Rendering.scala b/compiler/src/dotty/tools/repl/Rendering.scala
@@ -33,7 +33,7 @@ private[repl] class Rendering(parentClassLoader: Option[ClassLoader] = None) {
 
   /** A `MessageRenderer` for the REPL without file positions */
   private val messageRenderer = new MessageRendering {
-    override def posStr(pos: SourcePosition, diagnosticLevel: String, message: Message)(using Context): String = ""
+    override def posStr(pos: SourcePosition, diagnosticLevel: String, message: Message)(using Context): String = s"-- $diagnosticLevel: "
   }
 
   private var myClassLoader: ClassLoader = _

Original file line number	Diff line number	Diff line change
`@@ -33,7 +33,7 @@ private[repl] class Rendering(parentClassLoader: Option[ClassLoader] = None) {`
`33`	`33`
`34`	`34`	/** A `MessageRenderer` for the REPL without file positions */
`35`	`35`	`private val messageRenderer = new MessageRendering {`
`36`		`- override def posStr(pos: SourcePosition, diagnosticLevel: String, message: Message)(using Context): String = ""`
	`36`	`+ override def posStr(pos: SourcePosition, diagnosticLevel: String, message: Message)(using Context): String = s"-- $diagnosticLevel: "`
`37`	`37`	`}`
`38`	`38`
`39`	`39`	`private var myClassLoader: ClassLoader = _`