From ce8cc86adf578c1a782f3489247213716170d9db Mon Sep 17 00:00:00 2001 From: Chris Hanson Date: Tue, 14 Feb 2017 22:15:08 -0800 Subject: [PATCH] Always use names for separator:space characters. --- src/runtime/unpars.scm | 1 + 1 file changed, 1 insertion(+) diff --git a/src/runtime/unpars.scm b/src/runtime/unpars.scm index 04718f69b..90fc2035d 100644 --- a/src/runtime/unpars.scm +++ b/src/runtime/unpars.scm @@ -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))) -- 2.25.1