If slashification is turned off, it is still necessary to slashify
authorChris Hanson <org/chris-hanson/cph>
Fri, 21 Oct 1988 22:18:46 +0000 (22:18 +0000)
committerChris Hanson <org/chris-hanson/cph>
Fri, 21 Oct 1988 22:18:46 +0000 (22:18 +0000)
commitde8d17930091e5977b3639c8aa9b70ebc58a8370
tree9e966f35cafb574494057b0af392ebb54b0a2b1a
parent765aeb281e2301f88723e1876d2c4b813b10fdb9
If slashification is turned off, it is still necessary to slashify
non-ASCII characters because the output port probably won't have any
representation for them.
v7/src/runtime/unpars.scm