clarified output: avoid costly operations on huge blobs;
authorwenzelm
Fri, 11 May 2018 20:05:37 +0200
changeset 68150 f0f34cbed539
parent 68149 9a4a6adb95b5
child 68151 3c321783bae3
clarified output: avoid costly operations on huge blobs;
src/Pure/General/bytes.scala
--- a/src/Pure/General/bytes.scala	Fri May 11 19:59:05 2018 +0200
+++ b/src/Pure/General/bytes.scala	Fri May 11 20:05:37 2018 +0200
@@ -156,11 +156,7 @@
     if (this == Bytes(s)) (false, s) else (true, base64)
   }
 
-  override def toString: String =
-  {
-    val str = text
-    if (str.contains('\uFFFD')) "Bytes(" + length + ")" else str
-  }
+  override def toString: String = "Bytes(" + length + ")"
 
   def isEmpty: Boolean = length == 0