Escape control characters in printed representation of symbols

[Alaric Snell-Pym]

#;2> (with-output-to-string (lambda () (write (string->symbol (string-append "5" "\x00")))))
"|5\x00|"

NB: That \x00 in the output is due to the string being escaped, not the control character in the symbol being escaped.

This problem is particularly painful when one outputs the symbol direct to the terminal, where the \x00 just disappears:

#;5> (write (string->symbol "5\x00"))
|5|#;6> 

...and one then spends ages tearing one's hair out as to what's wrong!

[felix winkelmann]

I have tried to improve this, please see commit 5f17e3fcac425156b26648b7f5ffed5aef0aa458 ("experimental") and close the ticket, if it works for you.

[felix winkelmann]

Please close the ticket, if the current solution works for you.

[Alaric Snell-Pym]

Much better, thanks!

[felix winkelmann]

Milestone 4.7.0 deleted

[felix winkelmann]

Milestone 4.8.0 deleted