printer: fix printing of symbols with non-ascii names

Bug was introduced in commit c6b4296bb8
in converting buffer_write_char from a macro to an inline
function. Problem reported by Vladimir Sedach on the ecl-devel mailing
list.
This commit is contained in:
Marius Gerbershagen 2020-05-06 21:03:18 +02:00
parent de2269c9e7
commit e72ef09e78

View file

@ -103,7 +103,7 @@ needs_to_be_escaped(cl_object s, cl_object readtable, cl_object print_case)
}
static inline void
buffer_write_char(char c, cl_object buffer, cl_object stream, cl_index *buffer_ndx, cl_index buffer_size) {
buffer_write_char(ecl_character c, cl_object buffer, cl_object stream, cl_index *buffer_ndx, cl_index buffer_size) {
ecl_char_set(buffer, (*buffer_ndx)++, c);
if (*buffer_ndx >= buffer_size) {
si_fill_pointer_set(buffer, ecl_make_fixnum(buffer_size));