diff options
| author | Gerd Moellmann | 2000-09-01 11:55:39 +0000 |
|---|---|---|
| committer | Gerd Moellmann | 2000-09-01 11:55:39 +0000 |
| commit | 38404229887345de92c7ab0da85a5d0f7aaaf585 (patch) | |
| tree | bbe2d73a4c14832dc226fa35ae151d7caf77769c /src/lread.c | |
| parent | 05d07b49ef52f3a10e34680aed533387046a7ba8 (diff) | |
| download | emacs-38404229887345de92c7ab0da85a5d0f7aaaf585.tar.gz emacs-38404229887345de92c7ab0da85a5d0f7aaaf585.zip | |
(read1): Accept `?' as symbol constituent, for
compatiblity with XEmacs.
Diffstat (limited to 'src/lread.c')
| -rw-r--r-- | src/lread.c | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/src/lread.c b/src/lread.c index f29a5f4a45a..2e618633ae3 100644 --- a/src/lread.c +++ b/src/lread.c | |||
| @@ -2197,25 +2197,26 @@ read1 (readcharfun, pch, first_in_list) | |||
| 2197 | default_label: | 2197 | default_label: |
| 2198 | if (c <= 040) goto retry; | 2198 | if (c <= 040) goto retry; |
| 2199 | { | 2199 | { |
| 2200 | register char *p = read_buffer; | 2200 | char *p = read_buffer; |
| 2201 | int quoted = 0; | 2201 | int quoted = 0; |
| 2202 | 2202 | ||
| 2203 | { | 2203 | { |
| 2204 | register char *end = read_buffer + read_buffer_size; | 2204 | char *end = read_buffer + read_buffer_size; |
| 2205 | 2205 | ||
| 2206 | while (c > 040 | 2206 | while (c > 040 |
| 2207 | && !(c == '\"' || c == '\'' || c == ';' || c == '?' | 2207 | && !(c == '\"' || c == '\'' || c == ';' |
| 2208 | || c == '(' || c == ')' | 2208 | || c == '(' || c == ')' |
| 2209 | || c == '[' || c == ']' || c == '#' | 2209 | || c == '[' || c == ']' || c == '#')) |
| 2210 | )) | ||
| 2211 | { | 2210 | { |
| 2212 | if (end - p < MAX_MULTIBYTE_LENGTH) | 2211 | if (end - p < MAX_MULTIBYTE_LENGTH) |
| 2213 | { | 2212 | { |
| 2214 | register char *new = (char *) xrealloc (read_buffer, read_buffer_size *= 2); | 2213 | char *new = (char *) xrealloc (read_buffer, |
| 2214 | read_buffer_size *= 2); | ||
| 2215 | p += new - read_buffer; | 2215 | p += new - read_buffer; |
| 2216 | read_buffer += new - read_buffer; | 2216 | read_buffer += new - read_buffer; |
| 2217 | end = read_buffer + read_buffer_size; | 2217 | end = read_buffer + read_buffer_size; |
| 2218 | } | 2218 | } |
| 2219 | |||
| 2219 | if (c == '\\') | 2220 | if (c == '\\') |
| 2220 | { | 2221 | { |
| 2221 | c = READCHAR; | 2222 | c = READCHAR; |