From de8d17930091e5977b3639c8aa9b70ebc58a8370 Mon Sep 17 00:00:00 2001 From: Chris Hanson Date: Fri, 21 Oct 1988 22:18:46 +0000 Subject: [PATCH] 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 | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/v7/src/runtime/unpars.scm b/v7/src/runtime/unpars.scm index e894efd92..7c7faca34 100644 --- a/v7/src/runtime/unpars.scm +++ b/v7/src/runtime/unpars.scm @@ -1,6 +1,6 @@ #| -*-Scheme-*- -$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/runtime/unpars.scm,v 14.6 1988/10/15 17:19:29 cph Exp $ +$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/runtime/unpars.scm,v 14.7 1988/10/21 22:18:46 cph Exp $ Copyright (c) 1988 Massachusetts Institute of Technology @@ -272,7 +272,8 @@ MIT in each case. |# (*unparse-string (symbol->string symbol))) (define (unparse/character character) - (if *slashify?* + (if (or *slashify?* + (not (char-ascii? character))) (begin (*unparse-string "#\\") (*unparse-string (char->name character true))) (*unparse-char character))) -- 2.25.1