Update compiler/src/dotty/tools/repl/Rendering.scala

bjornregnell · bishabosha · web-flow · commit e1b51e0d54a3 · 2021-07-06T12:33:01.000+02:00
Co-authored-by: Jamie Thompson &lt;bishbashboshjt@gmail.com&gt;
diff --git a/compiler/src/dotty/tools/repl/Rendering.scala b/compiler/src/dotty/tools/repl/Rendering.scala
@@ -34,7 +34,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 =
-      s"-- $diagnosticLevel:"
+      hl(diagnosticLevel)(s"-- $diagnosticLevel:")
   }
 
   private var myClassLoader: ClassLoader = _

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