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