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