]> code.delx.au - gnu-emacs/blob - doc/lispref/loading.texi
Fix bug #16216 with 'name' Unicode property of control characters.
[gnu-emacs] / doc / lispref / loading.texi
1 @c -*-texinfo-*-
2 @c This is part of the GNU Emacs Lisp Reference Manual.
3 @c Copyright (C) 1990-1995, 1998-1999, 2001-2013 Free Software
4 @c Foundation, Inc.
5 @c See the file elisp.texi for copying conditions.
6 @node Loading
7 @chapter Loading
8 @cindex loading
9 @cindex library
10 @cindex Lisp library
11
12 Loading a file of Lisp code means bringing its contents into the
13 Lisp environment in the form of Lisp objects. Emacs finds and opens
14 the file, reads the text, evaluates each form, and then closes the
15 file. Such a file is also called a @dfn{Lisp library}.
16
17 The load functions evaluate all the expressions in a file just
18 as the @code{eval-buffer} function evaluates all the
19 expressions in a buffer. The difference is that the load functions
20 read and evaluate the text in the file as found on disk, not the text
21 in an Emacs buffer.
22
23 @cindex top-level form
24 The loaded file must contain Lisp expressions, either as source code
25 or as byte-compiled code. Each form in the file is called a
26 @dfn{top-level form}. There is no special format for the forms in a
27 loadable file; any form in a file may equally well be typed directly
28 into a buffer and evaluated there. (Indeed, most code is tested this
29 way.) Most often, the forms are function definitions and variable
30 definitions.
31
32 For on-demand loading of external libraries, @pxref{Dynamic Libraries}.
33
34 @menu
35 * How Programs Do Loading:: The @code{load} function and others.
36 * Load Suffixes:: Details about the suffixes that @code{load} tries.
37 * Library Search:: Finding a library to load.
38 * Loading Non-ASCII:: Non-@acronym{ASCII} characters in Emacs Lisp files.
39 * Autoload:: Setting up a function to autoload.
40 * Repeated Loading:: Precautions about loading a file twice.
41 * Named Features:: Loading a library if it isn't already loaded.
42 * Where Defined:: Finding which file defined a certain symbol.
43 * Unloading:: How to "unload" a library that was loaded.
44 * Hooks for Loading:: Providing code to be run when
45 particular libraries are loaded.
46 @end menu
47
48 @node How Programs Do Loading
49 @section How Programs Do Loading
50
51 Emacs Lisp has several interfaces for loading. For example,
52 @code{autoload} creates a placeholder object for a function defined in a
53 file; trying to call the autoloading function loads the file to get the
54 function's real definition (@pxref{Autoload}). @code{require} loads a
55 file if it isn't already loaded (@pxref{Named Features}). Ultimately,
56 all these facilities call the @code{load} function to do the work.
57
58 @defun load filename &optional missing-ok nomessage nosuffix must-suffix
59 This function finds and opens a file of Lisp code, evaluates all the
60 forms in it, and closes the file.
61
62 To find the file, @code{load} first looks for a file named
63 @file{@var{filename}.elc}, that is, for a file whose name is
64 @var{filename} with the extension @samp{.elc} appended. If such a
65 file exists, it is loaded. If there is no file by that name, then
66 @code{load} looks for a file named @file{@var{filename}.el}. If that
67 file exists, it is loaded. Finally, if neither of those names is
68 found, @code{load} looks for a file named @var{filename} with nothing
69 appended, and loads it if it exists. (The @code{load} function is not
70 clever about looking at @var{filename}. In the perverse case of a
71 file named @file{foo.el.el}, evaluation of @code{(load "foo.el")} will
72 indeed find it.)
73
74 If Auto Compression mode is enabled, as it is by default, then if
75 @code{load} can not find a file, it searches for a compressed version
76 of the file before trying other file names. It decompresses and loads
77 it if it exists. It looks for compressed versions by appending each
78 of the suffixes in @code{jka-compr-load-suffixes} to the file name.
79 The value of this variable must be a list of strings. Its standard
80 value is @code{(".gz")}.
81
82 If the optional argument @var{nosuffix} is non-@code{nil}, then
83 @code{load} does not try the suffixes @samp{.elc} and @samp{.el}. In
84 this case, you must specify the precise file name you want, except
85 that, if Auto Compression mode is enabled, @code{load} will still use
86 @code{jka-compr-load-suffixes} to find compressed versions. By
87 specifying the precise file name and using @code{t} for
88 @var{nosuffix}, you can prevent file names like @file{foo.el.el} from
89 being tried.
90
91 If the optional argument @var{must-suffix} is non-@code{nil}, then
92 @code{load} insists that the file name used must end in either
93 @samp{.el} or @samp{.elc} (possibly extended with a compression
94 suffix), unless it contains an explicit directory name.
95
96 If @var{filename} is a relative file name, such as @file{foo} or
97 @file{baz/foo.bar}, @code{load} searches for the file using the variable
98 @code{load-path}. It appends @var{filename} to each of the directories
99 listed in @code{load-path}, and loads the first file it finds whose name
100 matches. The current default directory is tried only if it is specified
101 in @code{load-path}, where @code{nil} stands for the default directory.
102 @code{load} tries all three possible suffixes in the first directory in
103 @code{load-path}, then all three suffixes in the second directory, and
104 so on. @xref{Library Search}.
105
106 Whatever the name under which the file is eventually found, and the
107 directory where Emacs found it, Emacs sets the value of the variable
108 @code{load-file-name} to that file's name.
109
110 If you get a warning that @file{foo.elc} is older than @file{foo.el}, it
111 means you should consider recompiling @file{foo.el}. @xref{Byte
112 Compilation}.
113
114 When loading a source file (not compiled), @code{load} performs
115 character set translation just as Emacs would do when visiting the file.
116 @xref{Coding Systems}.
117
118 @c This is referred to from the Macros chapter.
119 @c Not sure if it should be the other way round.
120 @cindex eager macro expansion
121 When loading an uncompiled file, Emacs tries to expand any macros
122 that the file contains (@pxref{Macros}). We refer to this as
123 @dfn{eager macro expansion}. Doing this (rather than deferring
124 the expansion until the relevant code runs) can significantly speed
125 up the execution of uncompiled code. Sometimes, this macro expansion
126 cannot be done, owing to a cyclic dependency. In the simplest
127 example of this, the file you are loading refers to a macro defined
128 in another file, and that file in turn requires the file you are
129 loading. This is generally harmless. Emacs prints a warning
130 (@samp{Eager macro-expansion skipped due to cycle@dots{}})
131 giving details of the problem, but it still loads the file, just
132 leaving the macro unexpanded for now. You may wish to restructure
133 your code so that this does not happen. Loading a compiled file does
134 not cause macroexpansion, because this should already have happened
135 during compilation. @xref{Compiling Macros}.
136
137 Messages like @samp{Loading foo...} and @samp{Loading foo...done} appear
138 in the echo area during loading unless @var{nomessage} is
139 non-@code{nil}.
140
141 @cindex load errors
142 Any unhandled errors while loading a file terminate loading. If the
143 load was done for the sake of @code{autoload}, any function definitions
144 made during the loading are undone.
145
146 @kindex file-error
147 If @code{load} can't find the file to load, then normally it signals the
148 error @code{file-error} (with @samp{Cannot open load file
149 @var{filename}}). But if @var{missing-ok} is non-@code{nil}, then
150 @code{load} just returns @code{nil}.
151
152 You can use the variable @code{load-read-function} to specify a function
153 for @code{load} to use instead of @code{read} for reading expressions.
154 See below.
155
156 @code{load} returns @code{t} if the file loads successfully.
157 @end defun
158
159 @deffn Command load-file filename
160 This command loads the file @var{filename}. If @var{filename} is a
161 relative file name, then the current default directory is assumed.
162 This command does not use @code{load-path}, and does not append
163 suffixes. However, it does look for compressed versions (if Auto
164 Compression Mode is enabled). Use this command if you wish to specify
165 precisely the file name to load.
166 @end deffn
167
168 @deffn Command load-library library
169 This command loads the library named @var{library}. It is equivalent to
170 @code{load}, except for the way it reads its argument interactively.
171 @xref{Lisp Libraries,,,emacs, The GNU Emacs Manual}.
172 @end deffn
173
174 @defvar load-in-progress
175 This variable is non-@code{nil} if Emacs is in the process of loading a
176 file, and it is @code{nil} otherwise.
177 @end defvar
178
179 @defvar load-file-name
180 When Emacs is in the process of loading a file, this variable's value
181 is the name of that file, as Emacs found it during the search
182 described earlier in this section.
183 @end defvar
184
185 @defvar load-read-function
186 @anchor{Definition of load-read-function}
187 @c do not allow page break at anchor; work around Texinfo deficiency.
188 This variable specifies an alternate expression-reading function for
189 @code{load} and @code{eval-region} to use instead of @code{read}.
190 The function should accept one argument, just as @code{read} does.
191
192 Normally, the variable's value is @code{nil}, which means those
193 functions should use @code{read}.
194
195 Instead of using this variable, it is cleaner to use another, newer
196 feature: to pass the function as the @var{read-function} argument to
197 @code{eval-region}. @xref{Definition of eval-region,, Eval}.
198 @end defvar
199
200 For information about how @code{load} is used in building Emacs, see
201 @ref{Building Emacs}.
202
203 @node Load Suffixes
204 @section Load Suffixes
205 We now describe some technical details about the exact suffixes that
206 @code{load} tries.
207
208 @defvar load-suffixes
209 This is a list of suffixes indicating (compiled or source) Emacs Lisp
210 files. It should not include the empty string. @code{load} uses
211 these suffixes in order when it appends Lisp suffixes to the specified
212 file name. The standard value is @code{(".elc" ".el")} which produces
213 the behavior described in the previous section.
214 @end defvar
215
216 @defvar load-file-rep-suffixes
217 This is a list of suffixes that indicate representations of the same
218 file. This list should normally start with the empty string.
219 When @code{load} searches for a file it appends the suffixes in this
220 list, in order, to the file name, before searching for another file.
221
222 Enabling Auto Compression mode appends the suffixes in
223 @code{jka-compr-load-suffixes} to this list and disabling Auto
224 Compression mode removes them again. The standard value of
225 @code{load-file-rep-suffixes} if Auto Compression mode is disabled is
226 @code{("")}. Given that the standard value of
227 @code{jka-compr-load-suffixes} is @code{(".gz")}, the standard value
228 of @code{load-file-rep-suffixes} if Auto Compression mode is enabled
229 is @code{("" ".gz")}.
230 @end defvar
231
232 @defun get-load-suffixes
233 This function returns the list of all suffixes that @code{load} should
234 try, in order, when its @var{must-suffix} argument is non-@code{nil}.
235 This takes both @code{load-suffixes} and @code{load-file-rep-suffixes}
236 into account. If @code{load-suffixes}, @code{jka-compr-load-suffixes}
237 and @code{load-file-rep-suffixes} all have their standard values, this
238 function returns @code{(".elc" ".elc.gz" ".el" ".el.gz")} if Auto
239 Compression mode is enabled and @code{(".elc" ".el")} if Auto
240 Compression mode is disabled.
241 @end defun
242
243 To summarize, @code{load} normally first tries the suffixes in the
244 value of @code{(get-load-suffixes)} and then those in
245 @code{load-file-rep-suffixes}. If @var{nosuffix} is non-@code{nil},
246 it skips the former group, and if @var{must-suffix} is non-@code{nil},
247 it skips the latter group.
248
249 @node Library Search
250 @section Library Search
251 @cindex library search
252 @cindex find library
253
254 When Emacs loads a Lisp library, it searches for the library
255 in a list of directories specified by the variable @code{load-path}.
256
257 @defvar load-path
258 The value of this variable is a list of directories to search when
259 loading files with @code{load}. Each element is a string (which must be
260 a directory name) or @code{nil} (which stands for the current working
261 directory).
262 @end defvar
263
264 When Emacs starts up, it sets up the value of @code{load-path}
265 in several steps. First, it initializes @code{load-path} using
266 default locations set when Emacs was compiled. Normally, this
267 is a directory something like
268
269 @example
270 "/usr/local/share/emacs/@var{version}/lisp"
271 @end example
272
273 (In this and the following examples, replace @file{/usr/local} with
274 the installation prefix appropriate for your Emacs.)
275 These directories contain the standard Lisp files that come with
276 Emacs. If Emacs cannot find them, it will not start correctly.
277
278 If you run Emacs from the directory where it was built---that is, an
279 executable that has not been formally installed---Emacs instead
280 initializes @code{load-path} using the @file{lisp}
281 directory in the directory containing the sources from which it
282 was built.
283 @c Though there should be no *.el files in builddir/lisp, so it's pointless.
284 If you built Emacs in a separate directory from the
285 sources, it also adds the lisp directories from the build directory.
286 (In all cases, elements are represented as absolute file names.)
287
288 @cindex site-lisp directories
289 Unless you start Emacs with the @option{--no-site-lisp} option,
290 it then adds two more @file{site-lisp} directories to the front of
291 @code{load-path}. These are intended for locally installed Lisp files,
292 and are normally of the form:
293
294 @example
295 "/usr/local/share/emacs/@var{version}/site-lisp"
296 @end example
297
298 @noindent
299 and
300
301 @example
302 "/usr/local/share/emacs/site-lisp"
303 @end example
304
305 @noindent
306 The first one is for locally installed files for a specific Emacs
307 version; the second is for locally installed files meant for use
308 with all installed Emacs versions. (If Emacs is running uninstalled,
309 it also adds @file{site-lisp} directories from the source and build
310 directories, if they exist. Normally these directories do not contain
311 @file{site-lisp} directories.)
312
313 @cindex @env{EMACSLOADPATH} environment variable
314 If the environment variable @env{EMACSLOADPATH} is set, it modifies
315 the above initialization procedure. Emacs initializes
316 @code{load-path} based on the value of the environment variable.
317
318 The syntax of @env{EMACSLOADPATH} is the same as used for @code{PATH};
319 directory names are separated by @samp{:} (or @samp{;}, on some
320 operating systems).
321 @ignore
322 @c AFAICS, does not (yet) work right to specify non-absolute elements.
323 and @samp{.} stands for the current default directory.
324 @end ignore
325 Here is an example of how to set @env{EMACSLOADPATH} variable (from a
326 @command{sh}-style shell):
327
328 @example
329 export EMACSLOADPATH=/home/foo/.emacs.d/lisp:
330 @end example
331
332 An empty element in the value of the environment variable, whether
333 trailing (as in the above example), leading, or embedded, is replaced
334 by the default value of @code{load-path} as determined by the standard
335 initialization procedure. If there are no such empty elements, then
336 @env{EMACSLOADPATH} specifies the entire @code{load-path}. You must
337 include either an empty element, or the explicit path to the directory
338 containing the standard Lisp files, else Emacs will not function.
339 (Another way to modify @code{load-path} is to use the @option{-L}
340 command-line option when starting Emacs; see below.)
341
342 For each directory in @code{load-path}, Emacs then checks to see if
343 it contains a file @file{subdirs.el}, and if so, loads it. The
344 @file{subdirs.el} file is created when Emacs is built/installed,
345 and contains code that causes Emacs to add any subdirectories of those
346 directories to @code{load-path}. Both immediate subdirectories and
347 subdirectories multiple levels down are added. But it excludes
348 subdirectories whose names do not start with a letter or digit, and
349 subdirectories named @file{RCS} or @file{CVS}, and subdirectories
350 containing a file named @file{.nosearch}.
351
352 Next, Emacs adds any extra load directories that you specify using the
353 @option{-L} command-line option (@pxref{Action Arguments,,,emacs, The
354 GNU Emacs Manual}). It also adds the directories where optional
355 packages are installed, if any (@pxref{Packaging Basics}).
356
357 It is common to add code to one's init file (@pxref{Init File}) to
358 add one or more directories to @code{load-path}. For example:
359
360 @example
361 (push "~/.emacs.d/lisp" load-path)
362 @end example
363
364 Dumping Emacs uses a special value of @code{load-path}. If you use
365 a @file{site-load.el} or @file{site-init.el} file to customize the
366 dumped Emacs (@pxref{Building Emacs}), any changes to @code{load-path}
367 that these files make will be lost after dumping.
368
369 @deffn Command locate-library library &optional nosuffix path interactive-call
370 This command finds the precise file name for library @var{library}. It
371 searches for the library in the same way @code{load} does, and the
372 argument @var{nosuffix} has the same meaning as in @code{load}: don't
373 add suffixes @samp{.elc} or @samp{.el} to the specified name
374 @var{library}.
375
376 If the @var{path} is non-@code{nil}, that list of directories is used
377 instead of @code{load-path}.
378
379 When @code{locate-library} is called from a program, it returns the file
380 name as a string. When the user runs @code{locate-library}
381 interactively, the argument @var{interactive-call} is @code{t}, and this
382 tells @code{locate-library} to display the file name in the echo area.
383 @end deffn
384
385 @cindex shadowed Lisp files
386 @deffn Command list-load-path-shadows &optional stringp
387 This command shows a list of @dfn{shadowed} Emacs Lisp files. A
388 shadowed file is one that will not normally be loaded, despite being
389 in a directory on @code{load-path}, due to the existence of another
390 similarly-named file in a directory earlier on @code{load-path}.
391
392 For instance, suppose @code{load-path} is set to
393
394 @example
395 ("/opt/emacs/site-lisp" "/usr/share/emacs/23.3/lisp")
396 @end example
397
398 @noindent
399 and that both these directories contain a file named @file{foo.el}.
400 Then @code{(require 'foo)} never loads the file in the second
401 directory. Such a situation might indicate a problem in the way Emacs
402 was installed.
403
404 When called from Lisp, this function prints a message listing the
405 shadowed files, instead of displaying them in a buffer. If the
406 optional argument @code{stringp} is non-@code{nil}, it instead returns
407 the shadowed files as a string.
408 @end deffn
409
410 @node Loading Non-ASCII
411 @section Loading Non-@acronym{ASCII} Characters
412
413 When Emacs Lisp programs contain string constants with non-@acronym{ASCII}
414 characters, these can be represented within Emacs either as unibyte
415 strings or as multibyte strings (@pxref{Text Representations}). Which
416 representation is used depends on how the file is read into Emacs. If
417 it is read with decoding into multibyte representation, the text of the
418 Lisp program will be multibyte text, and its string constants will be
419 multibyte strings. If a file containing Latin-1 characters (for
420 example) is read without decoding, the text of the program will be
421 unibyte text, and its string constants will be unibyte strings.
422 @xref{Coding Systems}.
423
424 In most Emacs Lisp programs, the fact that non-@acronym{ASCII}
425 strings are multibyte strings should not be noticeable, since
426 inserting them in unibyte buffers converts them to unibyte
427 automatically. However, if this does make a difference, you can force
428 a particular Lisp file to be interpreted as unibyte by writing
429 @samp{coding: raw-text} in a local variables section. With
430 that designator, the file will unconditionally be interpreted as
431 unibyte. This can matter when making keybindings to
432 non-@acronym{ASCII} characters written as @code{?v@var{literal}}.
433
434 @node Autoload
435 @section Autoload
436 @cindex autoload
437
438 The @dfn{autoload} facility lets you register the existence of a
439 function or macro, but put off loading the file that defines it. The
440 first call to the function automatically loads the proper library, in
441 order to install the real definition and other associated code, then
442 runs the real definition as if it had been loaded all along.
443 Autoloading can also be triggered by looking up the documentation of
444 the function or macro (@pxref{Documentation Basics}).
445
446 There are two ways to set up an autoloaded function: by calling
447 @code{autoload}, and by writing a special ``magic'' comment in the
448 source before the real definition. @code{autoload} is the low-level
449 primitive for autoloading; any Lisp program can call @code{autoload} at
450 any time. Magic comments are the most convenient way to make a function
451 autoload, for packages installed along with Emacs. These comments do
452 nothing on their own, but they serve as a guide for the command
453 @code{update-file-autoloads}, which constructs calls to @code{autoload}
454 and arranges to execute them when Emacs is built.
455
456 @defun autoload function filename &optional docstring interactive type
457 This function defines the function (or macro) named @var{function} so as
458 to load automatically from @var{filename}. The string @var{filename}
459 specifies the file to load to get the real definition of @var{function}.
460
461 If @var{filename} does not contain either a directory name, or the
462 suffix @code{.el} or @code{.elc}, this function insists on adding one
463 of these suffixes, and it will not load from a file whose name is just
464 @var{filename} with no added suffix. (The variable
465 @code{load-suffixes} specifies the exact required suffixes.)
466
467 The argument @var{docstring} is the documentation string for the
468 function. Specifying the documentation string in the call to
469 @code{autoload} makes it possible to look at the documentation without
470 loading the function's real definition. Normally, this should be
471 identical to the documentation string in the function definition
472 itself. If it isn't, the function definition's documentation string
473 takes effect when it is loaded.
474
475 If @var{interactive} is non-@code{nil}, that says @var{function} can be
476 called interactively. This lets completion in @kbd{M-x} work without
477 loading @var{function}'s real definition. The complete interactive
478 specification is not given here; it's not needed unless the user
479 actually calls @var{function}, and when that happens, it's time to load
480 the real definition.
481
482 You can autoload macros and keymaps as well as ordinary functions.
483 Specify @var{type} as @code{macro} if @var{function} is really a macro.
484 Specify @var{type} as @code{keymap} if @var{function} is really a
485 keymap. Various parts of Emacs need to know this information without
486 loading the real definition.
487
488 An autoloaded keymap loads automatically during key lookup when a prefix
489 key's binding is the symbol @var{function}. Autoloading does not occur
490 for other kinds of access to the keymap. In particular, it does not
491 happen when a Lisp program gets the keymap from the value of a variable
492 and calls @code{define-key}; not even if the variable name is the same
493 symbol @var{function}.
494
495 @cindex function cell in autoload
496 If @var{function} already has a non-void function definition that is not
497 an autoload object, this function does nothing and returns @code{nil}.
498 Otherwise, it constructs an autoload object (@pxref{Autoload Type}),
499 and stores it as the function definition for @var{function}. The
500 autoload object has this form:
501
502 @example
503 (autoload @var{filename} @var{docstring} @var{interactive} @var{type})
504 @end example
505
506 For example,
507
508 @example
509 @group
510 (symbol-function 'run-prolog)
511 @result{} (autoload "prolog" 169681 t nil)
512 @end group
513 @end example
514
515 @noindent
516 In this case, @code{"prolog"} is the name of the file to load, 169681
517 refers to the documentation string in the
518 @file{emacs/etc/DOC} file (@pxref{Documentation Basics}),
519 @code{t} means the function is interactive, and @code{nil} that it is
520 not a macro or a keymap.
521 @end defun
522
523 @defun autoloadp object
524 This function returns non-@code{nil} if @var{object} is an autoload
525 object. For example, to check if @code{run-prolog} is defined as an
526 autoloaded function, evaluate
527
528 @smallexample
529 (autoloadp (symbol-function 'run-prolog))
530 @end smallexample
531 @end defun
532
533 @cindex autoload errors
534 The autoloaded file usually contains other definitions and may require
535 or provide one or more features. If the file is not completely loaded
536 (due to an error in the evaluation of its contents), any function
537 definitions or @code{provide} calls that occurred during the load are
538 undone. This is to ensure that the next attempt to call any function
539 autoloading from this file will try again to load the file. If not for
540 this, then some of the functions in the file might be defined by the
541 aborted load, but fail to work properly for the lack of certain
542 subroutines not loaded successfully because they come later in the file.
543
544 If the autoloaded file fails to define the desired Lisp function or
545 macro, then an error is signaled with data @code{"Autoloading failed to
546 define function @var{function-name}"}.
547
548 @findex update-file-autoloads
549 @findex update-directory-autoloads
550 @cindex magic autoload comment
551 @cindex autoload cookie
552 @anchor{autoload cookie}
553 A magic autoload comment (often called an @dfn{autoload cookie})
554 consists of @samp{;;;###autoload}, on a line by itself,
555 just before the real definition of the function in its
556 autoloadable source file. The command @kbd{M-x update-file-autoloads}
557 writes a corresponding @code{autoload} call into @file{loaddefs.el}.
558 (The string that serves as the autoload cookie and the name of the
559 file generated by @code{update-file-autoloads} can be changed from the
560 above defaults, see below.)
561 Building Emacs loads @file{loaddefs.el} and thus calls @code{autoload}.
562 @kbd{M-x update-directory-autoloads} is even more powerful; it updates
563 autoloads for all files in the current directory.
564
565 The same magic comment can copy any kind of form into
566 @file{loaddefs.el}. The form following the magic comment is copied
567 verbatim, @emph{except} if it is one of the forms which the autoload
568 facility handles specially (e.g., by conversion into an
569 @code{autoload} call). The forms which are not copied verbatim are
570 the following:
571
572 @table @asis
573 @item Definitions for function or function-like objects:
574 @code{defun} and @code{defmacro}; also @code{cl-defun} and
575 @code{cl-defmacro} (@pxref{Argument Lists,,,cl,Common Lisp Extensions}),
576 and @code{define-overloadable-function} (see the commentary in
577 @file{mode-local.el}).
578
579 @item Definitions for major or minor modes:
580 @code{define-minor-mode}, @code{define-globalized-minor-mode},
581 @code{define-generic-mode}, @code{define-derived-mode},
582 @code{easy-mmode-define-minor-mode},
583 @code{easy-mmode-define-global-mode}, @code{define-compilation-mode},
584 and @code{define-global-minor-mode}.
585
586 @item Other definition types:
587 @code{defcustom}, @code{defgroup}, @code{defclass}
588 (@pxref{Top,EIEIO,,eieio,EIEIO}), and @code{define-skeleton} (see the
589 commentary in @file{skeleton.el}).
590 @end table
591
592 You can also use a magic comment to execute a form at build time
593 @emph{without} executing it when the file itself is loaded. To do this,
594 write the form @emph{on the same line} as the magic comment. Since it
595 is in a comment, it does nothing when you load the source file; but
596 @kbd{M-x update-file-autoloads} copies it to @file{loaddefs.el}, where
597 it is executed while building Emacs.
598
599 The following example shows how @code{doctor} is prepared for
600 autoloading with a magic comment:
601
602 @example
603 ;;;###autoload
604 (defun doctor ()
605 "Switch to *doctor* buffer and start giving psychotherapy."
606 (interactive)
607 (switch-to-buffer "*doctor*")
608 (doctor-mode))
609 @end example
610
611 @noindent
612 Here's what that produces in @file{loaddefs.el}:
613
614 @example
615 (autoload (quote doctor) "doctor" "\
616 Switch to *doctor* buffer and start giving psychotherapy.
617
618 \(fn)" t nil)
619 @end example
620
621 @noindent
622 @cindex @code{fn} in function's documentation string
623 The backslash and newline immediately following the double-quote are a
624 convention used only in the preloaded uncompiled Lisp files such as
625 @file{loaddefs.el}; they tell @code{make-docfile} to put the
626 documentation string in the @file{etc/DOC} file. @xref{Building Emacs}.
627 See also the commentary in @file{lib-src/make-docfile.c}. @samp{(fn)}
628 in the usage part of the documentation string is replaced with the
629 function's name when the various help functions (@pxref{Help
630 Functions}) display it.
631
632 If you write a function definition with an unusual macro that is not
633 one of the known and recognized function definition methods, use of an
634 ordinary magic autoload comment would copy the whole definition into
635 @code{loaddefs.el}. That is not desirable. You can put the desired
636 @code{autoload} call into @code{loaddefs.el} instead by writing this:
637
638 @example
639 ;;;###autoload (autoload 'foo "myfile")
640 (mydefunmacro foo
641 ...)
642 @end example
643
644 You can use a non-default string as the autoload cookie and have the
645 corresponding autoload calls written into a file whose name is
646 different from the default @file{loaddefs.el}. Emacs provides two
647 variables to control this:
648
649 @defvar generate-autoload-cookie
650 The value of this variable should be a string whose syntax is a Lisp
651 comment. @kbd{M-x update-file-autoloads} copies the Lisp form that
652 follows the cookie into the autoload file it generates. The default
653 value of this variable is @code{";;;###autoload"}.
654 @end defvar
655
656 @defvar generated-autoload-file
657 The value of this variable names an Emacs Lisp file where the autoload
658 calls should go. The default value is @file{loaddefs.el}, but you can
659 override that, e.g., in the ``Local Variables'' section of a
660 @file{.el} file (@pxref{File Local Variables}). The autoload file is
661 assumed to contain a trailer starting with a formfeed character.
662 @end defvar
663
664 The following function may be used to explicitly load the library
665 specified by an autoload object:
666
667 @defun autoload-do-load autoload &optional name macro-only
668 This function performs the loading specified by @var{autoload}, which
669 should be an autoload object. The optional argument @var{name}, if
670 non-@code{nil}, should be a symbol whose function value is
671 @var{autoload}; in that case, the return value of this function is the
672 symbol's new function value. If the value of the optional argument
673 @var{macro-only} is @code{macro}, this function avoids loading a
674 function, only a macro.
675 @end defun
676
677 @node Repeated Loading
678 @section Repeated Loading
679 @cindex repeated loading
680
681 You can load a given file more than once in an Emacs session. For
682 example, after you have rewritten and reinstalled a function definition
683 by editing it in a buffer, you may wish to return to the original
684 version; you can do this by reloading the file it came from.
685
686 When you load or reload files, bear in mind that the @code{load} and
687 @code{load-library} functions automatically load a byte-compiled file
688 rather than a non-compiled file of similar name. If you rewrite a file
689 that you intend to save and reinstall, you need to byte-compile the new
690 version; otherwise Emacs will load the older, byte-compiled file instead
691 of your newer, non-compiled file! If that happens, the message
692 displayed when loading the file includes, @samp{(compiled; note, source is
693 newer)}, to remind you to recompile it.
694
695 When writing the forms in a Lisp library file, keep in mind that the
696 file might be loaded more than once. For example, think about whether
697 each variable should be reinitialized when you reload the library;
698 @code{defvar} does not change the value if the variable is already
699 initialized. (@xref{Defining Variables}.)
700
701 The simplest way to add an element to an alist is like this:
702
703 @example
704 (push '(leif-mode " Leif") minor-mode-alist)
705 @end example
706
707 @noindent
708 But this would add multiple elements if the library is reloaded. To
709 avoid the problem, use @code{add-to-list} (@pxref{List Variables}):
710
711 @example
712 (add-to-list 'minor-mode-alist '(leif-mode " Leif"))
713 @end example
714
715 Occasionally you will want to test explicitly whether a library has
716 already been loaded. If the library uses @code{provide} to provide a
717 named feature, you can use @code{featurep} earlier in the file to test
718 whether the @code{provide} call has been executed before (@pxref{Named
719 Features}). Alternatively, you could use something like this:
720
721 @example
722 (defvar foo-was-loaded nil)
723
724 (unless foo-was-loaded
725 @var{execute-first-time-only}
726 (setq foo-was-loaded t))
727 @end example
728
729 @noindent
730
731 @node Named Features
732 @section Features
733 @cindex features
734 @cindex requiring features
735 @cindex providing features
736
737 @code{provide} and @code{require} are an alternative to
738 @code{autoload} for loading files automatically. They work in terms of
739 named @dfn{features}. Autoloading is triggered by calling a specific
740 function, but a feature is loaded the first time another program asks
741 for it by name.
742
743 A feature name is a symbol that stands for a collection of functions,
744 variables, etc. The file that defines them should @dfn{provide} the
745 feature. Another program that uses them may ensure they are defined by
746 @dfn{requiring} the feature. This loads the file of definitions if it
747 hasn't been loaded already.
748
749 @cindex load error with require
750 To require the presence of a feature, call @code{require} with the
751 feature name as argument. @code{require} looks in the global variable
752 @code{features} to see whether the desired feature has been provided
753 already. If not, it loads the feature from the appropriate file. This
754 file should call @code{provide} at the top level to add the feature to
755 @code{features}; if it fails to do so, @code{require} signals an error.
756
757 For example, in @file{idlwave.el}, the definition for
758 @code{idlwave-complete-filename} includes the following code:
759
760 @example
761 (defun idlwave-complete-filename ()
762 "Use the comint stuff to complete a file name."
763 (require 'comint)
764 (let* ((comint-file-name-chars "~/A-Za-z0-9+@@:_.$#%=@{@}\\-")
765 (comint-completion-addsuffix nil)
766 ...)
767 (comint-dynamic-complete-filename)))
768 @end example
769
770 @noindent
771 The expression @code{(require 'comint)} loads the file @file{comint.el}
772 if it has not yet been loaded, ensuring that
773 @code{comint-dynamic-complete-filename} is defined. Features are
774 normally named after the files that provide them, so that
775 @code{require} need not be given the file name. (Note that it is
776 important that the @code{require} statement be outside the body of the
777 @code{let}. Loading a library while its variables are let-bound can
778 have unintended consequences, namely the variables becoming unbound
779 after the let exits.)
780
781 The @file{comint.el} file contains the following top-level expression:
782
783 @example
784 (provide 'comint)
785 @end example
786
787 @noindent
788 This adds @code{comint} to the global @code{features} list, so that
789 @code{(require 'comint)} will henceforth know that nothing needs to be
790 done.
791
792 @cindex byte-compiling @code{require}
793 When @code{require} is used at top level in a file, it takes effect
794 when you byte-compile that file (@pxref{Byte Compilation}) as well as
795 when you load it. This is in case the required package contains macros
796 that the byte compiler must know about. It also avoids byte compiler
797 warnings for functions and variables defined in the file loaded with
798 @code{require}.
799
800 Although top-level calls to @code{require} are evaluated during
801 byte compilation, @code{provide} calls are not. Therefore, you can
802 ensure that a file of definitions is loaded before it is byte-compiled
803 by including a @code{provide} followed by a @code{require} for the same
804 feature, as in the following example.
805
806 @example
807 @group
808 (provide 'my-feature) ; @r{Ignored by byte compiler,}
809 ; @r{evaluated by @code{load}.}
810 (require 'my-feature) ; @r{Evaluated by byte compiler.}
811 @end group
812 @end example
813
814 @noindent
815 The compiler ignores the @code{provide}, then processes the
816 @code{require} by loading the file in question. Loading the file does
817 execute the @code{provide} call, so the subsequent @code{require} call
818 does nothing when the file is loaded.
819
820 @defun provide feature &optional subfeatures
821 This function announces that @var{feature} is now loaded, or being
822 loaded, into the current Emacs session. This means that the facilities
823 associated with @var{feature} are or will be available for other Lisp
824 programs.
825
826 The direct effect of calling @code{provide} is if not already in
827 @var{features} then to add @var{feature} to the front of that list and
828 call any @code{eval-after-load} code waiting for it (@pxref{Hooks for
829 Loading}). The argument @var{feature} must be a symbol.
830 @code{provide} returns @var{feature}.
831
832 If provided, @var{subfeatures} should be a list of symbols indicating
833 a set of specific subfeatures provided by this version of
834 @var{feature}. You can test the presence of a subfeature using
835 @code{featurep}. The idea of subfeatures is that you use them when a
836 package (which is one @var{feature}) is complex enough to make it
837 useful to give names to various parts or functionalities of the
838 package, which might or might not be loaded, or might or might not be
839 present in a given version. @xref{Network Feature Testing}, for
840 an example.
841
842 @example
843 features
844 @result{} (bar bish)
845
846 (provide 'foo)
847 @result{} foo
848 features
849 @result{} (foo bar bish)
850 @end example
851
852 When a file is loaded to satisfy an autoload, and it stops due to an
853 error in the evaluation of its contents, any function definitions or
854 @code{provide} calls that occurred during the load are undone.
855 @xref{Autoload}.
856 @end defun
857
858 @defun require feature &optional filename noerror
859 This function checks whether @var{feature} is present in the current
860 Emacs session (using @code{(featurep @var{feature})}; see below). The
861 argument @var{feature} must be a symbol.
862
863 If the feature is not present, then @code{require} loads @var{filename}
864 with @code{load}. If @var{filename} is not supplied, then the name of
865 the symbol @var{feature} is used as the base file name to load.
866 However, in this case, @code{require} insists on finding @var{feature}
867 with an added @samp{.el} or @samp{.elc} suffix (possibly extended with
868 a compression suffix); a file whose name is just @var{feature} won't
869 be used. (The variable @code{load-suffixes} specifies the exact
870 required Lisp suffixes.)
871
872 If @var{noerror} is non-@code{nil}, that suppresses errors from actual
873 loading of the file. In that case, @code{require} returns @code{nil}
874 if loading the file fails. Normally, @code{require} returns
875 @var{feature}.
876
877 If loading the file succeeds but does not provide @var{feature},
878 @code{require} signals an error, @samp{Required feature @var{feature}
879 was not provided}.
880 @end defun
881
882 @defun featurep feature &optional subfeature
883 This function returns @code{t} if @var{feature} has been provided in
884 the current Emacs session (i.e., if @var{feature} is a member of
885 @code{features}.) If @var{subfeature} is non-@code{nil}, then the
886 function returns @code{t} only if that subfeature is provided as well
887 (i.e., if @var{subfeature} is a member of the @code{subfeature}
888 property of the @var{feature} symbol.)
889 @end defun
890
891 @defvar features
892 The value of this variable is a list of symbols that are the features
893 loaded in the current Emacs session. Each symbol was put in this list
894 with a call to @code{provide}. The order of the elements in the
895 @code{features} list is not significant.
896 @end defvar
897
898 @node Where Defined
899 @section Which File Defined a Certain Symbol
900
901 @defun symbol-file symbol &optional type
902 This function returns the name of the file that defined @var{symbol}.
903 If @var{type} is @code{nil}, then any kind of definition is acceptable.
904 If @var{type} is @code{defun}, @code{defvar}, or @code{defface}, that
905 specifies function definition, variable definition, or face definition
906 only.
907
908 The value is normally an absolute file name. It can also be @code{nil},
909 if the definition is not associated with any file. If @var{symbol}
910 specifies an autoloaded function, the value can be a relative file name
911 without extension.
912 @end defun
913
914 The basis for @code{symbol-file} is the data in the variable
915 @code{load-history}.
916
917 @defvar load-history
918 The value of this variable is an alist that associates the names of
919 loaded library files with the names of the functions and variables
920 they defined, as well as the features they provided or required.
921
922 Each element in this alist describes one loaded library (including
923 libraries that are preloaded at startup). It is a list whose @sc{car}
924 is the absolute file name of the library (a string). The rest of the
925 list elements have these forms:
926
927 @table @code
928 @item @var{var}
929 The symbol @var{var} was defined as a variable.
930 @item (defun . @var{fun})
931 The function @var{fun} was defined.
932 @item (t . @var{fun})
933 The function @var{fun} was previously an autoload before this library
934 redefined it as a function. The following element is always
935 @code{(defun . @var{fun})}, which represents defining @var{fun} as a
936 function.
937 @item (autoload . @var{fun})
938 The function @var{fun} was defined as an autoload.
939 @item (defface . @var{face})
940 The face @var{face} was defined.
941 @item (require . @var{feature})
942 The feature @var{feature} was required.
943 @item (provide . @var{feature})
944 The feature @var{feature} was provided.
945 @end table
946
947 The value of @code{load-history} may have one element whose @sc{car} is
948 @code{nil}. This element describes definitions made with
949 @code{eval-buffer} on a buffer that is not visiting a file.
950 @end defvar
951
952 The command @code{eval-region} updates @code{load-history}, but does so
953 by adding the symbols defined to the element for the file being visited,
954 rather than replacing that element. @xref{Eval}.
955
956 @node Unloading
957 @section Unloading
958 @cindex unloading packages
959
960 @c Emacs 19 feature
961 You can discard the functions and variables loaded by a library to
962 reclaim memory for other Lisp objects. To do this, use the function
963 @code{unload-feature}:
964
965 @deffn Command unload-feature feature &optional force
966 This command unloads the library that provided feature @var{feature}.
967 It undefines all functions, macros, and variables defined in that
968 library with @code{defun}, @code{defalias}, @code{defsubst},
969 @code{defmacro}, @code{defconst}, @code{defvar}, and @code{defcustom}.
970 It then restores any autoloads formerly associated with those symbols.
971 (Loading saves these in the @code{autoload} property of the symbol.)
972
973 Before restoring the previous definitions, @code{unload-feature} runs
974 @code{remove-hook} to remove functions in the library from certain
975 hooks. These hooks include variables whose names end in @samp{-hook}
976 (or the deprecated suffix @samp{-hooks}), plus those listed in
977 @code{unload-feature-special-hooks}, as well as
978 @code{auto-mode-alist}. This is to prevent Emacs from ceasing to
979 function because important hooks refer to functions that are no longer
980 defined.
981
982 Standard unloading activities also undoes ELP profiling of functions
983 in that library, unprovides any features provided by the library, and
984 cancels timers held in variables defined by the library.
985
986 @vindex @var{feature}-unload-function
987 If these measures are not sufficient to prevent malfunction, a library
988 can define an explicit unloader named @code{@var{feature}-unload-function}.
989 If that symbol is defined as a function, @code{unload-feature} calls
990 it with no arguments before doing anything else. It can do whatever
991 is appropriate to unload the library. If it returns @code{nil},
992 @code{unload-feature} proceeds to take the normal unload actions.
993 Otherwise it considers the job to be done.
994
995 Ordinarily, @code{unload-feature} refuses to unload a library on which
996 other loaded libraries depend. (A library @var{a} depends on library
997 @var{b} if @var{a} contains a @code{require} for @var{b}.) If the
998 optional argument @var{force} is non-@code{nil}, dependencies are
999 ignored and you can unload any library.
1000 @end deffn
1001
1002 The @code{unload-feature} function is written in Lisp; its actions are
1003 based on the variable @code{load-history}.
1004
1005 @defvar unload-feature-special-hooks
1006 This variable holds a list of hooks to be scanned before unloading a
1007 library, to remove functions defined in the library.
1008 @end defvar
1009
1010 @node Hooks for Loading
1011 @section Hooks for Loading
1012 @cindex loading hooks
1013 @cindex hooks for loading
1014
1015 You can ask for code to be executed each time Emacs loads a library,
1016 by using the variable @code{after-load-functions}:
1017
1018 @defvar after-load-functions
1019 This abnormal hook is run after loading a file. Each function in the
1020 hook is called with a single argument, the absolute filename of the
1021 file that was just loaded.
1022 @end defvar
1023
1024 If you want code to be executed when a @emph{particular} library is
1025 loaded, use the macro @code{with-eval-after-load}:
1026
1027 @defmac with-eval-after-load library body@dots{}
1028 This macro arranges to evaluate @var{body} at the end of loading
1029 the file @var{library}, each time @var{library} is loaded. If
1030 @var{library} is already loaded, it evaluates @var{body} right away.
1031
1032 You don't need to give a directory or extension in the file name
1033 @var{library}. Normally, you just give a bare file name, like this:
1034
1035 @example
1036 (with-eval-after-load "edebug" (def-edebug-spec c-point t))
1037 @end example
1038
1039 To restrict which files can trigger the evaluation, include a
1040 directory or an extension or both in @var{library}. Only a file whose
1041 absolute true name (i.e., the name with all symbolic links chased out)
1042 matches all the given name components will match. In the following
1043 example, @file{my_inst.elc} or @file{my_inst.elc.gz} in some directory
1044 @code{..../foo/bar} will trigger the evaluation, but not
1045 @file{my_inst.el}:
1046
1047 @example
1048 (with-eval-after-load "foo/bar/my_inst.elc" @dots{})
1049 @end example
1050
1051 @var{library} can also be a feature (i.e., a symbol), in which case
1052 @var{body} is evaluated at the end of any file where
1053 @code{(provide @var{library})} is called.
1054
1055 An error in @var{body} does not undo the load, but does prevent
1056 execution of the rest of @var{body}.
1057 @end defmac
1058
1059 Normally, well-designed Lisp programs should not use
1060 @code{eval-after-load}. If you need to examine and set the variables
1061 defined in another library (those meant for outside use), you can do
1062 it immediately---there is no need to wait until the library is loaded.
1063 If you need to call functions defined by that library, you should load
1064 the library, preferably with @code{require} (@pxref{Named Features}).