(rmail-edit-current-message, rmail-cease-edit):
[bpt/emacs.git] / lispref / loading.texi
CommitLineData
83ac6b45
RS
1@c -*-texinfo-*-
2@c This is part of the GNU Emacs Lisp Reference Manual.
f9f59935 3@c Copyright (C) 1990, 1991, 1992, 1993, 1994, 1995, 1998 Free Software Foundation, Inc.
83ac6b45
RS
4@c See the file elisp.texi for copying conditions.
5@setfilename ../info/loading
f9f59935 6@node Loading, Byte Compilation, Customization, Top
83ac6b45
RS
7@chapter Loading
8@cindex loading
9@cindex library
10@cindex Lisp library
11
12 Loading a file of Lisp code means bringing its contents into the Lisp
13environment in the form of Lisp objects. Emacs finds and opens the
14file, reads the text, evaluates each form, and then closes the file.
15
16 The load functions evaluate all the expressions in a file just
17as the @code{eval-current-buffer} function evaluates all the
18expressions in a buffer. The difference is that the load functions
19read and evaluate the text in the file as found on disk, not the text
20in an Emacs buffer.
21
22@cindex top-level form
23 The loaded file must contain Lisp expressions, either as source code
78c71a98
RS
24or as byte-compiled code. Each form in the file is called a
25@dfn{top-level form}. There is no special format for the forms in a
83ac6b45
RS
26loadable file; any form in a file may equally well be typed directly
27into a buffer and evaluated there. (Indeed, most code is tested this
28way.) Most often, the forms are function definitions and variable
29definitions.
30
31 A file containing Lisp code is often called a @dfn{library}. Thus,
32the ``Rmail library'' is a file containing code for Rmail mode.
33Similarly, a ``Lisp library directory'' is a directory of files
34containing Lisp code.
35
36@menu
37* How Programs Do Loading:: The @code{load} function and others.
a9f0a989
RS
38* Library Search:: Finding a library to load.
39* Loading Non-ASCII:: Non-@sc{ASCII} characters in Emacs Lisp files.
83ac6b45
RS
40* Autoload:: Setting up a function to autoload.
41* Repeated Loading:: Precautions about loading a file twice.
bfe721d1 42* Named Features:: Loading a library if it isn't already loaded.
83ac6b45
RS
43* Unloading:: How to ``unload'' a library that was loaded.
44* Hooks for Loading:: Providing code to be run when
45 particular libraries are loaded.
46@end menu
47
48@node How Programs Do Loading
49@section How Programs Do Loading
50
51 Emacs Lisp has several interfaces for loading. For example,
f9f59935
RS
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
83ac6b45 54function's real definition (@pxref{Autoload}). @code{require} loads a
f9f59935
RS
55file if it isn't already loaded (@pxref{Named Features}). Ultimately,
56all these facilities call the @code{load} function to do the work.
83ac6b45 57
a9f0a989 58@defun load filename &optional missing-ok nomessage nosuffix must-suffix
83ac6b45
RS
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 @samp{.elc} appended. If such a file exists, it is
65loaded. If there is no file by that name, then @code{load} looks for a
78c71a98 66file named @file{@var{filename}.el}. If that file exists, it is loaded.
83ac6b45
RS
67Finally, if neither of those names is found, @code{load} looks for a
68file named @var{filename} with nothing appended, and loads it if it
69exists. (The @code{load} function is not clever about looking at
70@var{filename}. In the perverse case of a file named @file{foo.el.el},
71evaluation of @code{(load "foo.el")} will indeed find it.)
72
73If the optional argument @var{nosuffix} is non-@code{nil}, then the
74suffixes @samp{.elc} and @samp{.el} are not tried. In this case, you
f9f59935
RS
75must specify the precise file name you want. By specifying the precise
76file name and using @code{t} for @var{nosuffix}, you can prevent
77perverse file names such as @file{foo.el.el} from being tried.
83ac6b45 78
a9f0a989
RS
79If the optional argument @var{must-suffix} is non-@code{nil}, then
80@code{load} insists that the file name used must end in either
81@samp{.el} or @samp{.elc}, unless it contains an explicit directory
82name. If @var{filename} does not contain an explicit directory name,
83and does not end in a suffix, then @code{load} insists on adding one.
84
83ac6b45
RS
85If @var{filename} is a relative file name, such as @file{foo} or
86@file{baz/foo.bar}, @code{load} searches for the file using the variable
87@code{load-path}. It appends @var{filename} to each of the directories
88listed in @code{load-path}, and loads the first file it finds whose name
89matches. The current default directory is tried only if it is specified
90in @code{load-path}, where @code{nil} stands for the default directory.
91@code{load} tries all three possible suffixes in the first directory in
92@code{load-path}, then all three suffixes in the second directory, and
a9f0a989 93so on. @xref{Library Search}.
83ac6b45
RS
94
95If you get a warning that @file{foo.elc} is older than @file{foo.el}, it
96means you should consider recompiling @file{foo.el}. @xref{Byte
97Compilation}.
98
969fe9b5
RS
99When loading a source file (not compiled), @code{load} performs
100character set translation just as Emacs would do when visiting the file.
101@xref{Coding Systems}.
102
83ac6b45
RS
103Messages like @samp{Loading foo...} and @samp{Loading foo...done} appear
104in the echo area during loading unless @var{nomessage} is
105non-@code{nil}.
106
107@cindex load errors
108Any unhandled errors while loading a file terminate loading. If the
78c71a98
RS
109load was done for the sake of @code{autoload}, any function definitions
110made during the loading are undone.
83ac6b45
RS
111
112@kindex file-error
113If @code{load} can't find the file to load, then normally it signals the
114error @code{file-error} (with @samp{Cannot open load file
115@var{filename}}). But if @var{missing-ok} is non-@code{nil}, then
116@code{load} just returns @code{nil}.
117
22697dac
KH
118You can use the variable @code{load-read-function} to specify a function
119for @code{load} to use instead of @code{read} for reading expressions.
120See below.
121
83ac6b45
RS
122@code{load} returns @code{t} if the file loads successfully.
123@end defun
124
83ac6b45 125@deffn Command load-file filename
f9f59935
RS
126This command loads the file @var{filename}. If @var{filename} is a
127relative file name, then the current default directory is assumed.
128@code{load-path} is not used, and suffixes are not appended. Use this
a9f0a989 129command if you wish to specify precisely the file name to load.
83ac6b45
RS
130@end deffn
131
132@deffn Command load-library library
f9f59935
RS
133This command loads the library named @var{library}. It is equivalent to
134@code{load}, except in how it reads its argument interactively.
83ac6b45 135@end deffn
83ac6b45 136
a9f0a989
RS
137@defvar load-in-progress
138This variable is non-@code{nil} if Emacs is in the process of loading a
139file, and it is @code{nil} otherwise.
140@end defvar
141
142@defvar load-read-function
143This variable specifies an alternate expression-reading function for
144@code{load} and @code{eval-region} to use instead of @code{read}.
145The function should accept one argument, just as @code{read} does.
146
147Normally, the variable's value is @code{nil}, which means those
148functions should use @code{read}.
55607887
RS
149
150@strong{Note:} Instead of using this variable, it is cleaner to use
151another, newer feature: to pass the function as the @var{read-function}
152argument to @code{eval-region}. @xref{Eval}.
a9f0a989
RS
153@end defvar
154
1911e6e5
RS
155 For information about how @code{load} is used in building Emacs, see
156@ref{Building Emacs}.
a9f0a989
RS
157
158@node Library Search
159@section Library Search
160
161 When Emacs loads a Lisp library, it searches for the library
162in a list of directories specified by the variable @code{load-path}.
163
83ac6b45
RS
164@defopt load-path
165@cindex @code{EMACSLOADPATH} environment variable
166The value of this variable is a list of directories to search when
167loading files with @code{load}. Each element is a string (which must be
168a directory name) or @code{nil} (which stands for the current working
a9f0a989
RS
169directory).
170@end defopt
171
172 The value of @code{load-path} is initialized from the environment
173variable @code{EMACSLOADPATH}, if that exists; otherwise its default
174value is specified in @file{emacs/src/paths.h} when Emacs is built.
175Then the list is expanded by adding subdirectories of the directories
176in the list.
83ac6b45 177
a9f0a989 178 The syntax of @code{EMACSLOADPATH} is the same as used for @code{PATH};
bfe721d1
KH
179@samp{:} (or @samp{;}, according to the operating system) separates
180directory names, and @samp{.} is used for the current default directory.
181Here is an example of how to set your @code{EMACSLOADPATH} variable from
182a @code{csh} @file{.login} file:
83ac6b45 183
83ac6b45 184@smallexample
f1e2c45e 185setenv EMACSLOADPATH .:/user/bil/emacs:/usr/local/share/emacs/20.3/lisp
83ac6b45
RS
186@end smallexample
187
a9f0a989 188 Here is how to set it using @code{sh}:
83ac6b45
RS
189
190@smallexample
191export EMACSLOADPATH
f1e2c45e 192EMACSLOADPATH=.:/user/bil/emacs:/usr/local/share/emacs/20.3/lisp
83ac6b45
RS
193@end smallexample
194
a9f0a989 195 Here is an example of code you can place in a @file{.emacs} file to add
83ac6b45
RS
196several directories to the front of your default @code{load-path}:
197
198@smallexample
bda144f4 199@group
83ac6b45
RS
200(setq load-path
201 (append (list nil "/user/bil/emacs"
202 "/usr/local/lisplib"
5e41cf03 203 "~/emacs")
83ac6b45 204 load-path))
bda144f4 205@end group
83ac6b45
RS
206@end smallexample
207
208@c Wordy to rid us of an overfull hbox. --rjc 15mar92
209@noindent
210In this example, the path searches the current working directory first,
5e41cf03
RS
211followed then by the @file{/user/bil/emacs} directory, the
212@file{/usr/local/lisplib} directory, and the @file{~/emacs} directory,
83ac6b45
RS
213which are then followed by the standard directories for Lisp code.
214
a9f0a989 215 Dumping Emacs uses a special value of @code{load-path}. If the value of
c642171c
RS
216@code{load-path} at the end of dumping is unchanged (that is, still the
217same special value), the dumped Emacs switches to the ordinary
cc8c51f1 218@code{load-path} value when it starts up, as described above. But if
c642171c
RS
219@code{load-path} has any other value at the end of dumping, that value
220is used for execution of the dumped Emacs also.
221
a9f0a989 222 Therefore, if you want to change @code{load-path} temporarily for
c642171c
RS
223loading a few libraries in @file{site-init.el} or @file{site-load.el},
224you should bind @code{load-path} locally with @code{let} around the
225calls to @code{load}.
83ac6b45 226
089e089d 227 The default value of @code{load-path}, when running an Emacs which has
a9f0a989
RS
228been installed on the system, includes two special directories (and
229their subdirectories as well):
089e089d
RS
230
231@smallexample
a9f0a989 232"/usr/local/share/emacs/@var{version}/site-lisp"
089e089d
RS
233@end smallexample
234
a9f0a989
RS
235@noindent
236and
237
238@smallexample
239"/usr/local/share/emacs/site-lisp"
240@end smallexample
241
242@noindent
243The first one is for locally installed packages for a particular Emacs
244version; the second is for locally installed packages meant for use with
245all installed Emacs versions.
089e089d
RS
246
247 There are several reasons why a Lisp package that works well in one
248Emacs version can cause trouble in another. Sometimes packages need
249updating for incompatible changes in Emacs; sometimes they depend on
250undocumented internal Emacs data that can change without notice;
251sometimes a newer Emacs version incorporates a version of the package,
252and should be used only with that version.
253
a9f0a989
RS
254 Emacs finds these directories' subdirectories and adds them to
255@code{load-path} when it starts up. Both immediate subdirectories and
256subdirectories multiple levels down are added to @code{load-path}.
257
258 Not all subdirectories are included, though. Subdirectories whose
259names do not start with a letter or digit are excluded. Subdirectories
260named @file{RCS} are excluded. Also, a subdirectory which contains a
261file named @file{.nosearch} is excluded. You can use these methods to
262prevent certain subdirectories of the @file{site-lisp} directories from
263being searched.
264
089e089d
RS
265 If you run Emacs from the directory where it was built---that is, an
266executable that has not been formally installed---then @code{load-path}
267normally contains two additional directories. These are the @code{lisp}
268and @code{site-lisp} subdirectories of the main build directory. (Both
269are represented as absolute file names.)
270
f9f59935
RS
271@deffn Command locate-library library &optional nosuffix path interactive-call
272This command finds the precise file name for library @var{library}. It
273searches for the library in the same way @code{load} does, and the
274argument @var{nosuffix} has the same meaning as in @code{load}: don't
275add suffixes @samp{.elc} or @samp{.el} to the specified name
276@var{library}.
277
278If the @var{path} is non-@code{nil}, that list of directories is used
279instead of @code{load-path}.
280
281When @code{locate-library} is called from a program, it returns the file
282name as a string. When the user runs @code{locate-library}
283interactively, the argument @var{interactive-call} is @code{t}, and this
284tells @code{locate-library} to display the file name in the echo area.
285@end deffn
286
a9f0a989
RS
287@node Loading Non-ASCII
288@section Loading Non-ASCII Characters
289
290 When Emacs Lisp programs contain string constants with non-@sc{ASCII}
291characters, these can be represented within Emacs either as unibyte
292strings or as multibyte strings (@pxref{Text Representations}). Which
293representation is used depends on how the file is read into Emacs. If
294it is read with decoding into multibyte representation, the text of the
295Lisp program will be multibyte text, and its string constants will be
296multibyte strings. If a file containing Latin-1 characters (for
297example) is read without decoding, the text of the program will be
298unibyte text, and its string constants will be unibyte strings.
299@xref{Coding Systems}.
300
301 To make the results more predictable, Emacs always performs decoding
302into the multibyte representation when loading Lisp files, even if it
303was started with the @samp{--unibyte} option. This means that string
304constants with non-@sc{ASCII} characters translate into multibyte
305strings. The only exception is when a particular file specifies no
306decoding.
307
308 The reason Emacs is designed this way is so that Lisp programs give
309predictable results, regardless of how Emacs was started. In addition,
310this enables programs that depend on using multibyte text to work even
311in a unibyte Emacs. Of course, such programs should be designed to
312notice whether the user prefers unibyte or multibyte text, by checking
313@code{default-enable-multibyte-characters}, and convert representations
314appropriately.
315
316 In most Emacs Lisp programs, the fact that non-@sc{ASCII} strings are
317multibyte strings should not be noticeable, since inserting them in
318unibyte buffers converts them to unibyte automatically. However, if
319this does make a difference, you can force a particular Lisp file to be
430f8c73 320interpreted as unibyte by writing @samp{-*-unibyte: t;-*-} in a
a9f0a989
RS
321comment on the file's first line. With that designator, the file will
322be unconditionally be interpreted as unibyte, even in an ordinary
323multibyte Emacs session.
324
83ac6b45
RS
325@node Autoload
326@section Autoload
327@cindex autoload
328
329 The @dfn{autoload} facility allows you to make a function or macro
bfe721d1
KH
330known in Lisp, but put off loading the file that defines it. The first
331call to the function automatically reads the proper file to install the
332real definition and other associated code, then runs the real definition
83ac6b45
RS
333as if it had been loaded all along.
334
335 There are two ways to set up an autoloaded function: by calling
336@code{autoload}, and by writing a special ``magic'' comment in the
337source before the real definition. @code{autoload} is the low-level
338primitive for autoloading; any Lisp program can call @code{autoload} at
969fe9b5 339any time. Magic comments are the most convenient way to make a function
a9f0a989
RS
340autoload, for packages installed along with Emacs. These comments do
341nothing on their own, but they serve as a guide for the command
969fe9b5
RS
342@code{update-file-autoloads}, which constructs calls to @code{autoload}
343and arranges to execute them when Emacs is built.
83ac6b45 344
78c71a98
RS
345@defun autoload function filename &optional docstring interactive type
346This function defines the function (or macro) named @var{function} so as
83ac6b45
RS
347to load automatically from @var{filename}. The string @var{filename}
348specifies the file to load to get the real definition of @var{function}.
349
f9f59935
RS
350If @var{filename} does not contain either a directory name, or the
351suffix @code{.el} or @code{.elc}, then @code{autoload} insists on adding
352one of these suffixes, and it will not load from a file whose name is
353just @var{filename} with no added suffix.
354
83ac6b45 355The argument @var{docstring} is the documentation string for the
f9f59935 356function. Normally, this should be identical to the documentation string
83ac6b45
RS
357in the function definition itself. Specifying the documentation string
358in the call to @code{autoload} makes it possible to look at the
359documentation without loading the function's real definition.
360
969fe9b5
RS
361If @var{interactive} is non-@code{nil}, that says @var{function} can be
362called interactively. This lets completion in @kbd{M-x} work without
a9f0a989
RS
363loading @var{function}'s real definition. The complete interactive
364specification is not given here; it's not needed unless the user
365actually calls @var{function}, and when that happens, it's time to load
366the real definition.
83ac6b45
RS
367
368You can autoload macros and keymaps as well as ordinary functions.
369Specify @var{type} as @code{macro} if @var{function} is really a macro.
370Specify @var{type} as @code{keymap} if @var{function} is really a
371keymap. Various parts of Emacs need to know this information without
372loading the real definition.
373
bda144f4
MW
374An autoloaded keymap loads automatically during key lookup when a prefix
375key's binding is the symbol @var{function}. Autoloading does not occur
376for other kinds of access to the keymap. In particular, it does not
377happen when a Lisp program gets the keymap from the value of a variable
378and calls @code{define-key}; not even if the variable name is the same
379symbol @var{function}.
380
83ac6b45 381@cindex function cell in autoload
78c71a98 382If @var{function} already has a non-void function definition that is not
83ac6b45 383an autoload object, @code{autoload} does nothing and returns @code{nil}.
78c71a98 384If the function cell of @var{function} is void, or is already an autoload
83ac6b45
RS
385object, then it is defined as an autoload object like this:
386
387@example
388(autoload @var{filename} @var{docstring} @var{interactive} @var{type})
389@end example
390
391For example,
392
393@example
bda144f4 394@group
83ac6b45
RS
395(symbol-function 'run-prolog)
396 @result{} (autoload "prolog" 169681 t nil)
bda144f4 397@end group
83ac6b45
RS
398@end example
399
400@noindent
401In this case, @code{"prolog"} is the name of the file to load, 169681
f9f59935
RS
402refers to the documentation string in the
403@file{emacs/etc/DOC-@var{version}} file (@pxref{Documentation Basics}),
404@code{t} means the function is interactive, and @code{nil} that it is
405not a macro or a keymap.
83ac6b45
RS
406@end defun
407
408@cindex autoload errors
409 The autoloaded file usually contains other definitions and may require
410or provide one or more features. If the file is not completely loaded
411(due to an error in the evaluation of its contents), any function
412definitions or @code{provide} calls that occurred during the load are
413undone. This is to ensure that the next attempt to call any function
414autoloading from this file will try again to load the file. If not for
a9f0a989
RS
415this, then some of the functions in the file might be defined by the
416aborted load, but fail to work properly for the lack of certain
417subroutines not loaded successfully because they come later in the file.
83ac6b45
RS
418
419 If the autoloaded file fails to define the desired Lisp function or
420macro, then an error is signaled with data @code{"Autoloading failed to
421define function @var{function-name}"}.
422
423@findex update-file-autoloads
424@findex update-directory-autoloads
a9f0a989 425 A magic autoload comment consists of @samp{;;;###autoload}, on a line
83ac6b45
RS
426by itself, just before the real definition of the function in its
427autoloadable source file. The command @kbd{M-x update-file-autoloads}
428writes a corresponding @code{autoload} call into @file{loaddefs.el}.
429Building Emacs loads @file{loaddefs.el} and thus calls @code{autoload}.
430@kbd{M-x update-directory-autoloads} is even more powerful; it updates
431autoloads for all files in the current directory.
432
433 The same magic comment can copy any kind of form into
434@file{loaddefs.el}. If the form following the magic comment is not a
435function definition, it is copied verbatim. You can also use a magic
78c71a98 436comment to execute a form at build time @emph{without} executing it when
0f87d8d9 437the file itself is loaded. To do this, write the form @emph{on the same
78c71a98 438line} as the magic comment. Since it is in a comment, it does nothing
969fe9b5
RS
439when you load the source file; but @kbd{M-x update-file-autoloads}
440copies it to @file{loaddefs.el}, where it is executed while building
441Emacs.
83ac6b45
RS
442
443 The following example shows how @code{doctor} is prepared for
444autoloading with a magic comment:
445
446@smallexample
447;;;###autoload
448(defun doctor ()
449 "Switch to *doctor* buffer and start giving psychotherapy."
450 (interactive)
451 (switch-to-buffer "*doctor*")
452 (doctor-mode))
453@end smallexample
454
455@noindent
456Here's what that produces in @file{loaddefs.el}:
457
458@smallexample
459(autoload 'doctor "doctor"
460 "\
461Switch to *doctor* buffer and start giving psychotherapy."
462 t)
463@end smallexample
464
465@noindent
466The backslash and newline immediately following the double-quote are a
467convention used only in the preloaded Lisp files such as
468@file{loaddefs.el}; they tell @code{make-docfile} to put the
469documentation string in the @file{etc/DOC} file. @xref{Building Emacs}.
470
471@node Repeated Loading
83ac6b45
RS
472@section Repeated Loading
473@cindex repeated loading
474
a9f0a989 475 You can load a given file more than once in an Emacs session. For
83ac6b45
RS
476example, after you have rewritten and reinstalled a function definition
477by editing it in a buffer, you may wish to return to the original
478version; you can do this by reloading the file it came from.
479
480 When you load or reload files, bear in mind that the @code{load} and
481@code{load-library} functions automatically load a byte-compiled file
482rather than a non-compiled file of similar name. If you rewrite a file
f9f59935
RS
483that you intend to save and reinstall, you need to byte-compile the new
484version; otherwise Emacs will load the older, byte-compiled file instead
485of your newer, non-compiled file! If that happens, the message
a9f0a989 486displayed when loading the file includes, @samp{(compiled; note, source is
969fe9b5 487newer)}, to remind you to recompile it.
83ac6b45
RS
488
489 When writing the forms in a Lisp library file, keep in mind that the
f9f59935
RS
490file might be loaded more than once. For example, think about whether
491each variable should be reinitialized when you reload the library;
492@code{defvar} does not change the value if the variable is already
493initialized. (@xref{Defining Variables}.)
83ac6b45
RS
494
495 The simplest way to add an element to an alist is like this:
496
497@example
498(setq minor-mode-alist
499 (cons '(leif-mode " Leif") minor-mode-alist))
500@end example
501
502@noindent
503But this would add multiple elements if the library is reloaded.
504To avoid the problem, write this:
505
506@example
507(or (assq 'leif-mode minor-mode-alist)
508 (setq minor-mode-alist
509 (cons '(leif-mode " Leif") minor-mode-alist)))
510@end example
511
a9f0a989 512 To add an element to a list just once, you can also use @code{add-to-list}
bfe721d1
KH
513(@pxref{Setting Variables}).
514
83ac6b45
RS
515 Occasionally you will want to test explicitly whether a library has
516already been loaded. Here's one way to test, in a library, whether it
517has been loaded before:
518
519@example
969fe9b5 520(defvar foo-was-loaded nil)
bfe721d1 521
969fe9b5
RS
522(unless foo-was-loaded
523 @var{execute-first-time-only}
524 (setq foo-was-loaded t))
83ac6b45
RS
525@end example
526
527@noindent
528If the library uses @code{provide} to provide a named feature, you can
969fe9b5
RS
529use @code{featurep} earlier in the file to test whether the
530@code{provide} call has been executed before.
78c71a98 531@ifinfo
bfe721d1 532@xref{Named Features}.
78c71a98 533@end ifinfo
83ac6b45 534
bfe721d1 535@node Named Features
83ac6b45
RS
536@section Features
537@cindex features
538@cindex requiring features
539@cindex providing features
540
541 @code{provide} and @code{require} are an alternative to
542@code{autoload} for loading files automatically. They work in terms of
543named @dfn{features}. Autoloading is triggered by calling a specific
544function, but a feature is loaded the first time another program asks
545for it by name.
546
547 A feature name is a symbol that stands for a collection of functions,
548variables, etc. The file that defines them should @dfn{provide} the
549feature. Another program that uses them may ensure they are defined by
550@dfn{requiring} the feature. This loads the file of definitions if it
551hasn't been loaded already.
552
553 To require the presence of a feature, call @code{require} with the
554feature name as argument. @code{require} looks in the global variable
555@code{features} to see whether the desired feature has been provided
556already. If not, it loads the feature from the appropriate file. This
78c71a98 557file should call @code{provide} at the top level to add the feature to
83ac6b45
RS
558@code{features}; if it fails to do so, @code{require} signals an error.
559@cindex load error with require
560
83ac6b45
RS
561 For example, in @file{emacs/lisp/prolog.el},
562the definition for @code{run-prolog} includes the following code:
563
564@smallexample
565(defun run-prolog ()
9e2b495b 566 "Run an inferior Prolog process, with I/O via buffer *prolog*."
83ac6b45
RS
567 (interactive)
568 (require 'comint)
569 (switch-to-buffer (make-comint "prolog" prolog-program-name))
570 (inferior-prolog-mode))
571@end smallexample
572
573@noindent
574The expression @code{(require 'comint)} loads the file @file{comint.el}
575if it has not yet been loaded. This ensures that @code{make-comint} is
969fe9b5
RS
576defined. Features are normally named after the files that provide them,
577so that @code{require} need not be given the file name.
83ac6b45
RS
578
579The @file{comint.el} file contains the following top-level expression:
580
581@smallexample
582(provide 'comint)
583@end smallexample
584
585@noindent
586This adds @code{comint} to the global @code{features} list, so that
587@code{(require 'comint)} will henceforth know that nothing needs to be
588done.
589
590@cindex byte-compiling @code{require}
78c71a98 591 When @code{require} is used at top level in a file, it takes effect
83ac6b45
RS
592when you byte-compile that file (@pxref{Byte Compilation}) as well as
593when you load it. This is in case the required package contains macros
594that the byte compiler must know about.
595
596 Although top-level calls to @code{require} are evaluated during
597byte compilation, @code{provide} calls are not. Therefore, you can
598ensure that a file of definitions is loaded before it is byte-compiled
599by including a @code{provide} followed by a @code{require} for the same
600feature, as in the following example.
601
602@smallexample
603@group
604(provide 'my-feature) ; @r{Ignored by byte compiler,}
605 ; @r{evaluated by @code{load}.}
606(require 'my-feature) ; @r{Evaluated by byte compiler.}
607@end group
608@end smallexample
609
78c71a98
RS
610@noindent
611The compiler ignores the @code{provide}, then processes the
612@code{require} by loading the file in question. Loading the file does
613execute the @code{provide} call, so the subsequent @code{require} call
969fe9b5 614does nothing when the file is loaded.
78c71a98 615
83ac6b45
RS
616@defun provide feature
617This function announces that @var{feature} is now loaded, or being
618loaded, into the current Emacs session. This means that the facilities
619associated with @var{feature} are or will be available for other Lisp
620programs.
621
622The direct effect of calling @code{provide} is to add @var{feature} to
623the front of the list @code{features} if it is not already in the list.
624The argument @var{feature} must be a symbol. @code{provide} returns
625@var{feature}.
626
627@smallexample
628features
629 @result{} (bar bish)
630
631(provide 'foo)
632 @result{} foo
633features
634 @result{} (foo bar bish)
635@end smallexample
636
bfe721d1
KH
637When a file is loaded to satisfy an autoload, and it stops due to an
638error in the evaluating its contents, any function definitions or
639@code{provide} calls that occurred during the load are undone.
640@xref{Autoload}.
83ac6b45
RS
641@end defun
642
643@defun require feature &optional filename
644This function checks whether @var{feature} is present in the current
f9f59935
RS
645Emacs session (using @code{(featurep @var{feature})}; see below). The
646argument @var{feature} must be a symbol.
647
648If the feature is not present, then @code{require} loads @var{filename}
649with @code{load}. If @var{filename} is not supplied, then the name of
650the symbol @var{feature} is used as the base file name to load.
651However, in this case, @code{require} insists on finding @var{feature}
652with an added suffix; a file whose name is just @var{feature} won't be
653used.
83ac6b45
RS
654
655If loading the file fails to provide @var{feature}, @code{require}
656signals an error, @samp{Required feature @var{feature} was not
657provided}.
658@end defun
659
660@defun featurep feature
661This function returns @code{t} if @var{feature} has been provided in the
969fe9b5 662current Emacs session (i.e., if @var{feature} is a member of
83ac6b45
RS
663@code{features}.)
664@end defun
665
666@defvar features
667The value of this variable is a list of symbols that are the features
668loaded in the current Emacs session. Each symbol was put in this list
669with a call to @code{provide}. The order of the elements in the
670@code{features} list is not significant.
671@end defvar
672
673@node Unloading
674@section Unloading
675@cindex unloading
676
677@c Emacs 19 feature
678 You can discard the functions and variables loaded by a library to
679reclaim memory for other Lisp objects. To do this, use the function
680@code{unload-feature}:
681
ee6bcc94 682@deffn Command unload-feature feature &optional force
83ac6b45 683This command unloads the library that provided feature @var{feature}.
78c71a98 684It undefines all functions, macros, and variables defined in that
969fe9b5
RS
685library with @code{defun}, @code{defalias}, @code{defsubst},
686@code{defmacro}, @code{defconst}, @code{defvar}, and @code{defcustom}.
687It then restores any autoloads formerly associated with those symbols.
688(Loading saves these in the @code{autoload} property of the symbol.)
ee6bcc94 689
6582d61e
RS
690Before restoring the previous definitions, @code{unload-feature} runs
691@code{remove-hook} to remove functions in the library from certain
692hooks. These hooks include variables whose names end in @samp{hook} or
693@samp{-hooks}, plus those listed in @code{loadhist-special-hooks}. This
694is to prevent Emacs from ceasing to function because important hooks
695refer to functions that are no longer defined.
696
697@vindex @var{feature}-unload-hook
698If these measures are not sufficient to prevent malfunction, a library
699can define an explicit unload hook. If @code{@var{feature}-unload-hook}
700is defined, it is run as a normal hook before restoring the previous
701definitions, @emph{instead of} the usual hook-removing actions. The
702unload hook ought to undo all the global state changes made by the
703library that might cease to work once the library is unloaded.
704
ee6bcc94
RS
705Ordinarily, @code{unload-feature} refuses to unload a library on which
706other loaded libraries depend. (A library @var{a} depends on library
707@var{b} if @var{a} contains a @code{require} for @var{b}.) If the
708optional argument @var{force} is non-@code{nil}, dependencies are
709ignored and you can unload any library.
83ac6b45
RS
710@end deffn
711
712 The @code{unload-feature} function is written in Lisp; its actions are
713based on the variable @code{load-history}.
714
715@defvar load-history
716This variable's value is an alist connecting library names with the
717names of functions and variables they define, the features they provide,
718and the features they require.
719
720Each element is a list and describes one library. The @sc{car} of the
721list is the name of the library, as a string. The rest of the list is
722composed of these kinds of objects:
723
724@itemize @bullet
725@item
78c71a98 726Symbols that were defined by this library.
83ac6b45
RS
727@item
728Lists of the form @code{(require . @var{feature})} indicating
729features that were required.
730@item
731Lists of the form @code{(provide . @var{feature})} indicating
732features that were provided.
733@end itemize
734
735The value of @code{load-history} may have one element whose @sc{car} is
736@code{nil}. This element describes definitions made with
737@code{eval-buffer} on a buffer that is not visiting a file.
738@end defvar
739
740 The command @code{eval-region} updates @code{load-history}, but does so
741by adding the symbols defined to the element for the file being visited,
55607887 742rather than replacing that element. @xref{Eval}.
83ac6b45 743
6582d61e
RS
744 Preloaded libraries don't contribute to @code{load-history}.
745
746@tindex loadhist-special-hooks
747@defvar loadhist-special-hooks
748This variable holds a list of hooks to be scanned before unloading a
749library, to remove functions defined in the library.
750@end defvar
751
83ac6b45
RS
752@node Hooks for Loading
753@section Hooks for Loading
754@cindex loading hooks
755@cindex hooks for loading
756
757You can ask for code to be executed if and when a particular library is
758loaded, by calling @code{eval-after-load}.
759
760@defun eval-after-load library form
761This function arranges to evaluate @var{form} at the end of loading the
d2e9ee06
RS
762library @var{library}, if and when @var{library} is loaded. If
763@var{library} is already loaded, it evaluates @var{form} right away.
83ac6b45
RS
764
765The library name @var{library} must exactly match the argument of
766@code{load}. To get the proper results when an installed library is
767found by searching @code{load-path}, you should not include any
768directory names in @var{library}.
769
770An error in @var{form} does not undo the load, but does prevent
771execution of the rest of @var{form}.
772@end defun
773
d2e9ee06
RS
774In general, well-designed Lisp programs should not use this feature.
775The clean and modular ways to interact with a Lisp library are (1)
776examine and set the library's variables (those which are meant for
cc8c51f1 777outside use), and (2) call the library's functions. If you wish to
d2e9ee06
RS
778do (1), you can do it immediately---there is no need to wait for when
779the library is loaded. To do (2), you must load the library (preferably
780with @code{require}).
781
969fe9b5
RS
782But it is OK to use @code{eval-after-load} in your personal
783customizations if you don't feel they must meet the design standards for
784programs meant for wider use.
d2e9ee06 785
83ac6b45
RS
786@defvar after-load-alist
787An alist of expressions to evaluate if and when particular libraries are
788loaded. Each element looks like this:
789
790@example
791(@var{filename} @var{forms}@dots{})
792@end example
793
794The function @code{load} checks @code{after-load-alist} in order to
795implement @code{eval-after-load}.
796@end defvar
797
798@c Emacs 19 feature