* src/lread.c (read1): Read `#:' as empty uninterned symbol if no

symbol character follows.

diff --git a/src/ChangeLog b/src/ChangeLog
index d12558e..10f4186 100644 (file)
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,8 @@
+2011-07-17  Andreas Schwab  <schwab@linux-m68k.org>
+
+       * lread.c (read1): Read `#:' as empty uninterned symbol if no
+       symbol character follows.
+
 2011-07-17  Paul Eggert  <eggert@cs.ucla.edu>
 
        * fileio.c (Fcopy_file): Pacify gcc re fchown.  (Bug#9002)

diff --git a/src/lread.c b/src/lread.c
index 7dd566d..bb0edd8 100644 (file)
--- a/src/lread.c
+++ b/src/lread.c
@@ -2660,7 +2660,18 @@ read1 (register Lisp_Object readcharfun, int *pch, int first_in_list)
        {
          uninterned_symbol = 1;
          c = READCHAR;
-         goto default_label;
+         if (!(c > 040
+               && c != 0x8a0
+               && (c >= 0200
+                   || !(strchr ("\"';()[]#`,", c)))))
+           {
+             /* No symbol character follows, this is the empty
+                symbol.  */
+             if (c >= 0)
+               UNREAD (c);
+             return Fmake_symbol (build_string (""));
+           }
+         goto read_symbol;
        }
       /* Reader forms that can reuse previously read objects.  */
       if (c >= '0' && c <= '9')
@@ -3002,6 +3013,8 @@ read1 (register Lisp_Object readcharfun, int *pch, int first_in_list)
       if (c <= 040) goto retry;
       if (c == 0x8a0) /* NBSP */
        goto retry;
+
+    read_symbol:
       {
        char *p = read_buffer;
        int quoted = 0;