From 7b2ca80af79437d6f6d7c7ee0e72e6cec8d06291 Mon Sep 17 00:00:00 2001 From: Chris Hanson Date: Tue, 8 Jan 2019 23:45:31 -0800 Subject: [PATCH] Fix bug: characters with bucky bits not printing right. --- src/runtime/printer.scm | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/runtime/printer.scm b/src/runtime/printer.scm index 0f7f2f72a..90af02c61 100644 --- a/src/runtime/printer.scm +++ b/src/runtime/printer.scm @@ -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) -- 2.25.1