Graphic characters are their own names.

This commit is contained in:
Juan Jose Garcia Ripoll 2009-01-11 00:49:46 +01:00
parent 63f1b0313e
commit 0293501b95

View file

@ -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);