Always use names for separator:space characters.
authorChris Hanson <org/chris-hanson/cph>
Wed, 15 Feb 2017 06:15:08 +0000 (22:15 -0800)
committerChris Hanson <org/chris-hanson/cph>
Wed, 15 Feb 2017 06:15:08 +0000 (22:15 -0800)
src/runtime/unpars.scm

index 04718f69bad924a0efae1a4f018a63df7f9ed0c8..90fc2035d80310cd7127e251664b3a483e98435d 100644 (file)
@@ -486,6 +486,7 @@ USA.
       (begin
         (*unparse-string "#\\" context)
        (if (and (char-in-set? char char-set:normal-printing)
+                 (not (eq? 'separator:space (char-general-category char)))
                 (allowed-char? char context))
            (*unparse-char char context)
            (*unparse-string (char->name char) context)))