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