Fix bug: characters with bucky bits not printing right.
authorChris Hanson <org/chris-hanson/cph>
Wed, 9 Jan 2019 07:45:31 +0000 (23:45 -0800)
committerChris Hanson <org/chris-hanson/cph>
Wed, 9 Jan 2019 07:45:59 +0000 (23:45 -0800)
src/runtime/printer.scm

index 0f7f2f72af89f503679b43549f063c6c3b502ee3..90af02c6196f8ece00d7dfe584432a792976f70b 100644 (file)
@@ -626,7 +626,8 @@ USA.
         (*print-string (number->string (char->integer char) 16) context))
        ((context-slashify? context)
         (*print-string "#\\" context)
-        (if (and (char-in-set? char char-set:normal-printing)
+        (if (and (fix:= 0 (char-bits char))
+                 (char-in-set? char char-set:normal-printing)
                  (not (eq? 'separator:space (char-general-category char)))
                  (allowed-char? char context))
             (*print-char char context)