Hide REPL wrapper prefix in more cases to not over-load users cognitively with internal details #17839
bjornregnell
started this conversation in
Feature Requests
Replies: 0 comments 2 replies
-
The (rudimentary) code for stripping that name from the rendered output can be found here (as pointed out by @griggt): https://github.com/lampepfl/dotty/blob/46d0b05917959ebc3609ffae6dd1a2366b5efeff/compiler/src/dotty/tools/repl/Rendering.scala#L122-L123 |
Beta Was this translation helpful? Give feedback.
0 replies
-
Related ticket scala/bug#6623 |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
It would be nice if the rs$line$$ prefix below is hidden, as it is an implementation detail of the REPL:
Scala 3.0.0:
Scala 2.13.6:
See also discussion here: https://gitter.im/scala/contributors?at=60e5e86c110daa37b127ffe5
Beta Was this translation helpful? Give feedback.
All reactions