1 /* Lisp parsing and input streams.
3 Copyright (C) 1985, 1986, 1987, 1988, 1989, 1993, 1994, 1995, 1997,
4 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008,
5 2009, 2010, 2011 Free Software Foundation, Inc.
7 This file is part of GNU Emacs.
9 GNU Emacs is free software: you can redistribute it and/or modify
10 it under the terms of the GNU General Public License as published by
11 the Free Software Foundation, either version 3 of the License, or
12 (at your option) any later version.
14 GNU Emacs is distributed in the hope that it will be useful,
15 but WITHOUT ANY WARRANTY; without even the implied warranty of
16 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17 GNU General Public License for more details.
19 You should have received a copy of the GNU General Public License
20 along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>. */
25 #include <sys/types.h>
31 #include "intervals.h"
33 #include "character.h"
40 #include "termhooks.h"
42 #include "blockinput.h"
53 #endif /* HAVE_SETLOCALE */
58 #define file_offset off_t
59 #define file_tell ftello
61 #define file_offset long
62 #define file_tell ftell
65 /* hash table read constants */
66 Lisp_Object Qhash_table
, Qdata
;
67 Lisp_Object Qtest
, Qsize
;
68 Lisp_Object Qweakness
;
69 Lisp_Object Qrehash_size
;
70 Lisp_Object Qrehash_threshold
;
72 Lisp_Object Qread_char
, Qget_file_char
, Qstandard_input
, Qcurrent_load_list
;
73 Lisp_Object Qvariable_documentation
, Vvalues
, Vstandard_input
, Vafter_load_alist
;
74 Lisp_Object Qascii_character
, Qload
, Qload_file_name
;
75 Lisp_Object Qbackquote
, Qcomma
, Qcomma_at
, Qcomma_dot
, Qfunction
;
76 Lisp_Object Qinhibit_file_name_operation
;
77 Lisp_Object Qeval_buffer_list
, Veval_buffer_list
;
78 Lisp_Object Qfile_truename
, Qdo_after_load_evaluation
; /* ACM 2006/5/16 */
80 /* Used instead of Qget_file_char while loading *.elc files compiled
81 by Emacs 21 or older. */
82 static Lisp_Object Qget_emacs_mule_file_char
;
84 static Lisp_Object Qload_force_doc_strings
;
86 /* non-zero if inside `load' */
88 static Lisp_Object Qload_in_progress
;
90 /* Directory in which the sources were found. */
91 Lisp_Object Vsource_directory
;
93 /* Search path and suffixes for files to be loaded. */
94 Lisp_Object Vload_path
, Vload_suffixes
, Vload_file_rep_suffixes
;
96 /* File name of user's init file. */
97 Lisp_Object Vuser_init_file
;
99 /* This is the user-visible association list that maps features to
100 lists of defs in their load files. */
101 Lisp_Object Vload_history
;
103 /* This is used to build the load history. */
104 Lisp_Object Vcurrent_load_list
;
106 /* List of files that were preloaded. */
107 Lisp_Object Vpreloaded_file_list
;
109 /* Name of file actually being read by `load'. */
110 Lisp_Object Vload_file_name
;
112 /* Function to use for reading, in `load' and friends. */
113 Lisp_Object Vload_read_function
;
115 /* Non-nil means read recursive structures using #n= and #n# syntax. */
116 Lisp_Object Vread_circle
;
118 /* The association list of objects read with the #n=object form.
119 Each member of the list has the form (n . object), and is used to
120 look up the object for the corresponding #n# construct.
121 It must be set to nil before all top-level calls to read0. */
122 Lisp_Object read_objects
;
124 /* Nonzero means load should forcibly load all dynamic doc strings. */
125 static int load_force_doc_strings
;
127 /* Nonzero means read should convert strings to unibyte. */
128 static int load_convert_to_unibyte
;
130 /* Nonzero means READCHAR should read bytes one by one (not character)
131 when READCHARFUN is Qget_file_char or Qget_emacs_mule_file_char.
132 This is set to 1 by read1 temporarily while handling #@NUMBER. */
133 static int load_each_byte
;
135 /* Function to use for loading an Emacs Lisp source file (not
136 compiled) instead of readevalloop. */
137 Lisp_Object Vload_source_file_function
;
139 /* List of all DEFVAR_BOOL variables. Used by the byte optimizer. */
140 Lisp_Object Vbyte_boolean_vars
;
142 /* Whether or not to add a `read-positions' property to symbols
144 Lisp_Object Vread_with_symbol_positions
;
146 /* List of (SYMBOL . POSITION) accumulated so far. */
147 Lisp_Object Vread_symbol_positions_list
;
149 /* List of descriptors now open for Fload. */
150 static Lisp_Object load_descriptor_list
;
152 /* File for get_file_char to read from. Use by load. */
153 static FILE *instream
;
155 /* When nonzero, read conses in pure space */
156 static int read_pure
;
158 /* For use within read-from-string (this reader is non-reentrant!!) */
159 static EMACS_INT read_from_string_index
;
160 static EMACS_INT read_from_string_index_byte
;
161 static EMACS_INT read_from_string_limit
;
163 /* Number of characters read in the current call to Fread or
164 Fread_from_string. */
165 static EMACS_INT readchar_count
;
167 /* This contains the last string skipped with #@. */
168 static char *saved_doc_string
;
169 /* Length of buffer allocated in saved_doc_string. */
170 static int saved_doc_string_size
;
171 /* Length of actual data in saved_doc_string. */
172 static int saved_doc_string_length
;
173 /* This is the file position that string came from. */
174 static file_offset saved_doc_string_position
;
176 /* This contains the previous string skipped with #@.
177 We copy it from saved_doc_string when a new string
178 is put in saved_doc_string. */
179 static char *prev_saved_doc_string
;
180 /* Length of buffer allocated in prev_saved_doc_string. */
181 static int prev_saved_doc_string_size
;
182 /* Length of actual data in prev_saved_doc_string. */
183 static int prev_saved_doc_string_length
;
184 /* This is the file position that string came from. */
185 static file_offset prev_saved_doc_string_position
;
187 /* Nonzero means inside a new-style backquote
188 with no surrounding parentheses.
189 Fread initializes this to zero, so we need not specbind it
190 or worry about what happens to it when there is an error. */
191 static int new_backquote_flag
;
192 static Lisp_Object Vold_style_backquotes
, Qold_style_backquotes
;
194 /* A list of file names for files being loaded in Fload. Used to
195 check for recursive loads. */
197 static Lisp_Object Vloads_in_progress
;
199 /* Non-zero means load dangerous compiled Lisp files. */
201 int load_dangerous_libraries
;
203 /* Non-zero means force printing messages when loading Lisp files. */
205 int force_load_messages
;
207 /* A regular expression used to detect files compiled with Emacs. */
209 static Lisp_Object Vbytecomp_version_regexp
;
211 static int read_emacs_mule_char (int, int (*) (int, Lisp_Object
),
214 static void readevalloop (Lisp_Object
, FILE*, Lisp_Object
,
215 Lisp_Object (*) (Lisp_Object
), int,
216 Lisp_Object
, Lisp_Object
,
217 Lisp_Object
, Lisp_Object
);
218 static Lisp_Object
load_unwind (Lisp_Object
);
219 static Lisp_Object
load_descriptor_unwind (Lisp_Object
);
221 static void invalid_syntax (const char *, int) NO_RETURN
;
222 static void end_of_file_error (void) NO_RETURN
;
225 /* Functions that read one byte from the current source READCHARFUN
226 or unreads one byte. If the integer argument C is -1, it returns
227 one read byte, or -1 when there's no more byte in the source. If C
228 is 0 or positive, it unreads C, and the return value is not
231 static int readbyte_for_lambda (int, Lisp_Object
);
232 static int readbyte_from_file (int, Lisp_Object
);
233 static int readbyte_from_string (int, Lisp_Object
);
235 /* Handle unreading and rereading of characters.
236 Write READCHAR to read a character,
237 UNREAD(c) to unread c to be read again.
239 These macros correctly read/unread multibyte characters. */
241 #define READCHAR readchar (readcharfun, NULL)
242 #define UNREAD(c) unreadchar (readcharfun, c)
244 /* Same as READCHAR but set *MULTIBYTE to the multibyteness of the source. */
245 #define READCHAR_REPORT_MULTIBYTE(multibyte) readchar (readcharfun, multibyte)
247 /* When READCHARFUN is Qget_file_char, Qget_emacs_mule_file_char,
248 Qlambda, or a cons, we use this to keep an unread character because
249 a file stream can't handle multibyte-char unreading. The value -1
250 means that there's no unread character. */
251 static int unread_char
;
254 readchar (Lisp_Object readcharfun
, int *multibyte
)
258 int (*readbyte
) (int, Lisp_Object
);
259 unsigned char buf
[MAX_MULTIBYTE_LENGTH
];
261 int emacs_mule_encoding
= 0;
268 if (BUFFERP (readcharfun
))
270 register struct buffer
*inbuffer
= XBUFFER (readcharfun
);
272 EMACS_INT pt_byte
= BUF_PT_BYTE (inbuffer
);
274 if (pt_byte
>= BUF_ZV_BYTE (inbuffer
))
277 if (! NILP (inbuffer
->enable_multibyte_characters
))
279 /* Fetch the character code from the buffer. */
280 unsigned char *p
= BUF_BYTE_ADDRESS (inbuffer
, pt_byte
);
281 BUF_INC_POS (inbuffer
, pt_byte
);
288 c
= BUF_FETCH_BYTE (inbuffer
, pt_byte
);
289 if (! ASCII_BYTE_P (c
))
290 c
= BYTE8_TO_CHAR (c
);
293 SET_BUF_PT_BOTH (inbuffer
, BUF_PT (inbuffer
) + 1, pt_byte
);
297 if (MARKERP (readcharfun
))
299 register struct buffer
*inbuffer
= XMARKER (readcharfun
)->buffer
;
301 EMACS_INT bytepos
= marker_byte_position (readcharfun
);
303 if (bytepos
>= BUF_ZV_BYTE (inbuffer
))
306 if (! NILP (inbuffer
->enable_multibyte_characters
))
308 /* Fetch the character code from the buffer. */
309 unsigned char *p
= BUF_BYTE_ADDRESS (inbuffer
, bytepos
);
310 BUF_INC_POS (inbuffer
, bytepos
);
317 c
= BUF_FETCH_BYTE (inbuffer
, bytepos
);
318 if (! ASCII_BYTE_P (c
))
319 c
= BYTE8_TO_CHAR (c
);
323 XMARKER (readcharfun
)->bytepos
= bytepos
;
324 XMARKER (readcharfun
)->charpos
++;
329 if (EQ (readcharfun
, Qlambda
))
331 readbyte
= readbyte_for_lambda
;
335 if (EQ (readcharfun
, Qget_file_char
))
337 readbyte
= readbyte_from_file
;
341 if (STRINGP (readcharfun
))
343 if (read_from_string_index
>= read_from_string_limit
)
345 else if (STRING_MULTIBYTE (readcharfun
))
349 FETCH_STRING_CHAR_ADVANCE_NO_CHECK (c
, readcharfun
,
350 read_from_string_index
,
351 read_from_string_index_byte
);
355 c
= SREF (readcharfun
, read_from_string_index_byte
);
356 read_from_string_index
++;
357 read_from_string_index_byte
++;
362 if (CONSP (readcharfun
))
364 /* This is the case that read_vector is reading from a unibyte
365 string that contains a byte sequence previously skipped
366 because of #@NUMBER. The car part of readcharfun is that
367 string, and the cdr part is a value of readcharfun given to
369 readbyte
= readbyte_from_string
;
370 if (EQ (XCDR (readcharfun
), Qget_emacs_mule_file_char
))
371 emacs_mule_encoding
= 1;
375 if (EQ (readcharfun
, Qget_emacs_mule_file_char
))
377 readbyte
= readbyte_from_file
;
378 emacs_mule_encoding
= 1;
382 tem
= call0 (readcharfun
);
389 if (unread_char
>= 0)
395 c
= (*readbyte
) (-1, readcharfun
);
396 if (c
< 0 || load_each_byte
)
400 if (ASCII_BYTE_P (c
))
402 if (emacs_mule_encoding
)
403 return read_emacs_mule_char (c
, readbyte
, readcharfun
);
406 len
= BYTES_BY_CHAR_HEAD (c
);
409 c
= (*readbyte
) (-1, readcharfun
);
410 if (c
< 0 || ! TRAILING_CODE_P (c
))
413 (*readbyte
) (buf
[i
], readcharfun
);
414 return BYTE8_TO_CHAR (buf
[0]);
418 return STRING_CHAR (buf
);
421 /* Unread the character C in the way appropriate for the stream READCHARFUN.
422 If the stream is a user function, call it with the char as argument. */
425 unreadchar (Lisp_Object readcharfun
, int c
)
429 /* Don't back up the pointer if we're unreading the end-of-input mark,
430 since readchar didn't advance it when we read it. */
432 else if (BUFFERP (readcharfun
))
434 struct buffer
*b
= XBUFFER (readcharfun
);
435 EMACS_INT bytepos
= BUF_PT_BYTE (b
);
438 if (! NILP (b
->enable_multibyte_characters
))
439 BUF_DEC_POS (b
, bytepos
);
443 BUF_PT_BYTE (b
) = bytepos
;
445 else if (MARKERP (readcharfun
))
447 struct buffer
*b
= XMARKER (readcharfun
)->buffer
;
448 EMACS_INT bytepos
= XMARKER (readcharfun
)->bytepos
;
450 XMARKER (readcharfun
)->charpos
--;
451 if (! NILP (b
->enable_multibyte_characters
))
452 BUF_DEC_POS (b
, bytepos
);
456 XMARKER (readcharfun
)->bytepos
= bytepos
;
458 else if (STRINGP (readcharfun
))
460 read_from_string_index
--;
461 read_from_string_index_byte
462 = string_char_to_byte (readcharfun
, read_from_string_index
);
464 else if (CONSP (readcharfun
))
468 else if (EQ (readcharfun
, Qlambda
))
472 else if (EQ (readcharfun
, Qget_file_char
)
473 || EQ (readcharfun
, Qget_emacs_mule_file_char
))
478 ungetc (c
, instream
);
485 call1 (readcharfun
, make_number (c
));
489 readbyte_for_lambda (int c
, Lisp_Object readcharfun
)
491 return read_bytecode_char (c
>= 0);
496 readbyte_from_file (int c
, Lisp_Object readcharfun
)
501 ungetc (c
, instream
);
510 /* Interrupted reads have been observed while reading over the network */
511 while (c
== EOF
&& ferror (instream
) && errno
== EINTR
)
523 return (c
== EOF
? -1 : c
);
527 readbyte_from_string (int c
, Lisp_Object readcharfun
)
529 Lisp_Object string
= XCAR (readcharfun
);
533 read_from_string_index
--;
534 read_from_string_index_byte
535 = string_char_to_byte (string
, read_from_string_index
);
538 if (read_from_string_index
>= read_from_string_limit
)
541 FETCH_STRING_CHAR_ADVANCE (c
, string
,
542 read_from_string_index
,
543 read_from_string_index_byte
);
548 /* Read one non-ASCII character from INSTREAM. The character is
549 encoded in `emacs-mule' and the first byte is already read in
553 read_emacs_mule_char (int c
, int (*readbyte
) (int, Lisp_Object
), Lisp_Object readcharfun
)
555 /* Emacs-mule coding uses at most 4-byte for one character. */
556 unsigned char buf
[4];
557 int len
= emacs_mule_bytes
[c
];
558 struct charset
*charset
;
563 /* C is not a valid leading-code of `emacs-mule'. */
564 return BYTE8_TO_CHAR (c
);
570 c
= (*readbyte
) (-1, readcharfun
);
574 (*readbyte
) (buf
[i
], readcharfun
);
575 return BYTE8_TO_CHAR (buf
[0]);
582 charset
= CHARSET_FROM_ID (emacs_mule_charset
[buf
[0]]);
583 code
= buf
[1] & 0x7F;
587 if (buf
[0] == EMACS_MULE_LEADING_CODE_PRIVATE_11
588 || buf
[0] == EMACS_MULE_LEADING_CODE_PRIVATE_12
)
590 charset
= CHARSET_FROM_ID (emacs_mule_charset
[buf
[1]]);
591 code
= buf
[2] & 0x7F;
595 charset
= CHARSET_FROM_ID (emacs_mule_charset
[buf
[0]]);
596 code
= ((buf
[1] << 8) | buf
[2]) & 0x7F7F;
601 charset
= CHARSET_FROM_ID (emacs_mule_charset
[buf
[1]]);
602 code
= ((buf
[2] << 8) | buf
[3]) & 0x7F7F;
604 c
= DECODE_CHAR (charset
, code
);
606 Fsignal (Qinvalid_read_syntax
,
607 Fcons (build_string ("invalid multibyte form"), Qnil
));
612 static Lisp_Object
read_internal_start (Lisp_Object
, Lisp_Object
,
614 static Lisp_Object
read0 (Lisp_Object
);
615 static Lisp_Object
read1 (Lisp_Object
, int *, int);
617 static Lisp_Object
read_list (int, Lisp_Object
);
618 static Lisp_Object
read_vector (Lisp_Object
, int);
620 static Lisp_Object
substitute_object_recurse (Lisp_Object
, Lisp_Object
,
622 static void substitute_object_in_subtree (Lisp_Object
,
624 static void substitute_in_interval (INTERVAL
, Lisp_Object
);
627 /* Get a character from the tty. */
629 /* Read input events until we get one that's acceptable for our purposes.
631 If NO_SWITCH_FRAME is non-zero, switch-frame events are stashed
632 until we get a character we like, and then stuffed into
635 If ASCII_REQUIRED is non-zero, we check function key events to see
636 if the unmodified version of the symbol has a Qascii_character
637 property, and use that character, if present.
639 If ERROR_NONASCII is non-zero, we signal an error if the input we
640 get isn't an ASCII character with modifiers. If it's zero but
641 ASCII_REQUIRED is non-zero, we just re-read until we get an ASCII
644 If INPUT_METHOD is nonzero, we invoke the current input method
645 if the character warrants that.
647 If SECONDS is a number, we wait that many seconds for input, and
648 return Qnil if no input arrives within that time. */
651 read_filtered_event (int no_switch_frame
, int ascii_required
,
652 int error_nonascii
, int input_method
, Lisp_Object seconds
)
654 Lisp_Object val
, delayed_switch_frame
;
657 #ifdef HAVE_WINDOW_SYSTEM
658 if (display_hourglass_p
)
662 delayed_switch_frame
= Qnil
;
664 /* Compute timeout. */
665 if (NUMBERP (seconds
))
667 EMACS_TIME wait_time
;
669 double duration
= extract_float (seconds
);
671 sec
= (int) duration
;
672 usec
= (duration
- sec
) * 1000000;
673 EMACS_GET_TIME (end_time
);
674 EMACS_SET_SECS_USECS (wait_time
, sec
, usec
);
675 EMACS_ADD_TIME (end_time
, end_time
, wait_time
);
678 /* Read until we get an acceptable event. */
681 val
= read_char (0, 0, 0, (input_method
? Qnil
: Qt
), 0,
682 NUMBERP (seconds
) ? &end_time
: NULL
);
683 while (INTEGERP (val
) && XINT (val
) == -2); /* wrong_kboard_jmpbuf */
688 /* switch-frame events are put off until after the next ASCII
689 character. This is better than signaling an error just because
690 the last characters were typed to a separate minibuffer frame,
691 for example. Eventually, some code which can deal with
692 switch-frame events will read it and process it. */
694 && EVENT_HAS_PARAMETERS (val
)
695 && EQ (EVENT_HEAD_KIND (EVENT_HEAD (val
)), Qswitch_frame
))
697 delayed_switch_frame
= val
;
701 if (ascii_required
&& !(NUMBERP (seconds
) && NILP (val
)))
703 /* Convert certain symbols to their ASCII equivalents. */
706 Lisp_Object tem
, tem1
;
707 tem
= Fget (val
, Qevent_symbol_element_mask
);
710 tem1
= Fget (Fcar (tem
), Qascii_character
);
711 /* Merge this symbol's modifier bits
712 with the ASCII equivalent of its basic code. */
714 XSETFASTINT (val
, XINT (tem1
) | XINT (Fcar (Fcdr (tem
))));
718 /* If we don't have a character now, deal with it appropriately. */
723 Vunread_command_events
= Fcons (val
, Qnil
);
724 error ("Non-character input-event");
731 if (! NILP (delayed_switch_frame
))
732 unread_switch_frame
= delayed_switch_frame
;
736 #ifdef HAVE_WINDOW_SYSTEM
737 if (display_hourglass_p
)
746 DEFUN ("read-char", Fread_char
, Sread_char
, 0, 3, 0,
747 doc
: /* Read a character from the command input (keyboard or macro).
748 It is returned as a number.
749 If the character has modifiers, they are resolved and reflected to the
750 character code if possible (e.g. C-SPC -> 0).
752 If the user generates an event which is not a character (i.e. a mouse
753 click or function key event), `read-char' signals an error. As an
754 exception, switch-frame events are put off until non-character events
756 If you want to read non-character events, or ignore them, call
757 `read-event' or `read-char-exclusive' instead.
759 If the optional argument PROMPT is non-nil, display that as a prompt.
760 If the optional argument INHERIT-INPUT-METHOD is non-nil and some
761 input method is turned on in the current buffer, that input method
762 is used for reading a character.
763 If the optional argument SECONDS is non-nil, it should be a number
764 specifying the maximum number of seconds to wait for input. If no
765 input arrives in that time, return nil. SECONDS may be a
766 floating-point value. */)
767 (Lisp_Object prompt
, Lisp_Object inherit_input_method
, Lisp_Object seconds
)
772 message_with_string ("%s", prompt
, 0);
773 val
= read_filtered_event (1, 1, 1, ! NILP (inherit_input_method
), seconds
);
775 return (NILP (val
) ? Qnil
776 : make_number (char_resolve_modifier_mask (XINT (val
))));
779 DEFUN ("read-event", Fread_event
, Sread_event
, 0, 3, 0,
780 doc
: /* Read an event object from the input stream.
781 If the optional argument PROMPT is non-nil, display that as a prompt.
782 If the optional argument INHERIT-INPUT-METHOD is non-nil and some
783 input method is turned on in the current buffer, that input method
784 is used for reading a character.
785 If the optional argument SECONDS is non-nil, it should be a number
786 specifying the maximum number of seconds to wait for input. If no
787 input arrives in that time, return nil. SECONDS may be a
788 floating-point value. */)
789 (Lisp_Object prompt
, Lisp_Object inherit_input_method
, Lisp_Object seconds
)
792 message_with_string ("%s", prompt
, 0);
793 return read_filtered_event (0, 0, 0, ! NILP (inherit_input_method
), seconds
);
796 DEFUN ("read-char-exclusive", Fread_char_exclusive
, Sread_char_exclusive
, 0, 3, 0,
797 doc
: /* Read a character from the command input (keyboard or macro).
798 It is returned as a number. Non-character events are ignored.
799 If the character has modifiers, they are resolved and reflected to the
800 character code if possible (e.g. C-SPC -> 0).
802 If the optional argument PROMPT is non-nil, display that as a prompt.
803 If the optional argument INHERIT-INPUT-METHOD is non-nil and some
804 input method is turned on in the current buffer, that input method
805 is used for reading a character.
806 If the optional argument SECONDS is non-nil, it should be a number
807 specifying the maximum number of seconds to wait for input. If no
808 input arrives in that time, return nil. SECONDS may be a
809 floating-point value. */)
810 (Lisp_Object prompt
, Lisp_Object inherit_input_method
, Lisp_Object seconds
)
815 message_with_string ("%s", prompt
, 0);
817 val
= read_filtered_event (1, 1, 0, ! NILP (inherit_input_method
), seconds
);
819 return (NILP (val
) ? Qnil
820 : make_number (char_resolve_modifier_mask (XINT (val
))));
823 DEFUN ("get-file-char", Fget_file_char
, Sget_file_char
, 0, 0, 0,
824 doc
: /* Don't use this yourself. */)
827 register Lisp_Object val
;
829 XSETINT (val
, getc (instream
));
836 /* Value is a version number of byte compiled code if the file
837 associated with file descriptor FD is a compiled Lisp file that's
838 safe to load. Only files compiled with Emacs are safe to load.
839 Files compiled with XEmacs can lead to a crash in Fbyte_code
840 because of an incompatible change in the byte compiler. */
843 safe_to_load_p (int fd
)
850 /* Read the first few bytes from the file, and look for a line
851 specifying the byte compiler version used. */
852 nbytes
= emacs_read (fd
, buf
, sizeof buf
- 1);
857 /* Skip to the next newline, skipping over the initial `ELC'
858 with NUL bytes following it, but note the version. */
859 for (i
= 0; i
< nbytes
&& buf
[i
] != '\n'; ++i
)
864 || fast_c_string_match_ignore_case (Vbytecomp_version_regexp
,
871 lseek (fd
, 0, SEEK_SET
);
876 /* Callback for record_unwind_protect. Restore the old load list OLD,
877 after loading a file successfully. */
880 record_load_unwind (Lisp_Object old
)
882 return Vloads_in_progress
= old
;
885 /* This handler function is used via internal_condition_case_1. */
888 load_error_handler (Lisp_Object data
)
894 load_warn_old_style_backquotes (Lisp_Object file
)
896 if (!NILP (Vold_style_backquotes
))
899 args
[0] = build_string ("Loading `%s': old-style backquotes detected!");
906 DEFUN ("get-load-suffixes", Fget_load_suffixes
, Sget_load_suffixes
, 0, 0, 0,
907 doc
: /* Return the suffixes that `load' should try if a suffix is \
909 This uses the variables `load-suffixes' and `load-file-rep-suffixes'. */)
912 Lisp_Object lst
= Qnil
, suffixes
= Vload_suffixes
, suffix
, ext
;
913 while (CONSP (suffixes
))
915 Lisp_Object exts
= Vload_file_rep_suffixes
;
916 suffix
= XCAR (suffixes
);
917 suffixes
= XCDR (suffixes
);
922 lst
= Fcons (concat2 (suffix
, ext
), lst
);
925 return Fnreverse (lst
);
928 DEFUN ("load", Fload
, Sload
, 1, 5, 0,
929 doc
: /* Execute a file of Lisp code named FILE.
930 First try FILE with `.elc' appended, then try with `.el',
931 then try FILE unmodified (the exact suffixes in the exact order are
932 determined by `load-suffixes'). Environment variable references in
933 FILE are replaced with their values by calling `substitute-in-file-name'.
934 This function searches the directories in `load-path'.
936 If optional second arg NOERROR is non-nil,
937 report no error if FILE doesn't exist.
938 Print messages at start and end of loading unless
939 optional third arg NOMESSAGE is non-nil (but `force-load-messages'
941 If optional fourth arg NOSUFFIX is non-nil, don't try adding
942 suffixes `.elc' or `.el' to the specified name FILE.
943 If optional fifth arg MUST-SUFFIX is non-nil, insist on
944 the suffix `.elc' or `.el'; don't accept just FILE unless
945 it ends in one of those suffixes or includes a directory name.
947 If this function fails to find a file, it may look for different
948 representations of that file before trying another file.
949 It does so by adding the non-empty suffixes in `load-file-rep-suffixes'
950 to the file name. Emacs uses this feature mainly to find compressed
951 versions of files when Auto Compression mode is enabled.
953 The exact suffixes that this function tries out, in the exact order,
954 are given by the value of the variable `load-file-rep-suffixes' if
955 NOSUFFIX is non-nil and by the return value of the function
956 `get-load-suffixes' if MUST-SUFFIX is non-nil. If both NOSUFFIX and
957 MUST-SUFFIX are nil, this function first tries out the latter suffixes
960 Loading a file records its definitions, and its `provide' and
961 `require' calls, in an element of `load-history' whose
962 car is the file name loaded. See `load-history'.
964 While the file is in the process of being loaded, the variable
965 `load-in-progress' is non-nil and the variable `load-file-name'
966 is bound to the file's name.
968 Return t if the file exists and loads successfully. */)
969 (Lisp_Object file
, Lisp_Object noerror
, Lisp_Object nomessage
, Lisp_Object nosuffix
, Lisp_Object must_suffix
)
971 register FILE *stream
;
972 register int fd
= -1;
973 int count
= SPECPDL_INDEX ();
974 struct gcpro gcpro1
, gcpro2
, gcpro3
;
975 Lisp_Object found
, efound
, hist_file_name
;
976 /* 1 means we printed the ".el is newer" message. */
978 /* 1 means we are loading a compiled file. */
982 const char *fmode
= "r";
992 /* If file name is magic, call the handler. */
993 /* This shouldn't be necessary any more now that `openp' handles it right.
994 handler = Ffind_file_name_handler (file, Qload);
996 return call5 (handler, Qload, file, noerror, nomessage, nosuffix); */
998 /* Do this after the handler to avoid
999 the need to gcpro noerror, nomessage and nosuffix.
1000 (Below here, we care only whether they are nil or not.)
1001 The presence of this call is the result of a historical accident:
1002 it used to be in every file-operation and when it got removed
1003 everywhere, it accidentally stayed here. Since then, enough people
1004 supposedly have things like (load "$PROJECT/foo.el") in their .emacs
1005 that it seemed risky to remove. */
1006 if (! NILP (noerror
))
1008 file
= internal_condition_case_1 (Fsubstitute_in_file_name
, file
,
1009 Qt
, load_error_handler
);
1014 file
= Fsubstitute_in_file_name (file
);
1017 /* Avoid weird lossage with null string as arg,
1018 since it would try to load a directory as a Lisp file */
1019 if (SCHARS (file
) > 0)
1021 int size
= SBYTES (file
);
1024 GCPRO2 (file
, found
);
1026 if (! NILP (must_suffix
))
1028 /* Don't insist on adding a suffix if FILE already ends with one. */
1030 && !strcmp (SDATA (file
) + size
- 3, ".el"))
1033 && !strcmp (SDATA (file
) + size
- 4, ".elc"))
1035 /* Don't insist on adding a suffix
1036 if the argument includes a directory name. */
1037 else if (! NILP (Ffile_name_directory (file
)))
1041 fd
= openp (Vload_path
, file
,
1042 (!NILP (nosuffix
) ? Qnil
1043 : !NILP (must_suffix
) ? Fget_load_suffixes ()
1044 : Fappend (2, (tmp
[0] = Fget_load_suffixes (),
1045 tmp
[1] = Vload_file_rep_suffixes
,
1054 xsignal2 (Qfile_error
, build_string ("Cannot open load file"), file
);
1058 /* Tell startup.el whether or not we found the user's init file. */
1059 if (EQ (Qt
, Vuser_init_file
))
1060 Vuser_init_file
= found
;
1062 /* If FD is -2, that means openp found a magic file. */
1065 if (NILP (Fequal (found
, file
)))
1066 /* If FOUND is a different file name from FILE,
1067 find its handler even if we have already inhibited
1068 the `load' operation on FILE. */
1069 handler
= Ffind_file_name_handler (found
, Qt
);
1071 handler
= Ffind_file_name_handler (found
, Qload
);
1072 if (! NILP (handler
))
1073 return call5 (handler
, Qload
, found
, noerror
, nomessage
, Qt
);
1076 /* Check if we're stuck in a recursive load cycle.
1078 2000-09-21: It's not possible to just check for the file loaded
1079 being a member of Vloads_in_progress. This fails because of the
1080 way the byte compiler currently works; `provide's are not
1081 evaluated, see font-lock.el/jit-lock.el as an example. This
1082 leads to a certain amount of ``normal'' recursion.
1084 Also, just loading a file recursively is not always an error in
1085 the general case; the second load may do something different. */
1089 for (tem
= Vloads_in_progress
; CONSP (tem
); tem
= XCDR (tem
))
1090 if (!NILP (Fequal (found
, XCAR (tem
))) && (++count
> 3))
1094 signal_error ("Recursive load", Fcons (found
, Vloads_in_progress
));
1096 record_unwind_protect (record_load_unwind
, Vloads_in_progress
);
1097 Vloads_in_progress
= Fcons (found
, Vloads_in_progress
);
1100 /* Get the name for load-history. */
1101 hist_file_name
= (! NILP (Vpurify_flag
)
1102 ? Fconcat (2, (tmp
[0] = Ffile_name_directory (file
),
1103 tmp
[1] = Ffile_name_nondirectory (found
),
1109 /* Check for the presence of old-style quotes and warn about them. */
1110 specbind (Qold_style_backquotes
, Qnil
);
1111 record_unwind_protect (load_warn_old_style_backquotes
, file
);
1113 if (!memcmp (SDATA (found
) + SBYTES (found
) - 4, ".elc", 4)
1114 || (fd
>= 0 && (version
= safe_to_load_p (fd
)) > 0))
1115 /* Load .elc files directly, but not when they are
1116 remote and have no handler! */
1123 GCPRO3 (file
, found
, hist_file_name
);
1126 && ! (version
= safe_to_load_p (fd
)))
1129 if (!load_dangerous_libraries
)
1133 error ("File `%s' was not compiled in Emacs",
1136 else if (!NILP (nomessage
) && !force_load_messages
)
1137 message_with_string ("File `%s' not compiled in Emacs", found
, 1);
1142 efound
= ENCODE_FILE (found
);
1147 stat ((char *)SDATA (efound
), &s1
);
1148 SSET (efound
, SBYTES (efound
) - 1, 0);
1149 result
= stat ((char *)SDATA (efound
), &s2
);
1150 SSET (efound
, SBYTES (efound
) - 1, 'c');
1152 if (result
>= 0 && (unsigned) s1
.st_mtime
< (unsigned) s2
.st_mtime
)
1154 /* Make the progress messages mention that source is newer. */
1157 /* If we won't print another message, mention this anyway. */
1158 if (!NILP (nomessage
) && !force_load_messages
)
1160 Lisp_Object msg_file
;
1161 msg_file
= Fsubstring (found
, make_number (0), make_number (-1));
1162 message_with_string ("Source file `%s' newer than byte-compiled file",
1171 /* We are loading a source file (*.el). */
1172 if (!NILP (Vload_source_file_function
))
1178 val
= call4 (Vload_source_file_function
, found
, hist_file_name
,
1179 NILP (noerror
) ? Qnil
: Qt
,
1180 (NILP (nomessage
) || force_load_messages
) ? Qnil
: Qt
);
1181 return unbind_to (count
, val
);
1185 GCPRO3 (file
, found
, hist_file_name
);
1189 efound
= ENCODE_FILE (found
);
1190 stream
= fopen ((char *) SDATA (efound
), fmode
);
1191 #else /* not WINDOWSNT */
1192 stream
= fdopen (fd
, fmode
);
1193 #endif /* not WINDOWSNT */
1197 error ("Failure to create stdio stream for %s", SDATA (file
));
1200 if (! NILP (Vpurify_flag
))
1201 Vpreloaded_file_list
= Fcons (Fpurecopy(file
), Vpreloaded_file_list
);
1203 if (NILP (nomessage
) || force_load_messages
)
1206 message_with_string ("Loading %s (compiled; note unsafe, not compiled in Emacs)...",
1209 message_with_string ("Loading %s (source)...", file
, 1);
1211 message_with_string ("Loading %s (compiled; note, source file is newer)...",
1213 else /* The typical case; compiled file newer than source file. */
1214 message_with_string ("Loading %s...", file
, 1);
1217 record_unwind_protect (load_unwind
, make_save_value (stream
, 0));
1218 record_unwind_protect (load_descriptor_unwind
, load_descriptor_list
);
1219 specbind (Qload_file_name
, found
);
1220 specbind (Qinhibit_file_name_operation
, Qnil
);
1221 load_descriptor_list
1222 = Fcons (make_number (fileno (stream
)), load_descriptor_list
);
1223 specbind (Qload_in_progress
, Qt
);
1224 if (! version
|| version
>= 22)
1225 readevalloop (Qget_file_char
, stream
, hist_file_name
,
1226 Feval
, 0, Qnil
, Qnil
, Qnil
, Qnil
);
1229 /* We can't handle a file which was compiled with
1230 byte-compile-dynamic by older version of Emacs. */
1231 specbind (Qload_force_doc_strings
, Qt
);
1232 readevalloop (Qget_emacs_mule_file_char
, stream
, hist_file_name
, Feval
,
1233 0, Qnil
, Qnil
, Qnil
, Qnil
);
1235 unbind_to (count
, Qnil
);
1237 /* Run any eval-after-load forms for this file */
1238 if (!NILP (Ffboundp (Qdo_after_load_evaluation
)))
1239 call1 (Qdo_after_load_evaluation
, hist_file_name
) ;
1243 xfree (saved_doc_string
);
1244 saved_doc_string
= 0;
1245 saved_doc_string_size
= 0;
1247 xfree (prev_saved_doc_string
);
1248 prev_saved_doc_string
= 0;
1249 prev_saved_doc_string_size
= 0;
1251 if (!noninteractive
&& (NILP (nomessage
) || force_load_messages
))
1254 message_with_string ("Loading %s (compiled; note unsafe, not compiled in Emacs)...done",
1257 message_with_string ("Loading %s (source)...done", file
, 1);
1259 message_with_string ("Loading %s (compiled; note, source file is newer)...done",
1261 else /* The typical case; compiled file newer than source file. */
1262 message_with_string ("Loading %s...done", file
, 1);
1269 load_unwind (Lisp_Object arg
) /* used as unwind-protect function in load */
1271 FILE *stream
= (FILE *) XSAVE_VALUE (arg
)->pointer
;
1282 load_descriptor_unwind (Lisp_Object oldlist
)
1284 load_descriptor_list
= oldlist
;
1288 /* Close all descriptors in use for Floads.
1289 This is used when starting a subprocess. */
1292 close_load_descs (void)
1296 for (tail
= load_descriptor_list
; CONSP (tail
); tail
= XCDR (tail
))
1297 emacs_close (XFASTINT (XCAR (tail
)));
1302 complete_filename_p (Lisp_Object pathname
)
1304 register const unsigned char *s
= SDATA (pathname
);
1305 return (IS_DIRECTORY_SEP (s
[0])
1306 || (SCHARS (pathname
) > 2
1307 && IS_DEVICE_SEP (s
[1]) && IS_DIRECTORY_SEP (s
[2])));
1310 DEFUN ("locate-file-internal", Flocate_file_internal
, Slocate_file_internal
, 2, 4, 0,
1311 doc
: /* Search for FILENAME through PATH.
1312 Returns the file's name in absolute form, or nil if not found.
1313 If SUFFIXES is non-nil, it should be a list of suffixes to append to
1314 file name when searching.
1315 If non-nil, PREDICATE is used instead of `file-readable-p'.
1316 PREDICATE can also be an integer to pass to the access(2) function,
1317 in which case file-name-handlers are ignored. */)
1318 (Lisp_Object filename
, Lisp_Object path
, Lisp_Object suffixes
, Lisp_Object predicate
)
1321 int fd
= openp (path
, filename
, suffixes
, &file
, predicate
);
1322 if (NILP (predicate
) && fd
> 0)
1328 /* Search for a file whose name is STR, looking in directories
1329 in the Lisp list PATH, and trying suffixes from SUFFIX.
1330 On success, returns a file descriptor. On failure, returns -1.
1332 SUFFIXES is a list of strings containing possible suffixes.
1333 The empty suffix is automatically added if the list is empty.
1335 PREDICATE non-nil means don't open the files,
1336 just look for one that satisfies the predicate. In this case,
1337 returns 1 on success. The predicate can be a lisp function or
1338 an integer to pass to `access' (in which case file-name-handlers
1341 If STOREPTR is nonzero, it points to a slot where the name of
1342 the file actually found should be stored as a Lisp string.
1343 nil is stored there on failure.
1345 If the file we find is remote, return -2
1346 but store the found remote file name in *STOREPTR. */
1349 openp (Lisp_Object path
, Lisp_Object str
, Lisp_Object suffixes
, Lisp_Object
*storeptr
, Lisp_Object predicate
)
1354 register char *fn
= buf
;
1357 Lisp_Object filename
;
1359 struct gcpro gcpro1
, gcpro2
, gcpro3
, gcpro4
, gcpro5
, gcpro6
;
1360 Lisp_Object string
, tail
, encoded_fn
;
1361 int max_suffix_len
= 0;
1365 for (tail
= suffixes
; CONSP (tail
); tail
= XCDR (tail
))
1367 CHECK_STRING_CAR (tail
);
1368 max_suffix_len
= max (max_suffix_len
,
1369 SBYTES (XCAR (tail
)));
1372 string
= filename
= encoded_fn
= Qnil
;
1373 GCPRO6 (str
, string
, filename
, path
, suffixes
, encoded_fn
);
1378 if (complete_filename_p (str
))
1381 for (; CONSP (path
); path
= XCDR (path
))
1383 filename
= Fexpand_file_name (str
, XCAR (path
));
1384 if (!complete_filename_p (filename
))
1385 /* If there are non-absolute elts in PATH (eg ".") */
1386 /* Of course, this could conceivably lose if luser sets
1387 default-directory to be something non-absolute... */
1389 filename
= Fexpand_file_name (filename
, current_buffer
->directory
);
1390 if (!complete_filename_p (filename
))
1391 /* Give up on this path element! */
1395 /* Calculate maximum size of any filename made from
1396 this path element/specified file name and any possible suffix. */
1397 want_size
= max_suffix_len
+ SBYTES (filename
) + 1;
1398 if (fn_size
< want_size
)
1399 fn
= (char *) alloca (fn_size
= 100 + want_size
);
1401 /* Loop over suffixes. */
1402 for (tail
= NILP (suffixes
) ? Fcons (empty_unibyte_string
, Qnil
) : suffixes
;
1403 CONSP (tail
); tail
= XCDR (tail
))
1405 int lsuffix
= SBYTES (XCAR (tail
));
1406 Lisp_Object handler
;
1409 /* Concatenate path element/specified name with the suffix.
1410 If the directory starts with /:, remove that. */
1411 if (SCHARS (filename
) > 2
1412 && SREF (filename
, 0) == '/'
1413 && SREF (filename
, 1) == ':')
1415 strncpy (fn
, SDATA (filename
) + 2,
1416 SBYTES (filename
) - 2);
1417 fn
[SBYTES (filename
) - 2] = 0;
1421 strncpy (fn
, SDATA (filename
),
1423 fn
[SBYTES (filename
)] = 0;
1426 if (lsuffix
!= 0) /* Bug happens on CCI if lsuffix is 0. */
1427 strncat (fn
, SDATA (XCAR (tail
)), lsuffix
);
1429 /* Check that the file exists and is not a directory. */
1430 /* We used to only check for handlers on non-absolute file names:
1434 handler = Ffind_file_name_handler (filename, Qfile_exists_p);
1435 It's not clear why that was the case and it breaks things like
1436 (load "/bar.el") where the file is actually "/bar.el.gz". */
1437 string
= build_string (fn
);
1438 handler
= Ffind_file_name_handler (string
, Qfile_exists_p
);
1439 if ((!NILP (handler
) || !NILP (predicate
)) && !NATNUMP (predicate
))
1441 if (NILP (predicate
))
1442 exists
= !NILP (Ffile_readable_p (string
));
1444 exists
= !NILP (call1 (predicate
, string
));
1445 if (exists
&& !NILP (Ffile_directory_p (string
)))
1450 /* We succeeded; return this descriptor and filename. */
1461 encoded_fn
= ENCODE_FILE (string
);
1462 pfn
= SDATA (encoded_fn
);
1463 exists
= (stat (pfn
, &st
) >= 0
1464 && (st
.st_mode
& S_IFMT
) != S_IFDIR
);
1467 /* Check that we can access or open it. */
1468 if (NATNUMP (predicate
))
1469 fd
= (access (pfn
, XFASTINT (predicate
)) == 0) ? 1 : -1;
1471 fd
= emacs_open (pfn
, O_RDONLY
, 0);
1475 /* We succeeded; return this descriptor and filename. */
1493 /* Merge the list we've accumulated of globals from the current input source
1494 into the load_history variable. The details depend on whether
1495 the source has an associated file name or not.
1497 FILENAME is the file name that we are loading from.
1498 ENTIRE is 1 if loading that entire file, 0 if evaluating part of it. */
1501 build_load_history (Lisp_Object filename
, int entire
)
1503 register Lisp_Object tail
, prev
, newelt
;
1504 register Lisp_Object tem
, tem2
;
1505 register int foundit
= 0;
1507 tail
= Vload_history
;
1510 while (CONSP (tail
))
1514 /* Find the feature's previous assoc list... */
1515 if (!NILP (Fequal (filename
, Fcar (tem
))))
1519 /* If we're loading the entire file, remove old data. */
1523 Vload_history
= XCDR (tail
);
1525 Fsetcdr (prev
, XCDR (tail
));
1528 /* Otherwise, cons on new symbols that are not already members. */
1531 tem2
= Vcurrent_load_list
;
1533 while (CONSP (tem2
))
1535 newelt
= XCAR (tem2
);
1537 if (NILP (Fmember (newelt
, tem
)))
1538 Fsetcar (tail
, Fcons (XCAR (tem
),
1539 Fcons (newelt
, XCDR (tem
))));
1552 /* If we're loading an entire file, cons the new assoc onto the
1553 front of load-history, the most-recently-loaded position. Also
1554 do this if we didn't find an existing member for the file. */
1555 if (entire
|| !foundit
)
1556 Vload_history
= Fcons (Fnreverse (Vcurrent_load_list
),
1561 unreadpure (Lisp_Object junk
) /* Used as unwind-protect function in readevalloop */
1568 readevalloop_1 (Lisp_Object old
)
1570 load_convert_to_unibyte
= ! NILP (old
);
1574 /* Signal an `end-of-file' error, if possible with file name
1578 end_of_file_error (void)
1580 if (STRINGP (Vload_file_name
))
1581 xsignal1 (Qend_of_file
, Vload_file_name
);
1583 xsignal0 (Qend_of_file
);
1586 /* UNIBYTE specifies how to set load_convert_to_unibyte
1587 for this invocation.
1588 READFUN, if non-nil, is used instead of `read'.
1590 START, END specify region to read in current buffer (from eval-region).
1591 If the input is not from a buffer, they must be nil. */
1594 readevalloop (Lisp_Object readcharfun
,
1596 Lisp_Object sourcename
,
1597 Lisp_Object (*evalfun
) (Lisp_Object
),
1599 Lisp_Object unibyte
, Lisp_Object readfun
,
1600 Lisp_Object start
, Lisp_Object end
)
1603 register Lisp_Object val
;
1604 int count
= SPECPDL_INDEX ();
1605 struct gcpro gcpro1
, gcpro2
, gcpro3
, gcpro4
;
1606 struct buffer
*b
= 0;
1607 int continue_reading_p
;
1608 /* Nonzero if reading an entire buffer. */
1609 int whole_buffer
= 0;
1610 /* 1 on the first time around. */
1613 if (MARKERP (readcharfun
))
1616 start
= readcharfun
;
1619 if (BUFFERP (readcharfun
))
1620 b
= XBUFFER (readcharfun
);
1621 else if (MARKERP (readcharfun
))
1622 b
= XMARKER (readcharfun
)->buffer
;
1624 /* We assume START is nil when input is not from a buffer. */
1625 if (! NILP (start
) && !b
)
1628 specbind (Qstandard_input
, readcharfun
); /* GCPROs readcharfun. */
1629 specbind (Qcurrent_load_list
, Qnil
);
1630 record_unwind_protect (readevalloop_1
, load_convert_to_unibyte
? Qt
: Qnil
);
1631 load_convert_to_unibyte
= !NILP (unibyte
);
1633 GCPRO4 (sourcename
, readfun
, start
, end
);
1635 /* Try to ensure sourcename is a truename, except whilst preloading. */
1636 if (NILP (Vpurify_flag
)
1637 && !NILP (sourcename
) && !NILP (Ffile_name_absolute_p (sourcename
))
1638 && !NILP (Ffboundp (Qfile_truename
)))
1639 sourcename
= call1 (Qfile_truename
, sourcename
) ;
1641 LOADHIST_ATTACH (sourcename
);
1643 continue_reading_p
= 1;
1644 while (continue_reading_p
)
1646 int count1
= SPECPDL_INDEX ();
1648 if (b
!= 0 && NILP (b
->name
))
1649 error ("Reading from killed buffer");
1653 /* Switch to the buffer we are reading from. */
1654 record_unwind_protect (save_excursion_restore
, save_excursion_save ());
1655 set_buffer_internal (b
);
1657 /* Save point in it. */
1658 record_unwind_protect (save_excursion_restore
, save_excursion_save ());
1659 /* Save ZV in it. */
1660 record_unwind_protect (save_restriction_restore
, save_restriction_save ());
1661 /* Those get unbound after we read one expression. */
1663 /* Set point and ZV around stuff to be read. */
1666 Fnarrow_to_region (make_number (BEGV
), end
);
1668 /* Just for cleanliness, convert END to a marker
1669 if it is an integer. */
1671 end
= Fpoint_max_marker ();
1674 /* On the first cycle, we can easily test here
1675 whether we are reading the whole buffer. */
1676 if (b
&& first_sexp
)
1677 whole_buffer
= (PT
== BEG
&& ZV
== Z
);
1684 while ((c
= READCHAR
) != '\n' && c
!= -1);
1689 unbind_to (count1
, Qnil
);
1693 /* Ignore whitespace here, so we can detect eof. */
1694 if (c
== ' ' || c
== '\t' || c
== '\n' || c
== '\f' || c
== '\r'
1695 || c
== 0x8a0) /* NBSP */
1698 if (!NILP (Vpurify_flag
) && c
== '(')
1700 record_unwind_protect (unreadpure
, Qnil
);
1701 val
= read_list (-1, readcharfun
);
1706 read_objects
= Qnil
;
1707 if (!NILP (readfun
))
1709 val
= call1 (readfun
, readcharfun
);
1711 /* If READCHARFUN has set point to ZV, we should
1712 stop reading, even if the form read sets point
1713 to a different value when evaluated. */
1714 if (BUFFERP (readcharfun
))
1716 struct buffer
*b
= XBUFFER (readcharfun
);
1717 if (BUF_PT (b
) == BUF_ZV (b
))
1718 continue_reading_p
= 0;
1721 else if (! NILP (Vload_read_function
))
1722 val
= call1 (Vload_read_function
, readcharfun
);
1724 val
= read_internal_start (readcharfun
, Qnil
, Qnil
);
1727 if (!NILP (start
) && continue_reading_p
)
1728 start
= Fpoint_marker ();
1730 /* Restore saved point and BEGV. */
1731 unbind_to (count1
, Qnil
);
1733 /* Now eval what we just read. */
1734 val
= (*evalfun
) (val
);
1738 Vvalues
= Fcons (val
, Vvalues
);
1739 if (EQ (Vstandard_output
, Qt
))
1748 build_load_history (sourcename
,
1749 stream
|| whole_buffer
);
1753 unbind_to (count
, Qnil
);
1756 DEFUN ("eval-buffer", Feval_buffer
, Seval_buffer
, 0, 5, "",
1757 doc
: /* Execute the current buffer as Lisp code.
1758 When called from a Lisp program (i.e., not interactively), this
1759 function accepts up to five optional arguments:
1760 BUFFER is the buffer to evaluate (nil means use current buffer).
1761 PRINTFLAG controls printing of output:
1762 A value of nil means discard it; anything else is stream for print.
1763 FILENAME specifies the file name to use for `load-history'.
1764 UNIBYTE, if non-nil, specifies `load-convert-to-unibyte' for this
1766 DO-ALLOW-PRINT, if non-nil, specifies that `print' and related
1767 functions should work normally even if PRINTFLAG is nil.
1769 This function preserves the position of point. */)
1770 (Lisp_Object buffer
, Lisp_Object printflag
, Lisp_Object filename
, Lisp_Object unibyte
, Lisp_Object do_allow_print
)
1772 int count
= SPECPDL_INDEX ();
1773 Lisp_Object tem
, buf
;
1776 buf
= Fcurrent_buffer ();
1778 buf
= Fget_buffer (buffer
);
1780 error ("No such buffer");
1782 if (NILP (printflag
) && NILP (do_allow_print
))
1787 if (NILP (filename
))
1788 filename
= XBUFFER (buf
)->filename
;
1790 specbind (Qeval_buffer_list
, Fcons (buf
, Veval_buffer_list
));
1791 specbind (Qstandard_output
, tem
);
1792 record_unwind_protect (save_excursion_restore
, save_excursion_save ());
1793 BUF_TEMP_SET_PT (XBUFFER (buf
), BUF_BEGV (XBUFFER (buf
)));
1794 readevalloop (buf
, 0, filename
, Feval
,
1795 !NILP (printflag
), unibyte
, Qnil
, Qnil
, Qnil
);
1796 unbind_to (count
, Qnil
);
1801 DEFUN ("eval-region", Feval_region
, Seval_region
, 2, 4, "r",
1802 doc
: /* Execute the region as Lisp code.
1803 When called from programs, expects two arguments,
1804 giving starting and ending indices in the current buffer
1805 of the text to be executed.
1806 Programs can pass third argument PRINTFLAG which controls output:
1807 A value of nil means discard it; anything else is stream for printing it.
1808 Also the fourth argument READ-FUNCTION, if non-nil, is used
1809 instead of `read' to read each expression. It gets one argument
1810 which is the input stream for reading characters.
1812 This function does not move point. */)
1813 (Lisp_Object start
, Lisp_Object end
, Lisp_Object printflag
, Lisp_Object read_function
)
1815 int count
= SPECPDL_INDEX ();
1816 Lisp_Object tem
, cbuf
;
1818 cbuf
= Fcurrent_buffer ();
1820 if (NILP (printflag
))
1824 specbind (Qstandard_output
, tem
);
1825 specbind (Qeval_buffer_list
, Fcons (cbuf
, Veval_buffer_list
));
1827 /* readevalloop calls functions which check the type of start and end. */
1828 readevalloop (cbuf
, 0, XBUFFER (cbuf
)->filename
, Feval
,
1829 !NILP (printflag
), Qnil
, read_function
,
1832 return unbind_to (count
, Qnil
);
1836 DEFUN ("read", Fread
, Sread
, 0, 1, 0,
1837 doc
: /* Read one Lisp expression as text from STREAM, return as Lisp object.
1838 If STREAM is nil, use the value of `standard-input' (which see).
1839 STREAM or the value of `standard-input' may be:
1840 a buffer (read from point and advance it)
1841 a marker (read from where it points and advance it)
1842 a function (call it with no arguments for each character,
1843 call it with a char as argument to push a char back)
1844 a string (takes text from string, starting at the beginning)
1845 t (read text line using minibuffer and use it, or read from
1846 standard input in batch mode). */)
1847 (Lisp_Object stream
)
1850 stream
= Vstandard_input
;
1851 if (EQ (stream
, Qt
))
1852 stream
= Qread_char
;
1853 if (EQ (stream
, Qread_char
))
1854 return Fread_minibuffer (build_string ("Lisp expression: "), Qnil
);
1856 return read_internal_start (stream
, Qnil
, Qnil
);
1859 DEFUN ("read-from-string", Fread_from_string
, Sread_from_string
, 1, 3, 0,
1860 doc
: /* Read one Lisp expression which is represented as text by STRING.
1861 Returns a cons: (OBJECT-READ . FINAL-STRING-INDEX).
1862 START and END optionally delimit a substring of STRING from which to read;
1863 they default to 0 and (length STRING) respectively. */)
1864 (Lisp_Object string
, Lisp_Object start
, Lisp_Object end
)
1867 CHECK_STRING (string
);
1868 /* read_internal_start sets read_from_string_index. */
1869 ret
= read_internal_start (string
, start
, end
);
1870 return Fcons (ret
, make_number (read_from_string_index
));
1873 /* Function to set up the global context we need in toplevel read
1876 read_internal_start (Lisp_Object stream
, Lisp_Object start
, Lisp_Object end
)
1877 /* start, end only used when stream is a string. */
1882 new_backquote_flag
= 0;
1883 read_objects
= Qnil
;
1884 if (EQ (Vread_with_symbol_positions
, Qt
)
1885 || EQ (Vread_with_symbol_positions
, stream
))
1886 Vread_symbol_positions_list
= Qnil
;
1888 if (STRINGP (stream
)
1889 || ((CONSP (stream
) && STRINGP (XCAR (stream
)))))
1891 EMACS_INT startval
, endval
;
1894 if (STRINGP (stream
))
1897 string
= XCAR (stream
);
1900 endval
= SCHARS (string
);
1904 endval
= XINT (end
);
1905 if (endval
< 0 || endval
> SCHARS (string
))
1906 args_out_of_range (string
, end
);
1913 CHECK_NUMBER (start
);
1914 startval
= XINT (start
);
1915 if (startval
< 0 || startval
> endval
)
1916 args_out_of_range (string
, start
);
1918 read_from_string_index
= startval
;
1919 read_from_string_index_byte
= string_char_to_byte (string
, startval
);
1920 read_from_string_limit
= endval
;
1923 retval
= read0 (stream
);
1924 if (EQ (Vread_with_symbol_positions
, Qt
)
1925 || EQ (Vread_with_symbol_positions
, stream
))
1926 Vread_symbol_positions_list
= Fnreverse (Vread_symbol_positions_list
);
1931 /* Signal Qinvalid_read_syntax error.
1932 S is error string of length N (if > 0) */
1935 invalid_syntax (const char *s
, int n
)
1939 xsignal1 (Qinvalid_read_syntax
, make_string (s
, n
));
1943 /* Use this for recursive reads, in contexts where internal tokens
1947 read0 (Lisp_Object readcharfun
)
1949 register Lisp_Object val
;
1952 val
= read1 (readcharfun
, &c
, 0);
1956 xsignal1 (Qinvalid_read_syntax
,
1957 Fmake_string (make_number (1), make_number (c
)));
1960 static int read_buffer_size
;
1961 static char *read_buffer
;
1963 /* Read a \-escape sequence, assuming we already read the `\'.
1964 If the escape sequence forces unibyte, return eight-bit char. */
1967 read_escape (Lisp_Object readcharfun
, int stringp
)
1969 register int c
= READCHAR
;
1970 /* \u allows up to four hex digits, \U up to eight. Default to the
1971 behavior for \u, and change this value in the case that \U is seen. */
1972 int unicode_hex_count
= 4;
1977 end_of_file_error ();
2007 error ("Invalid escape character syntax");
2010 c
= read_escape (readcharfun
, 0);
2011 return c
| meta_modifier
;
2016 error ("Invalid escape character syntax");
2019 c
= read_escape (readcharfun
, 0);
2020 return c
| shift_modifier
;
2025 error ("Invalid escape character syntax");
2028 c
= read_escape (readcharfun
, 0);
2029 return c
| hyper_modifier
;
2034 error ("Invalid escape character syntax");
2037 c
= read_escape (readcharfun
, 0);
2038 return c
| alt_modifier
;
2042 if (stringp
|| c
!= '-')
2049 c
= read_escape (readcharfun
, 0);
2050 return c
| super_modifier
;
2055 error ("Invalid escape character syntax");
2059 c
= read_escape (readcharfun
, 0);
2060 if ((c
& ~CHAR_MODIFIER_MASK
) == '?')
2061 return 0177 | (c
& CHAR_MODIFIER_MASK
);
2062 else if (! SINGLE_BYTE_CHAR_P ((c
& ~CHAR_MODIFIER_MASK
)))
2063 return c
| ctrl_modifier
;
2064 /* ASCII control chars are made from letters (both cases),
2065 as well as the non-letters within 0100...0137. */
2066 else if ((c
& 0137) >= 0101 && (c
& 0137) <= 0132)
2067 return (c
& (037 | ~0177));
2068 else if ((c
& 0177) >= 0100 && (c
& 0177) <= 0137)
2069 return (c
& (037 | ~0177));
2071 return c
| ctrl_modifier
;
2081 /* An octal escape, as in ANSI C. */
2083 register int i
= c
- '0';
2084 register int count
= 0;
2087 if ((c
= READCHAR
) >= '0' && c
<= '7')
2099 if (i
>= 0x80 && i
< 0x100)
2100 i
= BYTE8_TO_CHAR (i
);
2105 /* A hex escape, as in ANSI C. */
2112 if (c
>= '0' && c
<= '9')
2117 else if ((c
>= 'a' && c
<= 'f')
2118 || (c
>= 'A' && c
<= 'F'))
2121 if (c
>= 'a' && c
<= 'f')
2134 if (count
< 3 && i
>= 0x80)
2135 return BYTE8_TO_CHAR (i
);
2140 /* Post-Unicode-2.0: Up to eight hex chars. */
2141 unicode_hex_count
= 8;
2144 /* A Unicode escape. We only permit them in strings and characters,
2145 not arbitrarily in the source code, as in some other languages. */
2150 while (++count
<= unicode_hex_count
)
2153 /* isdigit and isalpha may be locale-specific, which we don't
2155 if (c
>= '0' && c
<= '9') i
= (i
<< 4) + (c
- '0');
2156 else if (c
>= 'a' && c
<= 'f') i
= (i
<< 4) + (c
- 'a') + 10;
2157 else if (c
>= 'A' && c
<= 'F') i
= (i
<< 4) + (c
- 'A') + 10;
2160 error ("Non-hex digit used for Unicode escape");
2165 error ("Non-Unicode character: 0x%x", i
);
2174 /* Read an integer in radix RADIX using READCHARFUN to read
2175 characters. RADIX must be in the interval [2..36]; if it isn't, a
2176 read error is signaled . Value is the integer read. Signals an
2177 error if encountering invalid read syntax or if RADIX is out of
2181 read_integer (Lisp_Object readcharfun
, int radix
)
2183 int ndigits
= 0, invalid_p
, c
, sign
= 0;
2184 /* We use a floating point number because */
2187 if (radix
< 2 || radix
> 36)
2191 number
= ndigits
= invalid_p
= 0;
2207 if (c
>= '0' && c
<= '9')
2209 else if (c
>= 'a' && c
<= 'z')
2210 digit
= c
- 'a' + 10;
2211 else if (c
>= 'A' && c
<= 'Z')
2212 digit
= c
- 'A' + 10;
2219 if (digit
< 0 || digit
>= radix
)
2222 number
= radix
* number
+ digit
;
2228 if (ndigits
== 0 || invalid_p
)
2231 sprintf (buf
, "integer, radix %d", radix
);
2232 invalid_syntax (buf
, 0);
2235 return make_fixnum_or_float (sign
* number
);
2239 /* If the next token is ')' or ']' or '.', we store that character
2240 in *PCH and the return value is not interesting. Else, we store
2241 zero in *PCH and we read and return one lisp object.
2243 FIRST_IN_LIST is nonzero if this is the first element of a list. */
2246 read1 (register Lisp_Object readcharfun
, int *pch
, int first_in_list
)
2249 int uninterned_symbol
= 0;
2257 c
= READCHAR_REPORT_MULTIBYTE (&multibyte
);
2259 end_of_file_error ();
2264 return read_list (0, readcharfun
);
2267 return read_vector (readcharfun
, 0);
2283 /* Accept extended format for hashtables (extensible to
2285 #s(hash-table size 2 test equal data (k1 v1 k2 v2)) */
2286 Lisp_Object tmp
= read_list (0, readcharfun
);
2287 Lisp_Object head
= CAR_SAFE (tmp
);
2288 Lisp_Object data
= Qnil
;
2289 Lisp_Object val
= Qnil
;
2290 /* The size is 2 * number of allowed keywords to
2292 Lisp_Object params
[10];
2294 Lisp_Object key
= Qnil
;
2295 int param_count
= 0;
2297 if (!EQ (head
, Qhash_table
))
2298 error ("Invalid extended read marker at head of #s list "
2299 "(only hash-table allowed)");
2301 tmp
= CDR_SAFE (tmp
);
2303 /* This is repetitive but fast and simple. */
2304 params
[param_count
] = QCsize
;
2305 params
[param_count
+1] = Fplist_get (tmp
, Qsize
);
2306 if (!NILP (params
[param_count
+ 1]))
2309 params
[param_count
] = QCtest
;
2310 params
[param_count
+1] = Fplist_get (tmp
, Qtest
);
2311 if (!NILP (params
[param_count
+ 1]))
2314 params
[param_count
] = QCweakness
;
2315 params
[param_count
+1] = Fplist_get (tmp
, Qweakness
);
2316 if (!NILP (params
[param_count
+ 1]))
2319 params
[param_count
] = QCrehash_size
;
2320 params
[param_count
+1] = Fplist_get (tmp
, Qrehash_size
);
2321 if (!NILP (params
[param_count
+ 1]))
2324 params
[param_count
] = QCrehash_threshold
;
2325 params
[param_count
+1] = Fplist_get (tmp
, Qrehash_threshold
);
2326 if (!NILP (params
[param_count
+ 1]))
2329 /* This is the hashtable data. */
2330 data
= Fplist_get (tmp
, Qdata
);
2332 /* Now use params to make a new hashtable and fill it. */
2333 ht
= Fmake_hash_table (param_count
, params
);
2335 while (CONSP (data
))
2340 error ("Odd number of elements in hashtable data");
2343 Fputhash (key
, val
, ht
);
2349 invalid_syntax ("#", 1);
2357 tmp
= read_vector (readcharfun
, 0);
2358 if (XVECTOR (tmp
)->size
< CHAR_TABLE_STANDARD_SLOTS
)
2359 error ("Invalid size char-table");
2360 XSETPVECTYPE (XVECTOR (tmp
), PVEC_CHAR_TABLE
);
2371 tmp
= read_vector (readcharfun
, 0);
2372 if (!INTEGERP (AREF (tmp
, 0)))
2373 error ("Invalid depth in char-table");
2374 depth
= XINT (AREF (tmp
, 0));
2375 if (depth
< 1 || depth
> 3)
2376 error ("Invalid depth in char-table");
2377 size
= XVECTOR (tmp
)->size
- 2;
2378 if (chartab_size
[depth
] != size
)
2379 error ("Invalid size char-table");
2380 XSETPVECTYPE (XVECTOR (tmp
), PVEC_SUB_CHAR_TABLE
);
2383 invalid_syntax ("#^^", 3);
2385 invalid_syntax ("#^", 2);
2390 length
= read1 (readcharfun
, pch
, first_in_list
);
2394 Lisp_Object tmp
, val
;
2396 = ((XFASTINT (length
) + BOOL_VECTOR_BITS_PER_CHAR
- 1)
2397 / BOOL_VECTOR_BITS_PER_CHAR
);
2400 tmp
= read1 (readcharfun
, pch
, first_in_list
);
2401 if (STRING_MULTIBYTE (tmp
)
2402 || (size_in_chars
!= SCHARS (tmp
)
2403 /* We used to print 1 char too many
2404 when the number of bits was a multiple of 8.
2405 Accept such input in case it came from an old
2407 && ! (XFASTINT (length
)
2408 == (SCHARS (tmp
) - 1) * BOOL_VECTOR_BITS_PER_CHAR
)))
2409 invalid_syntax ("#&...", 5);
2411 val
= Fmake_bool_vector (length
, Qnil
);
2412 memcpy (XBOOL_VECTOR (val
)->data
, SDATA (tmp
), size_in_chars
);
2413 /* Clear the extraneous bits in the last byte. */
2414 if (XINT (length
) != size_in_chars
* BOOL_VECTOR_BITS_PER_CHAR
)
2415 XBOOL_VECTOR (val
)->data
[size_in_chars
- 1]
2416 &= (1 << (XINT (length
) % BOOL_VECTOR_BITS_PER_CHAR
)) - 1;
2419 invalid_syntax ("#&...", 5);
2423 /* Accept compiled functions at read-time so that we don't have to
2424 build them using function calls. */
2426 tmp
= read_vector (readcharfun
, 1);
2427 return Fmake_byte_code (XVECTOR (tmp
)->size
,
2428 XVECTOR (tmp
)->contents
);
2433 struct gcpro gcpro1
;
2436 /* Read the string itself. */
2437 tmp
= read1 (readcharfun
, &ch
, 0);
2438 if (ch
!= 0 || !STRINGP (tmp
))
2439 invalid_syntax ("#", 1);
2441 /* Read the intervals and their properties. */
2444 Lisp_Object beg
, end
, plist
;
2446 beg
= read1 (readcharfun
, &ch
, 0);
2451 end
= read1 (readcharfun
, &ch
, 0);
2453 plist
= read1 (readcharfun
, &ch
, 0);
2455 invalid_syntax ("Invalid string property list", 0);
2456 Fset_text_properties (beg
, end
, plist
, tmp
);
2462 /* #@NUMBER is used to skip NUMBER following characters.
2463 That's used in .elc files to skip over doc strings
2464 and function definitions. */
2470 /* Read a decimal integer. */
2471 while ((c
= READCHAR
) >= 0
2472 && c
>= '0' && c
<= '9')
2480 if (load_force_doc_strings
2481 && (EQ (readcharfun
, Qget_file_char
)
2482 || EQ (readcharfun
, Qget_emacs_mule_file_char
)))
2484 /* If we are supposed to force doc strings into core right now,
2485 record the last string that we skipped,
2486 and record where in the file it comes from. */
2488 /* But first exchange saved_doc_string
2489 with prev_saved_doc_string, so we save two strings. */
2491 char *temp
= saved_doc_string
;
2492 int temp_size
= saved_doc_string_size
;
2493 file_offset temp_pos
= saved_doc_string_position
;
2494 int temp_len
= saved_doc_string_length
;
2496 saved_doc_string
= prev_saved_doc_string
;
2497 saved_doc_string_size
= prev_saved_doc_string_size
;
2498 saved_doc_string_position
= prev_saved_doc_string_position
;
2499 saved_doc_string_length
= prev_saved_doc_string_length
;
2501 prev_saved_doc_string
= temp
;
2502 prev_saved_doc_string_size
= temp_size
;
2503 prev_saved_doc_string_position
= temp_pos
;
2504 prev_saved_doc_string_length
= temp_len
;
2507 if (saved_doc_string_size
== 0)
2509 saved_doc_string_size
= nskip
+ 100;
2510 saved_doc_string
= (char *) xmalloc (saved_doc_string_size
);
2512 if (nskip
> saved_doc_string_size
)
2514 saved_doc_string_size
= nskip
+ 100;
2515 saved_doc_string
= (char *) xrealloc (saved_doc_string
,
2516 saved_doc_string_size
);
2519 saved_doc_string_position
= file_tell (instream
);
2521 /* Copy that many characters into saved_doc_string. */
2522 for (i
= 0; i
< nskip
&& c
>= 0; i
++)
2523 saved_doc_string
[i
] = c
= READCHAR
;
2525 saved_doc_string_length
= i
;
2529 /* Skip that many characters. */
2530 for (i
= 0; i
< nskip
&& c
>= 0; i
++)
2539 /* #! appears at the beginning of an executable file.
2540 Skip the first line. */
2541 while (c
!= '\n' && c
>= 0)
2546 return Vload_file_name
;
2548 return Fcons (Qfunction
, Fcons (read0 (readcharfun
), Qnil
));
2549 /* #:foo is the uninterned symbol named foo. */
2552 uninterned_symbol
= 1;
2556 /* Reader forms that can reuse previously read objects. */
2557 if (c
>= '0' && c
<= '9')
2562 /* Read a non-negative integer. */
2563 while (c
>= '0' && c
<= '9')
2569 /* #n=object returns object, but associates it with n for #n#. */
2570 if (c
== '=' && !NILP (Vread_circle
))
2572 /* Make a placeholder for #n# to use temporarily */
2573 Lisp_Object placeholder
;
2576 placeholder
= Fcons (Qnil
, Qnil
);
2577 cell
= Fcons (make_number (n
), placeholder
);
2578 read_objects
= Fcons (cell
, read_objects
);
2580 /* Read the object itself. */
2581 tem
= read0 (readcharfun
);
2583 /* Now put it everywhere the placeholder was... */
2584 substitute_object_in_subtree (tem
, placeholder
);
2586 /* ...and #n# will use the real value from now on. */
2587 Fsetcdr (cell
, tem
);
2591 /* #n# returns a previously read object. */
2592 if (c
== '#' && !NILP (Vread_circle
))
2594 tem
= Fassq (make_number (n
), read_objects
);
2597 /* Fall through to error message. */
2599 else if (c
== 'r' || c
== 'R')
2600 return read_integer (readcharfun
, n
);
2602 /* Fall through to error message. */
2604 else if (c
== 'x' || c
== 'X')
2605 return read_integer (readcharfun
, 16);
2606 else if (c
== 'o' || c
== 'O')
2607 return read_integer (readcharfun
, 8);
2608 else if (c
== 'b' || c
== 'B')
2609 return read_integer (readcharfun
, 2);
2612 invalid_syntax ("#", 1);
2615 while ((c
= READCHAR
) >= 0 && c
!= '\n');
2620 return Fcons (Qquote
, Fcons (read0 (readcharfun
), Qnil
));
2625 int next_char
= READCHAR
;
2627 /* Transition from old-style to new-style:
2628 If we see "(`" it used to mean old-style, which usually works
2629 fine because ` should almost never appear in such a position
2630 for new-style. But occasionally we need "(`" to mean new
2631 style, so we try to distinguish the two by the fact that we
2632 can either write "( `foo" or "(` foo", where the first
2633 intends to use new-style whereas the second intends to use
2634 old-style. For Emacs-25, we should completely remove this
2635 first_in_list exception (old-style can still be obtained via
2637 if (!new_backquote_flag
&& first_in_list
&& next_char
== ' ')
2639 Vold_style_backquotes
= Qt
;
2646 new_backquote_flag
++;
2647 value
= read0 (readcharfun
);
2648 new_backquote_flag
--;
2650 return Fcons (Qbackquote
, Fcons (value
, Qnil
));
2655 int next_char
= READCHAR
;
2657 /* Transition from old-style to new-style:
2658 It used to be impossible to have a new-style , other than within
2659 a new-style `. This is sufficient when ` and , are used in the
2660 normal way, but ` and , can also appear in args to macros that
2661 will not interpret them in the usual way, in which case , may be
2662 used without any ` anywhere near.
2663 So we now use the same heuristic as for backquote: old-style
2664 unquotes are only recognized when first on a list, and when
2665 followed by a space.
2666 Because it's more difficult to peak 2 chars ahead, a new-style
2667 ,@ can still not be used outside of a `, unless it's in the middle
2669 if (new_backquote_flag
2671 || (next_char
!= ' ' && next_char
!= '@'))
2673 Lisp_Object comma_type
= Qnil
;
2678 comma_type
= Qcomma_at
;
2680 comma_type
= Qcomma_dot
;
2683 if (ch
>= 0) UNREAD (ch
);
2684 comma_type
= Qcomma
;
2687 value
= read0 (readcharfun
);
2688 return Fcons (comma_type
, Fcons (value
, Qnil
));
2692 Vold_style_backquotes
= Qt
;
2704 end_of_file_error ();
2706 /* Accept `single space' syntax like (list ? x) where the
2707 whitespace character is SPC or TAB.
2708 Other literal whitespace like NL, CR, and FF are not accepted,
2709 as there are well-established escape sequences for these. */
2710 if (c
== ' ' || c
== '\t')
2711 return make_number (c
);
2714 c
= read_escape (readcharfun
, 0);
2715 modifiers
= c
& CHAR_MODIFIER_MASK
;
2716 c
&= ~CHAR_MODIFIER_MASK
;
2717 if (CHAR_BYTE8_P (c
))
2718 c
= CHAR_TO_BYTE8 (c
);
2721 next_char
= READCHAR
;
2722 ok
= (next_char
<= 040
2723 || (next_char
< 0200
2724 && (strchr ("\"';()[]#?`,.", next_char
))));
2727 return make_number (c
);
2729 invalid_syntax ("?", 1);
2734 char *p
= read_buffer
;
2735 char *end
= read_buffer
+ read_buffer_size
;
2737 /* Nonzero if we saw an escape sequence specifying
2738 a multibyte character. */
2739 int force_multibyte
= 0;
2740 /* Nonzero if we saw an escape sequence specifying
2741 a single-byte character. */
2742 int force_singlebyte
= 0;
2746 while ((c
= READCHAR
) >= 0
2749 if (end
- p
< MAX_MULTIBYTE_LENGTH
)
2751 int offset
= p
- read_buffer
;
2752 read_buffer
= (char *) xrealloc (read_buffer
,
2753 read_buffer_size
*= 2);
2754 p
= read_buffer
+ offset
;
2755 end
= read_buffer
+ read_buffer_size
;
2762 c
= read_escape (readcharfun
, 1);
2764 /* C is -1 if \ newline has just been seen */
2767 if (p
== read_buffer
)
2772 modifiers
= c
& CHAR_MODIFIER_MASK
;
2773 c
= c
& ~CHAR_MODIFIER_MASK
;
2775 if (CHAR_BYTE8_P (c
))
2776 force_singlebyte
= 1;
2777 else if (! ASCII_CHAR_P (c
))
2778 force_multibyte
= 1;
2779 else /* i.e. ASCII_CHAR_P (c) */
2781 /* Allow `\C- ' and `\C-?'. */
2782 if (modifiers
== CHAR_CTL
)
2785 c
= 0, modifiers
= 0;
2787 c
= 127, modifiers
= 0;
2789 if (modifiers
& CHAR_SHIFT
)
2791 /* Shift modifier is valid only with [A-Za-z]. */
2792 if (c
>= 'A' && c
<= 'Z')
2793 modifiers
&= ~CHAR_SHIFT
;
2794 else if (c
>= 'a' && c
<= 'z')
2795 c
-= ('a' - 'A'), modifiers
&= ~CHAR_SHIFT
;
2798 if (modifiers
& CHAR_META
)
2800 /* Move the meta bit to the right place for a
2802 modifiers
&= ~CHAR_META
;
2803 c
= BYTE8_TO_CHAR (c
| 0x80);
2804 force_singlebyte
= 1;
2808 /* Any modifiers remaining are invalid. */
2810 error ("Invalid modifier in string");
2811 p
+= CHAR_STRING (c
, (unsigned char *) p
);
2815 p
+= CHAR_STRING (c
, (unsigned char *) p
);
2816 if (CHAR_BYTE8_P (c
))
2817 force_singlebyte
= 1;
2818 else if (! ASCII_CHAR_P (c
))
2819 force_multibyte
= 1;
2825 end_of_file_error ();
2827 /* If purifying, and string starts with \ newline,
2828 return zero instead. This is for doc strings
2829 that we are really going to find in etc/DOC.nn.nn */
2830 if (!NILP (Vpurify_flag
) && NILP (Vdoc_file_name
) && cancel
)
2831 return make_number (0);
2833 if (force_multibyte
)
2834 /* READ_BUFFER already contains valid multibyte forms. */
2836 else if (force_singlebyte
)
2838 nchars
= str_as_unibyte (read_buffer
, p
- read_buffer
);
2839 p
= read_buffer
+ nchars
;
2842 /* Otherwise, READ_BUFFER contains only ASCII. */
2845 /* We want readchar_count to be the number of characters, not
2846 bytes. Hence we adjust for multibyte characters in the
2847 string. ... But it doesn't seem to be necessary, because
2848 READCHAR *does* read multibyte characters from buffers. */
2849 /* readchar_count -= (p - read_buffer) - nchars; */
2851 return make_pure_string (read_buffer
, nchars
, p
- read_buffer
,
2853 || (p
- read_buffer
!= nchars
)));
2854 return make_specified_string (read_buffer
, nchars
, p
- read_buffer
,
2856 || (p
- read_buffer
!= nchars
)));
2861 int next_char
= READCHAR
;
2864 if (next_char
<= 040
2865 || (next_char
< 0200
2866 && (strchr ("\"';([#?`,", next_char
))))
2872 /* Otherwise, we fall through! Note that the atom-reading loop
2873 below will now loop at least once, assuring that we will not
2874 try to UNREAD two characters in a row. */
2878 if (c
<= 040) goto retry
;
2879 if (c
== 0x8a0) /* NBSP */
2882 char *p
= read_buffer
;
2886 char *end
= read_buffer
+ read_buffer_size
;
2890 if (end
- p
< MAX_MULTIBYTE_LENGTH
)
2892 int offset
= p
- read_buffer
;
2893 read_buffer
= (char *) xrealloc (read_buffer
,
2894 read_buffer_size
*= 2);
2895 p
= read_buffer
+ offset
;
2896 end
= read_buffer
+ read_buffer_size
;
2903 end_of_file_error ();
2908 p
+= CHAR_STRING (c
, p
);
2913 && c
!= 0x8a0 /* NBSP */
2915 || !(strchr ("\"';()[]#`,", c
))));
2919 int offset
= p
- read_buffer
;
2920 read_buffer
= (char *) xrealloc (read_buffer
,
2921 read_buffer_size
*= 2);
2922 p
= read_buffer
+ offset
;
2923 end
= read_buffer
+ read_buffer_size
;
2930 if (!quoted
&& !uninterned_symbol
)
2934 if (*p1
== '+' || *p1
== '-') p1
++;
2935 /* Is it an integer? */
2938 while (p1
!= p
&& (c
= *p1
) >= '0' && c
<= '9') p1
++;
2939 /* Integers can have trailing decimal points. */
2940 if (p1
> read_buffer
&& p1
< p
&& *p1
== '.') p1
++;
2942 /* It is an integer. */
2947 /* EMACS_INT n = atol (read_buffer); */
2948 char *endptr
= NULL
;
2949 EMACS_INT n
= (errno
= 0,
2950 strtol (read_buffer
, &endptr
, 10));
2951 if (errno
== ERANGE
&& endptr
)
2954 = Fcons (make_string (read_buffer
,
2955 endptr
- read_buffer
),
2957 xsignal (Qoverflow_error
, args
);
2959 return make_fixnum_or_float (n
);
2963 if (isfloat_string (read_buffer
, 0))
2965 /* Compute NaN and infinities using 0.0 in a variable,
2966 to cope with compilers that think they are smarter
2972 /* Negate the value ourselves. This treats 0, NaNs,
2973 and infinity properly on IEEE floating point hosts,
2974 and works around a common bug where atof ("-0.0")
2976 int negative
= read_buffer
[0] == '-';
2978 /* The only way p[-1] can be 'F' or 'N', after isfloat_string
2979 returns 1, is if the input ends in e+INF or e+NaN. */
2986 value
= zero
/ zero
;
2988 /* If that made a "negative" NaN, negate it. */
2992 union { double d
; char c
[sizeof (double)]; } u_data
, u_minus_zero
;
2995 u_minus_zero
.d
= - 0.0;
2996 for (i
= 0; i
< sizeof (double); i
++)
2997 if (u_data
.c
[i
] & u_minus_zero
.c
[i
])
3003 /* Now VALUE is a positive NaN. */
3006 value
= atof (read_buffer
+ negative
);
3010 return make_float (negative
? - value
: value
);
3014 Lisp_Object name
, result
;
3015 EMACS_INT nbytes
= p
- read_buffer
;
3017 = (multibyte
? multibyte_chars_in_text (read_buffer
, nbytes
)
3020 if (uninterned_symbol
&& ! NILP (Vpurify_flag
))
3021 name
= make_pure_string (read_buffer
, nchars
, nbytes
, multibyte
);
3023 name
= make_specified_string (read_buffer
, nchars
, nbytes
,multibyte
);
3024 result
= (uninterned_symbol
? Fmake_symbol (name
)
3025 : Fintern (name
, Qnil
));
3027 if (EQ (Vread_with_symbol_positions
, Qt
)
3028 || EQ (Vread_with_symbol_positions
, readcharfun
))
3029 Vread_symbol_positions_list
=
3030 /* Kind of a hack; this will probably fail if characters
3031 in the symbol name were escaped. Not really a big
3033 Fcons (Fcons (result
,
3034 make_number (readchar_count
3035 - XFASTINT (Flength (Fsymbol_name (result
))))),
3036 Vread_symbol_positions_list
);
3044 /* List of nodes we've seen during substitute_object_in_subtree. */
3045 static Lisp_Object seen_list
;
3048 substitute_object_in_subtree (Lisp_Object object
, Lisp_Object placeholder
)
3050 Lisp_Object check_object
;
3052 /* We haven't seen any objects when we start. */
3055 /* Make all the substitutions. */
3057 = substitute_object_recurse (object
, placeholder
, object
);
3059 /* Clear seen_list because we're done with it. */
3062 /* The returned object here is expected to always eq the
3064 if (!EQ (check_object
, object
))
3065 error ("Unexpected mutation error in reader");
3068 /* Feval doesn't get called from here, so no gc protection is needed. */
3069 #define SUBSTITUTE(get_val, set_val) \
3071 Lisp_Object old_value = get_val; \
3072 Lisp_Object true_value \
3073 = substitute_object_recurse (object, placeholder, \
3076 if (!EQ (old_value, true_value)) \
3083 substitute_object_recurse (Lisp_Object object
, Lisp_Object placeholder
, Lisp_Object subtree
)
3085 /* If we find the placeholder, return the target object. */
3086 if (EQ (placeholder
, subtree
))
3089 /* If we've been to this node before, don't explore it again. */
3090 if (!EQ (Qnil
, Fmemq (subtree
, seen_list
)))
3093 /* If this node can be the entry point to a cycle, remember that
3094 we've seen it. It can only be such an entry point if it was made
3095 by #n=, which means that we can find it as a value in
3097 if (!EQ (Qnil
, Frassq (subtree
, read_objects
)))
3098 seen_list
= Fcons (subtree
, seen_list
);
3100 /* Recurse according to subtree's type.
3101 Every branch must return a Lisp_Object. */
3102 switch (XTYPE (subtree
))
3104 case Lisp_Vectorlike
:
3107 if (BOOL_VECTOR_P (subtree
))
3108 return subtree
; /* No sub-objects anyway. */
3109 else if (CHAR_TABLE_P (subtree
) || SUB_CHAR_TABLE_P (subtree
)
3110 || COMPILEDP (subtree
))
3111 length
= ASIZE (subtree
) & PSEUDOVECTOR_SIZE_MASK
;
3112 else if (VECTORP (subtree
))
3113 length
= ASIZE (subtree
);
3115 /* An unknown pseudovector may contain non-Lisp fields, so we
3116 can't just blindly traverse all its fields. We used to call
3117 `Flength' which signaled `sequencep', so I just preserved this
3119 wrong_type_argument (Qsequencep
, subtree
);
3121 for (i
= 0; i
< length
; i
++)
3122 SUBSTITUTE (AREF (subtree
, i
),
3123 ASET (subtree
, i
, true_value
));
3129 SUBSTITUTE (XCAR (subtree
),
3130 XSETCAR (subtree
, true_value
));
3131 SUBSTITUTE (XCDR (subtree
),
3132 XSETCDR (subtree
, true_value
));
3138 /* Check for text properties in each interval.
3139 substitute_in_interval contains part of the logic. */
3141 INTERVAL root_interval
= STRING_INTERVALS (subtree
);
3142 Lisp_Object arg
= Fcons (object
, placeholder
);
3144 traverse_intervals_noorder (root_interval
,
3145 &substitute_in_interval
, arg
);
3150 /* Other types don't recurse any further. */
3156 /* Helper function for substitute_object_recurse. */
3158 substitute_in_interval (INTERVAL interval
, Lisp_Object arg
)
3160 Lisp_Object object
= Fcar (arg
);
3161 Lisp_Object placeholder
= Fcdr (arg
);
3163 SUBSTITUTE (interval
->plist
, interval
->plist
= true_value
);
3174 isfloat_string (const char *cp
, int ignore_trailing
)
3177 const char *start
= cp
;
3180 if (*cp
== '+' || *cp
== '-')
3183 if (*cp
>= '0' && *cp
<= '9')
3186 while (*cp
>= '0' && *cp
<= '9')
3194 if (*cp
>= '0' && *cp
<= '9')
3197 while (*cp
>= '0' && *cp
<= '9')
3200 if (*cp
== 'e' || *cp
== 'E')
3204 if (*cp
== '+' || *cp
== '-')
3208 if (*cp
>= '0' && *cp
<= '9')
3211 while (*cp
>= '0' && *cp
<= '9')
3214 else if (cp
== start
)
3216 else if (cp
[-1] == '+' && cp
[0] == 'I' && cp
[1] == 'N' && cp
[2] == 'F')
3221 else if (cp
[-1] == '+' && cp
[0] == 'N' && cp
[1] == 'a' && cp
[2] == 'N')
3227 return ((ignore_trailing
3228 || *cp
== 0 || *cp
== ' ' || *cp
== '\t' || *cp
== '\n'
3229 || *cp
== '\r' || *cp
== '\f')
3230 && (state
== (LEAD_INT
|DOT_CHAR
|TRAIL_INT
)
3231 || state
== (DOT_CHAR
|TRAIL_INT
)
3232 || state
== (LEAD_INT
|E_CHAR
|EXP_INT
)
3233 || state
== (LEAD_INT
|DOT_CHAR
|TRAIL_INT
|E_CHAR
|EXP_INT
)
3234 || state
== (DOT_CHAR
|TRAIL_INT
|E_CHAR
|EXP_INT
)));
3239 read_vector (Lisp_Object readcharfun
, int bytecodeflag
)
3243 register Lisp_Object
*ptr
;
3244 register Lisp_Object tem
, item
, vector
;
3245 register struct Lisp_Cons
*otem
;
3248 tem
= read_list (1, readcharfun
);
3249 len
= Flength (tem
);
3250 vector
= (read_pure
? make_pure_vector (XINT (len
)) : Fmake_vector (len
, Qnil
));
3252 size
= XVECTOR (vector
)->size
;
3253 ptr
= XVECTOR (vector
)->contents
;
3254 for (i
= 0; i
< size
; i
++)
3257 /* If `load-force-doc-strings' is t when reading a lazily-loaded
3258 bytecode object, the docstring containing the bytecode and
3259 constants values must be treated as unibyte and passed to
3260 Fread, to get the actual bytecode string and constants vector. */
3261 if (bytecodeflag
&& load_force_doc_strings
)
3263 if (i
== COMPILED_BYTECODE
)
3265 if (!STRINGP (item
))
3266 error ("Invalid byte code");
3268 /* Delay handling the bytecode slot until we know whether
3269 it is lazily-loaded (we can tell by whether the
3270 constants slot is nil). */
3271 ptr
[COMPILED_CONSTANTS
] = item
;
3274 else if (i
== COMPILED_CONSTANTS
)
3276 Lisp_Object bytestr
= ptr
[COMPILED_CONSTANTS
];
3280 /* Coerce string to unibyte (like string-as-unibyte,
3281 but without generating extra garbage and
3282 guaranteeing no change in the contents). */
3283 STRING_SET_CHARS (bytestr
, SBYTES (bytestr
));
3284 STRING_SET_UNIBYTE (bytestr
);
3286 item
= Fread (Fcons (bytestr
, readcharfun
));
3288 error ("Invalid byte code");
3290 otem
= XCONS (item
);
3291 bytestr
= XCAR (item
);
3296 /* Now handle the bytecode slot. */
3297 ptr
[COMPILED_BYTECODE
] = read_pure
? Fpurecopy (bytestr
) : bytestr
;
3299 else if (i
== COMPILED_DOC_STRING
3301 && ! STRING_MULTIBYTE (item
))
3303 if (EQ (readcharfun
, Qget_emacs_mule_file_char
))
3304 item
= Fdecode_coding_string (item
, Qemacs_mule
, Qnil
, Qnil
);
3306 item
= Fstring_as_multibyte (item
);
3309 ptr
[i
] = read_pure
? Fpurecopy (item
) : item
;
3317 /* FLAG = 1 means check for ] to terminate rather than ) and .
3318 FLAG = -1 means check for starting with defun
3319 and make structure pure. */
3322 read_list (int flag
, register Lisp_Object readcharfun
)
3324 /* -1 means check next element for defun,
3325 0 means don't check,
3326 1 means already checked and found defun. */
3327 int defunflag
= flag
< 0 ? -1 : 0;
3328 Lisp_Object val
, tail
;
3329 register Lisp_Object elt
, tem
;
3330 struct gcpro gcpro1
, gcpro2
;
3331 /* 0 is the normal case.
3332 1 means this list is a doc reference; replace it with the number 0.
3333 2 means this list is a doc reference; replace it with the doc string. */
3334 int doc_reference
= 0;
3336 /* Initialize this to 1 if we are reading a list. */
3337 int first_in_list
= flag
<= 0;
3346 elt
= read1 (readcharfun
, &ch
, first_in_list
);
3351 /* While building, if the list starts with #$, treat it specially. */
3352 if (EQ (elt
, Vload_file_name
)
3354 && !NILP (Vpurify_flag
))
3356 if (NILP (Vdoc_file_name
))
3357 /* We have not yet called Snarf-documentation, so assume
3358 this file is described in the DOC-MM.NN file
3359 and Snarf-documentation will fill in the right value later.
3360 For now, replace the whole list with 0. */
3363 /* We have already called Snarf-documentation, so make a relative
3364 file name for this file, so it can be found properly
3365 in the installed Lisp directory.
3366 We don't use Fexpand_file_name because that would make
3367 the directory absolute now. */
3368 elt
= concat2 (build_string ("../lisp/"),
3369 Ffile_name_nondirectory (elt
));
3371 else if (EQ (elt
, Vload_file_name
)
3373 && load_force_doc_strings
)
3382 invalid_syntax (") or . in a vector", 18);
3390 XSETCDR (tail
, read0 (readcharfun
));
3392 val
= read0 (readcharfun
);
3393 read1 (readcharfun
, &ch
, 0);
3397 if (doc_reference
== 1)
3398 return make_number (0);
3399 if (doc_reference
== 2)
3401 /* Get a doc string from the file we are loading.
3402 If it's in saved_doc_string, get it from there.
3404 Here, we don't know if the string is a
3405 bytecode string or a doc string. As a
3406 bytecode string must be unibyte, we always
3407 return a unibyte string. If it is actually a
3408 doc string, caller must make it
3411 int pos
= XINT (XCDR (val
));
3412 /* Position is negative for user variables. */
3413 if (pos
< 0) pos
= -pos
;
3414 if (pos
>= saved_doc_string_position
3415 && pos
< (saved_doc_string_position
3416 + saved_doc_string_length
))
3418 int start
= pos
- saved_doc_string_position
;
3421 /* Process quoting with ^A,
3422 and find the end of the string,
3423 which is marked with ^_ (037). */
3424 for (from
= start
, to
= start
;
3425 saved_doc_string
[from
] != 037;)
3427 int c
= saved_doc_string
[from
++];
3430 c
= saved_doc_string
[from
++];
3432 saved_doc_string
[to
++] = c
;
3434 saved_doc_string
[to
++] = 0;
3436 saved_doc_string
[to
++] = 037;
3439 saved_doc_string
[to
++] = c
;
3442 return make_unibyte_string (saved_doc_string
+ start
,
3445 /* Look in prev_saved_doc_string the same way. */
3446 else if (pos
>= prev_saved_doc_string_position
3447 && pos
< (prev_saved_doc_string_position
3448 + prev_saved_doc_string_length
))
3450 int start
= pos
- prev_saved_doc_string_position
;
3453 /* Process quoting with ^A,
3454 and find the end of the string,
3455 which is marked with ^_ (037). */
3456 for (from
= start
, to
= start
;
3457 prev_saved_doc_string
[from
] != 037;)
3459 int c
= prev_saved_doc_string
[from
++];
3462 c
= prev_saved_doc_string
[from
++];
3464 prev_saved_doc_string
[to
++] = c
;
3466 prev_saved_doc_string
[to
++] = 0;
3468 prev_saved_doc_string
[to
++] = 037;
3471 prev_saved_doc_string
[to
++] = c
;
3474 return make_unibyte_string (prev_saved_doc_string
3479 return get_doc_string (val
, 1, 0);
3484 invalid_syntax (". in wrong context", 18);
3486 invalid_syntax ("] in a list", 11);
3488 tem
= (read_pure
&& flag
<= 0
3489 ? pure_cons (elt
, Qnil
)
3490 : Fcons (elt
, Qnil
));
3492 XSETCDR (tail
, tem
);
3497 defunflag
= EQ (elt
, Qdefun
);
3498 else if (defunflag
> 0)
3503 Lisp_Object Vobarray
;
3504 Lisp_Object initial_obarray
;
3506 /* oblookup stores the bucket number here, for the sake of Funintern. */
3508 int oblookup_last_bucket_number
;
3510 static int hash_string (const unsigned char *ptr
, int len
);
3512 /* Get an error if OBARRAY is not an obarray.
3513 If it is one, return it. */
3516 check_obarray (Lisp_Object obarray
)
3518 if (!VECTORP (obarray
) || XVECTOR (obarray
)->size
== 0)
3520 /* If Vobarray is now invalid, force it to be valid. */
3521 if (EQ (Vobarray
, obarray
)) Vobarray
= initial_obarray
;
3522 wrong_type_argument (Qvectorp
, obarray
);
3527 /* Intern the C string STR: return a symbol with that name,
3528 interned in the current obarray. */
3531 intern (const char *str
)
3534 int len
= strlen (str
);
3535 Lisp_Object obarray
;
3538 if (!VECTORP (obarray
) || XVECTOR (obarray
)->size
== 0)
3539 obarray
= check_obarray (obarray
);
3540 tem
= oblookup (obarray
, str
, len
, len
);
3543 return Fintern (make_string (str
, len
), obarray
);
3547 intern_c_string (const char *str
)
3550 int len
= strlen (str
);
3551 Lisp_Object obarray
;
3554 if (!VECTORP (obarray
) || XVECTOR (obarray
)->size
== 0)
3555 obarray
= check_obarray (obarray
);
3556 tem
= oblookup (obarray
, str
, len
, len
);
3560 if (NILP (Vpurify_flag
))
3561 /* Creating a non-pure string from a string literal not
3562 implemented yet. We could just use make_string here and live
3563 with the extra copy. */
3566 return Fintern (make_pure_c_string (str
), obarray
);
3569 /* Create an uninterned symbol with name STR. */
3572 make_symbol (const char *str
)
3574 int len
= strlen (str
);
3576 return Fmake_symbol (!NILP (Vpurify_flag
)
3577 ? make_pure_string (str
, len
, len
, 0)
3578 : make_string (str
, len
));
3581 DEFUN ("intern", Fintern
, Sintern
, 1, 2, 0,
3582 doc
: /* Return the canonical symbol whose name is STRING.
3583 If there is none, one is created by this function and returned.
3584 A second optional argument specifies the obarray to use;
3585 it defaults to the value of `obarray'. */)
3586 (Lisp_Object string
, Lisp_Object obarray
)
3588 register Lisp_Object tem
, sym
, *ptr
;
3590 if (NILP (obarray
)) obarray
= Vobarray
;
3591 obarray
= check_obarray (obarray
);
3593 CHECK_STRING (string
);
3595 tem
= oblookup (obarray
, SDATA (string
),
3598 if (!INTEGERP (tem
))
3601 if (!NILP (Vpurify_flag
))
3602 string
= Fpurecopy (string
);
3603 sym
= Fmake_symbol (string
);
3605 if (EQ (obarray
, initial_obarray
))
3606 XSYMBOL (sym
)->interned
= SYMBOL_INTERNED_IN_INITIAL_OBARRAY
;
3608 XSYMBOL (sym
)->interned
= SYMBOL_INTERNED
;
3610 if ((SREF (string
, 0) == ':')
3611 && EQ (obarray
, initial_obarray
))
3613 XSYMBOL (sym
)->constant
= 1;
3614 XSYMBOL (sym
)->redirect
= SYMBOL_PLAINVAL
;
3615 SET_SYMBOL_VAL (XSYMBOL (sym
), sym
);
3618 ptr
= &XVECTOR (obarray
)->contents
[XINT (tem
)];
3620 XSYMBOL (sym
)->next
= XSYMBOL (*ptr
);
3622 XSYMBOL (sym
)->next
= 0;
3627 DEFUN ("intern-soft", Fintern_soft
, Sintern_soft
, 1, 2, 0,
3628 doc
: /* Return the canonical symbol named NAME, or nil if none exists.
3629 NAME may be a string or a symbol. If it is a symbol, that exact
3630 symbol is searched for.
3631 A second optional argument specifies the obarray to use;
3632 it defaults to the value of `obarray'. */)
3633 (Lisp_Object name
, Lisp_Object obarray
)
3635 register Lisp_Object tem
, string
;
3637 if (NILP (obarray
)) obarray
= Vobarray
;
3638 obarray
= check_obarray (obarray
);
3640 if (!SYMBOLP (name
))
3642 CHECK_STRING (name
);
3646 string
= SYMBOL_NAME (name
);
3648 tem
= oblookup (obarray
, SDATA (string
), SCHARS (string
), SBYTES (string
));
3649 if (INTEGERP (tem
) || (SYMBOLP (name
) && !EQ (name
, tem
)))
3655 DEFUN ("unintern", Funintern
, Sunintern
, 1, 2, 0,
3656 doc
: /* Delete the symbol named NAME, if any, from OBARRAY.
3657 The value is t if a symbol was found and deleted, nil otherwise.
3658 NAME may be a string or a symbol. If it is a symbol, that symbol
3659 is deleted, if it belongs to OBARRAY--no other symbol is deleted.
3660 OBARRAY defaults to the value of the variable `obarray'. */)
3661 (Lisp_Object name
, Lisp_Object obarray
)
3663 register Lisp_Object string
, tem
;
3666 if (NILP (obarray
)) obarray
= Vobarray
;
3667 obarray
= check_obarray (obarray
);
3670 string
= SYMBOL_NAME (name
);
3673 CHECK_STRING (name
);
3677 tem
= oblookup (obarray
, SDATA (string
),
3682 /* If arg was a symbol, don't delete anything but that symbol itself. */
3683 if (SYMBOLP (name
) && !EQ (name
, tem
))
3686 /* There are plenty of other symbols which will screw up the Emacs
3687 session if we unintern them, as well as even more ways to use
3688 `setq' or `fset' or whatnot to make the Emacs session
3689 unusable. Let's not go down this silly road. --Stef */
3690 /* if (EQ (tem, Qnil) || EQ (tem, Qt))
3691 error ("Attempt to unintern t or nil"); */
3693 XSYMBOL (tem
)->interned
= SYMBOL_UNINTERNED
;
3695 hash
= oblookup_last_bucket_number
;
3697 if (EQ (XVECTOR (obarray
)->contents
[hash
], tem
))
3699 if (XSYMBOL (tem
)->next
)
3700 XSETSYMBOL (XVECTOR (obarray
)->contents
[hash
], XSYMBOL (tem
)->next
);
3702 XSETINT (XVECTOR (obarray
)->contents
[hash
], 0);
3706 Lisp_Object tail
, following
;
3708 for (tail
= XVECTOR (obarray
)->contents
[hash
];
3709 XSYMBOL (tail
)->next
;
3712 XSETSYMBOL (following
, XSYMBOL (tail
)->next
);
3713 if (EQ (following
, tem
))
3715 XSYMBOL (tail
)->next
= XSYMBOL (following
)->next
;
3724 /* Return the symbol in OBARRAY whose names matches the string
3725 of SIZE characters (SIZE_BYTE bytes) at PTR.
3726 If there is no such symbol in OBARRAY, return nil.
3728 Also store the bucket number in oblookup_last_bucket_number. */
3731 oblookup (Lisp_Object obarray
, register const char *ptr
, EMACS_INT size
, EMACS_INT size_byte
)
3735 register Lisp_Object tail
;
3736 Lisp_Object bucket
, tem
;
3738 if (!VECTORP (obarray
)
3739 || (obsize
= XVECTOR (obarray
)->size
) == 0)
3741 obarray
= check_obarray (obarray
);
3742 obsize
= XVECTOR (obarray
)->size
;
3744 /* This is sometimes needed in the middle of GC. */
3745 obsize
&= ~ARRAY_MARK_FLAG
;
3746 hash
= hash_string (ptr
, size_byte
) % obsize
;
3747 bucket
= XVECTOR (obarray
)->contents
[hash
];
3748 oblookup_last_bucket_number
= hash
;
3749 if (EQ (bucket
, make_number (0)))
3751 else if (!SYMBOLP (bucket
))
3752 error ("Bad data in guts of obarray"); /* Like CADR error message */
3754 for (tail
= bucket
; ; XSETSYMBOL (tail
, XSYMBOL (tail
)->next
))
3756 if (SBYTES (SYMBOL_NAME (tail
)) == size_byte
3757 && SCHARS (SYMBOL_NAME (tail
)) == size
3758 && !memcmp (SDATA (SYMBOL_NAME (tail
)), ptr
, size_byte
))
3760 else if (XSYMBOL (tail
)->next
== 0)
3763 XSETINT (tem
, hash
);
3768 hash_string (const unsigned char *ptr
, int len
)
3770 register const unsigned char *p
= ptr
;
3771 register const unsigned char *end
= p
+ len
;
3772 register unsigned char c
;
3773 register int hash
= 0;
3778 if (c
>= 0140) c
-= 40;
3779 hash
= ((hash
<<3) + (hash
>>28) + c
);
3781 return hash
& 07777777777;
3785 map_obarray (Lisp_Object obarray
, void (*fn
) (Lisp_Object
, Lisp_Object
), Lisp_Object arg
)
3788 register Lisp_Object tail
;
3789 CHECK_VECTOR (obarray
);
3790 for (i
= XVECTOR (obarray
)->size
- 1; i
>= 0; i
--)
3792 tail
= XVECTOR (obarray
)->contents
[i
];
3797 if (XSYMBOL (tail
)->next
== 0)
3799 XSETSYMBOL (tail
, XSYMBOL (tail
)->next
);
3805 mapatoms_1 (Lisp_Object sym
, Lisp_Object function
)
3807 call1 (function
, sym
);
3810 DEFUN ("mapatoms", Fmapatoms
, Smapatoms
, 1, 2, 0,
3811 doc
: /* Call FUNCTION on every symbol in OBARRAY.
3812 OBARRAY defaults to the value of `obarray'. */)
3813 (Lisp_Object function
, Lisp_Object obarray
)
3815 if (NILP (obarray
)) obarray
= Vobarray
;
3816 obarray
= check_obarray (obarray
);
3818 map_obarray (obarray
, mapatoms_1
, function
);
3822 #define OBARRAY_SIZE 1511
3827 Lisp_Object oblength
;
3829 XSETFASTINT (oblength
, OBARRAY_SIZE
);
3831 Vobarray
= Fmake_vector (oblength
, make_number (0));
3832 initial_obarray
= Vobarray
;
3833 staticpro (&initial_obarray
);
3835 Qunbound
= Fmake_symbol (make_pure_c_string ("unbound"));
3836 /* Set temporary dummy values to Qnil and Vpurify_flag to satisfy the
3837 NILP (Vpurify_flag) check in intern_c_string. */
3838 Qnil
= make_number (-1); Vpurify_flag
= make_number (1);
3839 Qnil
= intern_c_string ("nil");
3841 /* Fmake_symbol inits fields of new symbols with Qunbound and Qnil,
3842 so those two need to be fixed manally. */
3843 SET_SYMBOL_VAL (XSYMBOL (Qunbound
), Qunbound
);
3844 XSYMBOL (Qunbound
)->function
= Qunbound
;
3845 XSYMBOL (Qunbound
)->plist
= Qnil
;
3846 /* XSYMBOL (Qnil)->function = Qunbound; */
3847 SET_SYMBOL_VAL (XSYMBOL (Qnil
), Qnil
);
3848 XSYMBOL (Qnil
)->constant
= 1;
3849 XSYMBOL (Qnil
)->plist
= Qnil
;
3851 Qt
= intern_c_string ("t");
3852 SET_SYMBOL_VAL (XSYMBOL (Qt
), Qt
);
3853 XSYMBOL (Qt
)->constant
= 1;
3855 /* Qt is correct even if CANNOT_DUMP. loadup.el will set to nil at end. */
3858 Qvariable_documentation
= intern_c_string ("variable-documentation");
3859 staticpro (&Qvariable_documentation
);
3861 read_buffer_size
= 100 + MAX_MULTIBYTE_LENGTH
;
3862 read_buffer
= (char *) xmalloc (read_buffer_size
);
3866 defsubr (struct Lisp_Subr
*sname
)
3869 sym
= intern_c_string (sname
->symbol_name
);
3870 XSETPVECTYPE (sname
, PVEC_SUBR
);
3871 XSETSUBR (XSYMBOL (sym
)->function
, sname
);
3874 #ifdef NOTDEF /* use fset in subr.el now */
3876 defalias (sname
, string
)
3877 struct Lisp_Subr
*sname
;
3881 sym
= intern (string
);
3882 XSETSUBR (XSYMBOL (sym
)->function
, sname
);
3886 /* Define an "integer variable"; a symbol whose value is forwarded to a
3887 C variable of type int. Sample call (munged w "xx" to fool make-docfile):
3888 DEFxxVAR_INT ("emacs-priority", &emacs_priority, "Documentation"); */
3890 defvar_int (struct Lisp_Intfwd
*i_fwd
,
3891 const char *namestring
, EMACS_INT
*address
)
3894 sym
= intern_c_string (namestring
);
3895 i_fwd
->type
= Lisp_Fwd_Int
;
3896 i_fwd
->intvar
= address
;
3897 XSYMBOL (sym
)->redirect
= SYMBOL_FORWARDED
;
3898 SET_SYMBOL_FWD (XSYMBOL (sym
), (union Lisp_Fwd
*)i_fwd
);
3901 /* Similar but define a variable whose value is t if address contains 1,
3902 nil if address contains 0. */
3904 defvar_bool (struct Lisp_Boolfwd
*b_fwd
,
3905 const char *namestring
, int *address
)
3908 sym
= intern_c_string (namestring
);
3909 b_fwd
->type
= Lisp_Fwd_Bool
;
3910 b_fwd
->boolvar
= address
;
3911 XSYMBOL (sym
)->redirect
= SYMBOL_FORWARDED
;
3912 SET_SYMBOL_FWD (XSYMBOL (sym
), (union Lisp_Fwd
*)b_fwd
);
3913 Vbyte_boolean_vars
= Fcons (sym
, Vbyte_boolean_vars
);
3916 /* Similar but define a variable whose value is the Lisp Object stored
3917 at address. Two versions: with and without gc-marking of the C
3918 variable. The nopro version is used when that variable will be
3919 gc-marked for some other reason, since marking the same slot twice
3920 can cause trouble with strings. */
3922 defvar_lisp_nopro (struct Lisp_Objfwd
*o_fwd
,
3923 const char *namestring
, Lisp_Object
*address
)
3926 sym
= intern_c_string (namestring
);
3927 o_fwd
->type
= Lisp_Fwd_Obj
;
3928 o_fwd
->objvar
= address
;
3929 XSYMBOL (sym
)->redirect
= SYMBOL_FORWARDED
;
3930 SET_SYMBOL_FWD (XSYMBOL (sym
), (union Lisp_Fwd
*)o_fwd
);
3934 defvar_lisp (struct Lisp_Objfwd
*o_fwd
,
3935 const char *namestring
, Lisp_Object
*address
)
3937 defvar_lisp_nopro (o_fwd
, namestring
, address
);
3938 staticpro (address
);
3941 /* Similar but define a variable whose value is the Lisp Object stored
3942 at a particular offset in the current kboard object. */
3945 defvar_kboard (struct Lisp_Kboard_Objfwd
*ko_fwd
,
3946 const char *namestring
, int offset
)
3949 sym
= intern_c_string (namestring
);
3950 ko_fwd
->type
= Lisp_Fwd_Kboard_Obj
;
3951 ko_fwd
->offset
= offset
;
3952 XSYMBOL (sym
)->redirect
= SYMBOL_FORWARDED
;
3953 SET_SYMBOL_FWD (XSYMBOL (sym
), (union Lisp_Fwd
*)ko_fwd
);
3956 /* Record the value of load-path used at the start of dumping
3957 so we can see if the site changed it later during dumping. */
3958 static Lisp_Object dump_path
;
3964 int turn_off_warning
= 0;
3966 /* Compute the default load-path. */
3968 normal
= PATH_LOADSEARCH
;
3969 Vload_path
= decode_env_path (0, normal
);
3971 if (NILP (Vpurify_flag
))
3972 normal
= PATH_LOADSEARCH
;
3974 normal
= PATH_DUMPLOADSEARCH
;
3976 /* In a dumped Emacs, we normally have to reset the value of
3977 Vload_path from PATH_LOADSEARCH, since the value that was dumped
3978 uses ../lisp, instead of the path of the installed elisp
3979 libraries. However, if it appears that Vload_path was changed
3980 from the default before dumping, don't override that value. */
3983 if (! NILP (Fequal (dump_path
, Vload_path
)))
3985 Vload_path
= decode_env_path (0, normal
);
3986 if (!NILP (Vinstallation_directory
))
3988 Lisp_Object tem
, tem1
, sitelisp
;
3990 /* Remove site-lisp dirs from path temporarily and store
3991 them in sitelisp, then conc them on at the end so
3992 they're always first in path. */
3996 tem
= Fcar (Vload_path
);
3997 tem1
= Fstring_match (build_string ("site-lisp"),
4001 Vload_path
= Fcdr (Vload_path
);
4002 sitelisp
= Fcons (tem
, sitelisp
);
4008 /* Add to the path the lisp subdir of the
4009 installation dir, if it exists. */
4010 tem
= Fexpand_file_name (build_string ("lisp"),
4011 Vinstallation_directory
);
4012 tem1
= Ffile_exists_p (tem
);
4015 if (NILP (Fmember (tem
, Vload_path
)))
4017 turn_off_warning
= 1;
4018 Vload_path
= Fcons (tem
, Vload_path
);
4022 /* That dir doesn't exist, so add the build-time
4023 Lisp dirs instead. */
4024 Vload_path
= nconc2 (Vload_path
, dump_path
);
4026 /* Add leim under the installation dir, if it exists. */
4027 tem
= Fexpand_file_name (build_string ("leim"),
4028 Vinstallation_directory
);
4029 tem1
= Ffile_exists_p (tem
);
4032 if (NILP (Fmember (tem
, Vload_path
)))
4033 Vload_path
= Fcons (tem
, Vload_path
);
4036 /* Add site-lisp under the installation dir, if it exists. */
4037 tem
= Fexpand_file_name (build_string ("site-lisp"),
4038 Vinstallation_directory
);
4039 tem1
= Ffile_exists_p (tem
);
4042 if (NILP (Fmember (tem
, Vload_path
)))
4043 Vload_path
= Fcons (tem
, Vload_path
);
4046 /* If Emacs was not built in the source directory,
4047 and it is run from where it was built, add to load-path
4048 the lisp, leim and site-lisp dirs under that directory. */
4050 if (NILP (Fequal (Vinstallation_directory
, Vsource_directory
)))
4054 tem
= Fexpand_file_name (build_string ("src/Makefile"),
4055 Vinstallation_directory
);
4056 tem1
= Ffile_exists_p (tem
);
4058 /* Don't be fooled if they moved the entire source tree
4059 AFTER dumping Emacs. If the build directory is indeed
4060 different from the source dir, src/Makefile.in and
4061 src/Makefile will not be found together. */
4062 tem
= Fexpand_file_name (build_string ("src/Makefile.in"),
4063 Vinstallation_directory
);
4064 tem2
= Ffile_exists_p (tem
);
4065 if (!NILP (tem1
) && NILP (tem2
))
4067 tem
= Fexpand_file_name (build_string ("lisp"),
4070 if (NILP (Fmember (tem
, Vload_path
)))
4071 Vload_path
= Fcons (tem
, Vload_path
);
4073 tem
= Fexpand_file_name (build_string ("leim"),
4076 if (NILP (Fmember (tem
, Vload_path
)))
4077 Vload_path
= Fcons (tem
, Vload_path
);
4079 tem
= Fexpand_file_name (build_string ("site-lisp"),
4082 if (NILP (Fmember (tem
, Vload_path
)))
4083 Vload_path
= Fcons (tem
, Vload_path
);
4086 if (!NILP (sitelisp
) && !no_site_lisp
)
4087 Vload_path
= nconc2 (Fnreverse (sitelisp
), Vload_path
);
4093 /* NORMAL refers to the lisp dir in the source directory. */
4094 /* We used to add ../lisp at the front here, but
4095 that caused trouble because it was copied from dump_path
4096 into Vload_path, above, when Vinstallation_directory was non-nil.
4097 It should be unnecessary. */
4098 Vload_path
= decode_env_path (0, normal
);
4099 dump_path
= Vload_path
;
4103 #if (!(defined (WINDOWSNT) || (defined (HAVE_NS))))
4104 /* When Emacs is invoked over network shares on NT, PATH_LOADSEARCH is
4105 almost never correct, thereby causing a warning to be printed out that
4106 confuses users. Since PATH_LOADSEARCH is always overridden by the
4107 EMACSLOADPATH environment variable below, disable the warning on NT. */
4109 /* Warn if dirs in the *standard* path don't exist. */
4110 if (!turn_off_warning
)
4112 Lisp_Object path_tail
;
4114 for (path_tail
= Vload_path
;
4116 path_tail
= XCDR (path_tail
))
4118 Lisp_Object dirfile
;
4119 dirfile
= Fcar (path_tail
);
4120 if (STRINGP (dirfile
))
4122 dirfile
= Fdirectory_file_name (dirfile
);
4123 if (access (SDATA (dirfile
), 0) < 0)
4124 dir_warning ("Warning: Lisp directory `%s' does not exist.\n",
4129 #endif /* !(WINDOWSNT || HAVE_NS) */
4131 /* If the EMACSLOADPATH environment variable is set, use its value.
4132 This doesn't apply if we're dumping. */
4134 if (NILP (Vpurify_flag
)
4135 && egetenv ("EMACSLOADPATH"))
4137 Vload_path
= decode_env_path ("EMACSLOADPATH", normal
);
4141 load_in_progress
= 0;
4142 Vload_file_name
= Qnil
;
4144 load_descriptor_list
= Qnil
;
4146 Vstandard_input
= Qt
;
4147 Vloads_in_progress
= Qnil
;
4150 /* Print a warning, using format string FORMAT, that directory DIRNAME
4151 does not exist. Print it on stderr and put it in *Messages*. */
4154 dir_warning (const char *format
, Lisp_Object dirname
)
4157 = (char *) alloca (SCHARS (dirname
) + strlen (format
) + 5);
4159 fprintf (stderr
, format
, SDATA (dirname
));
4160 sprintf (buffer
, format
, SDATA (dirname
));
4161 /* Don't log the warning before we've initialized!! */
4163 message_dolog (buffer
, strlen (buffer
), 0, STRING_MULTIBYTE (dirname
));
4167 syms_of_lread (void)
4170 defsubr (&Sread_from_string
);
4172 defsubr (&Sintern_soft
);
4173 defsubr (&Sunintern
);
4174 defsubr (&Sget_load_suffixes
);
4176 defsubr (&Seval_buffer
);
4177 defsubr (&Seval_region
);
4178 defsubr (&Sread_char
);
4179 defsubr (&Sread_char_exclusive
);
4180 defsubr (&Sread_event
);
4181 defsubr (&Sget_file_char
);
4182 defsubr (&Smapatoms
);
4183 defsubr (&Slocate_file_internal
);
4185 DEFVAR_LISP ("obarray", &Vobarray
,
4186 doc
: /* Symbol table for use by `intern' and `read'.
4187 It is a vector whose length ought to be prime for best results.
4188 The vector's contents don't make sense if examined from Lisp programs;
4189 to find all the symbols in an obarray, use `mapatoms'. */);
4191 DEFVAR_LISP ("values", &Vvalues
,
4192 doc
: /* List of values of all expressions which were read, evaluated and printed.
4193 Order is reverse chronological. */);
4195 DEFVAR_LISP ("standard-input", &Vstandard_input
,
4196 doc
: /* Stream for read to get input from.
4197 See documentation of `read' for possible values. */);
4198 Vstandard_input
= Qt
;
4200 DEFVAR_LISP ("read-with-symbol-positions", &Vread_with_symbol_positions
,
4201 doc
: /* If non-nil, add position of read symbols to `read-symbol-positions-list'.
4203 If this variable is a buffer, then only forms read from that buffer
4204 will be added to `read-symbol-positions-list'.
4205 If this variable is t, then all read forms will be added.
4206 The effect of all other values other than nil are not currently
4207 defined, although they may be in the future.
4209 The positions are relative to the last call to `read' or
4210 `read-from-string'. It is probably a bad idea to set this variable at
4211 the toplevel; bind it instead. */);
4212 Vread_with_symbol_positions
= Qnil
;
4214 DEFVAR_LISP ("read-symbol-positions-list", &Vread_symbol_positions_list
,
4215 doc
: /* A list mapping read symbols to their positions.
4216 This variable is modified during calls to `read' or
4217 `read-from-string', but only when `read-with-symbol-positions' is
4220 Each element of the list looks like (SYMBOL . CHAR-POSITION), where
4221 CHAR-POSITION is an integer giving the offset of that occurrence of the
4222 symbol from the position where `read' or `read-from-string' started.
4224 Note that a symbol will appear multiple times in this list, if it was
4225 read multiple times. The list is in the same order as the symbols
4227 Vread_symbol_positions_list
= Qnil
;
4229 DEFVAR_LISP ("read-circle", &Vread_circle
,
4230 doc
: /* Non-nil means read recursive structures using #N= and #N# syntax. */);
4233 DEFVAR_LISP ("load-path", &Vload_path
,
4234 doc
: /* *List of directories to search for files to load.
4235 Each element is a string (directory name) or nil (try default directory).
4236 Initialized based on EMACSLOADPATH environment variable, if any,
4237 otherwise to default specified by file `epaths.h' when Emacs was built. */);
4239 DEFVAR_LISP ("load-suffixes", &Vload_suffixes
,
4240 doc
: /* List of suffixes for (compiled or source) Emacs Lisp files.
4241 This list should not include the empty string.
4242 `load' and related functions try to append these suffixes, in order,
4243 to the specified file name if a Lisp suffix is allowed or required. */);
4244 Vload_suffixes
= Fcons (make_pure_c_string (".elc"),
4245 Fcons (make_pure_c_string (".el"), Qnil
));
4246 DEFVAR_LISP ("load-file-rep-suffixes", &Vload_file_rep_suffixes
,
4247 doc
: /* List of suffixes that indicate representations of \
4249 This list should normally start with the empty string.
4251 Enabling Auto Compression mode appends the suffixes in
4252 `jka-compr-load-suffixes' to this list and disabling Auto Compression
4253 mode removes them again. `load' and related functions use this list to
4254 determine whether they should look for compressed versions of a file
4255 and, if so, which suffixes they should try to append to the file name
4256 in order to do so. However, if you want to customize which suffixes
4257 the loading functions recognize as compression suffixes, you should
4258 customize `jka-compr-load-suffixes' rather than the present variable. */);
4259 Vload_file_rep_suffixes
= Fcons (empty_unibyte_string
, Qnil
);
4261 DEFVAR_BOOL ("load-in-progress", &load_in_progress
,
4262 doc
: /* Non-nil if inside of `load'. */);
4263 Qload_in_progress
= intern_c_string ("load-in-progress");
4264 staticpro (&Qload_in_progress
);
4266 DEFVAR_LISP ("after-load-alist", &Vafter_load_alist
,
4267 doc
: /* An alist of expressions to be evalled when particular files are loaded.
4268 Each element looks like (REGEXP-OR-FEATURE FORMS...).
4270 REGEXP-OR-FEATURE is either a regular expression to match file names, or
4271 a symbol \(a feature name).
4273 When `load' is run and the file-name argument matches an element's
4274 REGEXP-OR-FEATURE, or when `provide' is run and provides the symbol
4275 REGEXP-OR-FEATURE, the FORMS in the element are executed.
4277 An error in FORMS does not undo the load, but does prevent execution of
4278 the rest of the FORMS. */);
4279 Vafter_load_alist
= Qnil
;
4281 DEFVAR_LISP ("load-history", &Vload_history
,
4282 doc
: /* Alist mapping loaded file names to symbols and features.
4283 Each alist element should be a list (FILE-NAME ENTRIES...), where
4284 FILE-NAME is the name of a file that has been loaded into Emacs.
4285 The file name is absolute and true (i.e. it doesn't contain symlinks).
4286 As an exception, one of the alist elements may have FILE-NAME nil,
4287 for symbols and features not associated with any file.
4289 The remaining ENTRIES in the alist element describe the functions and
4290 variables defined in that file, the features provided, and the
4291 features required. Each entry has the form `(provide . FEATURE)',
4292 `(require . FEATURE)', `(defun . FUNCTION)', `(autoload . SYMBOL)',
4293 `(defface . SYMBOL)', or `(t . SYMBOL)'. In addition, an entry `(t
4294 . SYMBOL)' may precede an entry `(defun . FUNCTION)', and means that
4295 SYMBOL was an autoload before this file redefined it as a function.
4297 During preloading, the file name recorded is relative to the main Lisp
4298 directory. These file names are converted to absolute at startup. */);
4299 Vload_history
= Qnil
;
4301 DEFVAR_LISP ("load-file-name", &Vload_file_name
,
4302 doc
: /* Full name of file being loaded by `load'. */);
4303 Vload_file_name
= Qnil
;
4305 DEFVAR_LISP ("user-init-file", &Vuser_init_file
,
4306 doc
: /* File name, including directory, of user's initialization file.
4307 If the file loaded had extension `.elc', and the corresponding source file
4308 exists, this variable contains the name of source file, suitable for use
4309 by functions like `custom-save-all' which edit the init file.
4310 While Emacs loads and evaluates the init file, value is the real name
4311 of the file, regardless of whether or not it has the `.elc' extension. */);
4312 Vuser_init_file
= Qnil
;
4314 DEFVAR_LISP ("current-load-list", &Vcurrent_load_list
,
4315 doc
: /* Used for internal purposes by `load'. */);
4316 Vcurrent_load_list
= Qnil
;
4318 DEFVAR_LISP ("load-read-function", &Vload_read_function
,
4319 doc
: /* Function used by `load' and `eval-region' for reading expressions.
4320 The default is nil, which means use the function `read'. */);
4321 Vload_read_function
= Qnil
;
4323 DEFVAR_LISP ("load-source-file-function", &Vload_source_file_function
,
4324 doc
: /* Function called in `load' for loading an Emacs Lisp source file.
4325 This function is for doing code conversion before reading the source file.
4326 If nil, loading is done without any code conversion.
4327 Arguments are FULLNAME, FILE, NOERROR, NOMESSAGE, where
4328 FULLNAME is the full name of FILE.
4329 See `load' for the meaning of the remaining arguments. */);
4330 Vload_source_file_function
= Qnil
;
4332 DEFVAR_BOOL ("load-force-doc-strings", &load_force_doc_strings
,
4333 doc
: /* Non-nil means `load' should force-load all dynamic doc strings.
4334 This is useful when the file being loaded is a temporary copy. */);
4335 load_force_doc_strings
= 0;
4337 DEFVAR_BOOL ("load-convert-to-unibyte", &load_convert_to_unibyte
,
4338 doc
: /* Non-nil means `read' converts strings to unibyte whenever possible.
4339 This is normally bound by `load' and `eval-buffer' to control `read',
4340 and is not meant for users to change. */);
4341 load_convert_to_unibyte
= 0;
4343 DEFVAR_LISP ("source-directory", &Vsource_directory
,
4344 doc
: /* Directory in which Emacs sources were found when Emacs was built.
4345 You cannot count on them to still be there! */);
4347 = Fexpand_file_name (build_string ("../"),
4348 Fcar (decode_env_path (0, PATH_DUMPLOADSEARCH
)));
4350 DEFVAR_LISP ("preloaded-file-list", &Vpreloaded_file_list
,
4351 doc
: /* List of files that were preloaded (when dumping Emacs). */);
4352 Vpreloaded_file_list
= Qnil
;
4354 DEFVAR_LISP ("byte-boolean-vars", &Vbyte_boolean_vars
,
4355 doc
: /* List of all DEFVAR_BOOL variables, used by the byte code optimizer. */);
4356 Vbyte_boolean_vars
= Qnil
;
4358 DEFVAR_BOOL ("load-dangerous-libraries", &load_dangerous_libraries
,
4359 doc
: /* Non-nil means load dangerous compiled Lisp files.
4360 Some versions of XEmacs use different byte codes than Emacs. These
4361 incompatible byte codes can make Emacs crash when it tries to execute
4363 load_dangerous_libraries
= 0;
4365 DEFVAR_BOOL ("force-load-messages", &force_load_messages
,
4366 doc
: /* Non-nil means force printing messages when loading Lisp files.
4367 This overrides the value of the NOMESSAGE argument to `load'. */);
4368 force_load_messages
= 0;
4370 DEFVAR_LISP ("bytecomp-version-regexp", &Vbytecomp_version_regexp
,
4371 doc
: /* Regular expression matching safe to load compiled Lisp files.
4372 When Emacs loads a compiled Lisp file, it reads the first 512 bytes
4373 from the file, and matches them against this regular expression.
4374 When the regular expression matches, the file is considered to be safe
4375 to load. See also `load-dangerous-libraries'. */);
4376 Vbytecomp_version_regexp
4377 = make_pure_c_string ("^;;;.\\(in Emacs version\\|bytecomp version FSF\\)");
4379 DEFVAR_LISP ("eval-buffer-list", &Veval_buffer_list
,
4380 doc
: /* List of buffers being read from by calls to `eval-buffer' and `eval-region'. */);
4381 Veval_buffer_list
= Qnil
;
4383 DEFVAR_LISP ("old-style-backquotes", &Vold_style_backquotes
,
4384 doc
: /* Set to non-nil when `read' encounters an old-style backquote. */);
4385 Vold_style_backquotes
= Qnil
;
4386 Qold_style_backquotes
= intern_c_string ("old-style-backquotes");
4387 staticpro (&Qold_style_backquotes
);
4389 /* Vsource_directory was initialized in init_lread. */
4391 load_descriptor_list
= Qnil
;
4392 staticpro (&load_descriptor_list
);
4394 Qcurrent_load_list
= intern_c_string ("current-load-list");
4395 staticpro (&Qcurrent_load_list
);
4397 Qstandard_input
= intern_c_string ("standard-input");
4398 staticpro (&Qstandard_input
);
4400 Qread_char
= intern_c_string ("read-char");
4401 staticpro (&Qread_char
);
4403 Qget_file_char
= intern_c_string ("get-file-char");
4404 staticpro (&Qget_file_char
);
4406 Qget_emacs_mule_file_char
= intern_c_string ("get-emacs-mule-file-char");
4407 staticpro (&Qget_emacs_mule_file_char
);
4409 Qload_force_doc_strings
= intern_c_string ("load-force-doc-strings");
4410 staticpro (&Qload_force_doc_strings
);
4412 Qbackquote
= intern_c_string ("`");
4413 staticpro (&Qbackquote
);
4414 Qcomma
= intern_c_string (",");
4415 staticpro (&Qcomma
);
4416 Qcomma_at
= intern_c_string (",@");
4417 staticpro (&Qcomma_at
);
4418 Qcomma_dot
= intern_c_string (",.");
4419 staticpro (&Qcomma_dot
);
4421 Qinhibit_file_name_operation
= intern_c_string ("inhibit-file-name-operation");
4422 staticpro (&Qinhibit_file_name_operation
);
4424 Qascii_character
= intern_c_string ("ascii-character");
4425 staticpro (&Qascii_character
);
4427 Qfunction
= intern_c_string ("function");
4428 staticpro (&Qfunction
);
4430 Qload
= intern_c_string ("load");
4433 Qload_file_name
= intern_c_string ("load-file-name");
4434 staticpro (&Qload_file_name
);
4436 Qeval_buffer_list
= intern_c_string ("eval-buffer-list");
4437 staticpro (&Qeval_buffer_list
);
4439 Qfile_truename
= intern_c_string ("file-truename");
4440 staticpro (&Qfile_truename
) ;
4442 Qdo_after_load_evaluation
= intern_c_string ("do-after-load-evaluation");
4443 staticpro (&Qdo_after_load_evaluation
) ;
4445 staticpro (&dump_path
);
4447 staticpro (&read_objects
);
4448 read_objects
= Qnil
;
4449 staticpro (&seen_list
);
4452 Vloads_in_progress
= Qnil
;
4453 staticpro (&Vloads_in_progress
);
4455 Qhash_table
= intern_c_string ("hash-table");
4456 staticpro (&Qhash_table
);
4457 Qdata
= intern_c_string ("data");
4459 Qtest
= intern_c_string ("test");
4461 Qsize
= intern_c_string ("size");
4463 Qweakness
= intern_c_string ("weakness");
4464 staticpro (&Qweakness
);
4465 Qrehash_size
= intern_c_string ("rehash-size");
4466 staticpro (&Qrehash_size
);
4467 Qrehash_threshold
= intern_c_string ("rehash-threshold");
4468 staticpro (&Qrehash_threshold
);