We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 038276d commit 179ca1eCopy full SHA for 179ca1e
compiler/src/dotty/tools/repl/Rendering.scala
@@ -64,7 +64,11 @@ private[repl] class Rendering(parentClassLoader: Option[ClassLoader] = None) {
64
myClassLoader
65
}
66
67
- /** Used to elide output in replStringOf. TODO: Implement setting scala.repl.maxprintstring as in Scala 2 */
+ /** Used to elide output in replStringOf.
68
+ * TODO: Perhaps implement setting scala.repl.maxprintstring as in Scala 2, but
69
+ * then this bug will surface, so perhaps better not?
70
+ * https://github.com/scala/bug/issues/12337
71
+ */
72
private[repl] def truncate(str: String): String =
73
if str.length > MaxStringElements then str.take(MaxStringElements - 3) + "..."
74
else str
0 commit comments