bug#15033: [PATCH] Fix display of symbols containing backslashes

2013-08-06 Thread David Kastrup
Symbols printed with `#{...#}' notation need to double backslashes when displaying as they serve as escape characters when reading. The behavior before this patch is clearly erroneous: GNU Guile 2.0.7 [...] scheme@(guile-user)> (string->symbol "\\(") $1 = #{\\x28;}# scheme@(guile-user)> (symbol->

bug#15033: [PATCH] Fix display of symbols containing backslashes

2013-08-06 Thread Mark H Weaver
David Kastrup writes: > Symbols printed with `#{...#}' notation need to double backslashes when > displaying as they serve as escape characters when reading. The > behavior before this patch is clearly erroneous: > > GNU Guile 2.0.7 > [...] > scheme@(guile-user)> (string->symbol "\\(") > $1 = #{