From 0293501b9534fca77d19949138078c3396512027 Mon Sep 17 00:00:00 2001
From: Juan Jose Garcia Ripoll <jjgarcia@jjgr-2.local>
Date: Sun, 11 Jan 2009 00:49:46 +0100
Subject: [PATCH] Graphic characters are their own names.

---
 src/c/character.d | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/c/character.d b/src/c/character.d
index 11e5e8de6..817a621f2 100644
--- a/src/c/character.d
+++ b/src/c/character.d
@@ -454,7 +454,9 @@ cl_char_name(cl_object c)
 {
 	cl_index code = ecl_char_code(c);
 	cl_object output;
-	if (code > 127) {
+	if (ecl_graphic_char_p(code)) {
+		output = cl_string(c);
+	} else if (code > 127) {
 		char name[20]; /* cleanup */
 		sprintf(name, "U%04x", code);
 		output = make_base_string_copy(name);