REPL pretty-printed output does not distinguish between escape sequences and escaped escape sequences

[smarter]

These strings are different:

scala> "\n" 
val res0: String = "\n"
scala> "\\n" 
val res1: String = "\n"

[jendrikw]

I think this could be fixed by simply adding the backslash as a special case to be escaped in library/src/dotty/Show.scala for stringShow and charShow.

[Blaisorblade]

@jendrikw Makes sense, wanna try?
The duplication between stringShow and charShow can probably also be refactored using in stringShow

str.foreach { sb.append(c.show) }

[jendrikw]

I'll do it this weekend. Is there a reason this is not written as map and mkString?

[Blaisorblade]

That's from e4f7b38; I'm not sure whether unspecific fears about map performance are relevant, and I'm still hoping that inlining would fix any issue, but maybe @smarter knows? Or using CI's performance testing (by writing "test performance please", like for instance #4084 (comment)), could help being sure, but I'm not 100% sure how it works 😅

[smarter]

Dotty isn't going to inline anything compiled by Scala 2, including the standard library. Running our standard benchmarks won't help you here since we don't benchmark the REPL. In any case, I doubt this is going to make any perceivable difference in performance.

[Blaisorblade]

In any case, I doubt this is going to make any perceivable difference in performance.

That's what I hoped, thanks! So @jendrikw go ahead!