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