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