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