Merge pull request #10616 from som-snytt/issue/10615

bishabosha · web-flow · commit 5de93b83b901 · 2020-12-03T13:42:32.000+01:00
Do not re-highlight result of typeOf
diff --git a/compiler/src/dotty/tools/repl/ReplDriver.scala b/compiler/src/dotty/tools/repl/ReplDriver.scala
@@ -382,7 +382,7 @@ class ReplDriver(settings: Array[String],
         case _  =>
           compiler.typeOf(expr)(newRun(state)).fold(
             displayErrors,
-            res => out.println(SyntaxHighlighting.highlight(res)(using state.context))
+            res => out.println(res)  // result has some highlights
           )
       }
       state

Original file line number	Diff line number	Diff line change
`@@ -382,7 +382,7 @@ class ReplDriver(settings: Array[String],`
`382`	`382`	`case _ =>`
`383`	`383`	`compiler.typeOf(expr)(newRun(state)).fold(`
`384`	`384`	`displayErrors,`
`385`		`- res => out.println(SyntaxHighlighting.highlight(res)(using state.context))`
	`385`	`+ res => out.println(res) // result has some highlights`
`386`	`386`	`)`
`387`	`387`	`}`
`388`	`388`	`state`