]> code.delx.au - gnu-emacs/blob - lisp/emacs-lisp/cl.el
Update FSF's address.
[gnu-emacs] / lisp / emacs-lisp / cl.el
1 ;;; cl.el --- Common Lisp extensions for GNU Emacs Lisp
2
3 ;; Copyright (C) 1993 Free Software Foundation, Inc.
4
5 ;; Author: Dave Gillespie <daveg@synaptics.com>
6 ;; Version: 2.02
7 ;; Keywords: extensions
8
9 ;; This file is part of GNU Emacs.
10
11 ;; GNU Emacs is free software; you can redistribute it and/or modify
12 ;; it under the terms of the GNU General Public License as published by
13 ;; the Free Software Foundation; either version 2, or (at your option)
14 ;; any later version.
15
16 ;; GNU Emacs is distributed in the hope that it will be useful,
17 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
18 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
19 ;; GNU General Public License for more details.
20
21 ;; You should have received a copy of the GNU General Public License
22 ;; along with GNU Emacs; see the file COPYING. If not, write to the
23 ;; Free Software Foundation, Inc., 59 Temple Place - Suite 330,
24 ;; Boston, MA 02111-1307, USA.
25
26 ;;; Commentary:
27
28 ;; These are extensions to Emacs Lisp that provide a degree of
29 ;; Common Lisp compatibility, beyond what is already built-in
30 ;; in Emacs Lisp.
31 ;;
32 ;; This package was written by Dave Gillespie; it is a complete
33 ;; rewrite of Cesar Quiroz's original cl.el package of December 1986.
34 ;;
35 ;; This package works with Emacs 18, Emacs 19, and Lucid Emacs 19.
36 ;;
37 ;; Bug reports, comments, and suggestions are welcome!
38
39 ;; This file contains the portions of the Common Lisp extensions
40 ;; package which should always be present.
41
42
43 ;;; Future notes:
44
45 ;; Once Emacs 19 becomes standard, many things in this package which are
46 ;; messy for reasons of compatibility can be greatly simplified. For now,
47 ;; I prefer to maintain one unified version.
48
49
50 ;;; Change Log:
51
52 ;; Version 2.02 (30 Jul 93):
53 ;; * Added "cl-compat.el" file, extra compatibility with old package.
54 ;; * Added `lexical-let' and `lexical-let*'.
55 ;; * Added `define-modify-macro', `callf', and `callf2'.
56 ;; * Added `ignore-errors'.
57 ;; * Changed `(setf (nthcdr N PLACE) X)' to work when N is zero.
58 ;; * Merged `*gentemp-counter*' into `*gensym-counter*'.
59 ;; * Extended `subseq' to allow negative START and END like `substring'.
60 ;; * Added `in-ref', `across-ref', `elements of-ref' loop clauses.
61 ;; * Added `concat', `vconcat' loop clauses.
62 ;; * Cleaned up a number of compiler warnings.
63
64 ;; Version 2.01 (7 Jul 93):
65 ;; * Added support for FSF version of Emacs 19.
66 ;; * Added `add-hook' for Emacs 18 users.
67 ;; * Added `defsubst*' and `symbol-macrolet'.
68 ;; * Added `maplist', `mapc', `mapl', `mapcan', `mapcon'.
69 ;; * Added `map', `concatenate', `reduce', `merge'.
70 ;; * Added `revappend', `nreconc', `tailp', `tree-equal'.
71 ;; * Added `assert', `check-type', `typecase', `typep', and `deftype'.
72 ;; * Added destructuring and `&environment' support to `defmacro*'.
73 ;; * Added destructuring to `loop', and added the following clauses:
74 ;; `elements', `frames', `overlays', `intervals', `buffers', `key-seqs'.
75 ;; * Renamed `delete' to `delete*' and `remove' to `remove*'.
76 ;; * Completed support for all keywords in `remove*', `substitute', etc.
77 ;; * Added `most-positive-float' and company.
78 ;; * Fixed hash tables to work with latest Lucid Emacs.
79 ;; * `proclaim' forms are no longer compile-time-evaluating; use `declaim'.
80 ;; * Syntax for `warn' declarations has changed.
81 ;; * Improved implementation of `random*'.
82 ;; * Moved most sequence functions to a new file, cl-seq.el.
83 ;; * Moved `eval-when' into cl-macs.el.
84 ;; * Moved `pushnew' and `adjoin' to cl.el for most common cases.
85 ;; * Moved `provide' forms down to ends of files.
86 ;; * Changed expansion of `pop' to something that compiles to better code.
87 ;; * Changed so that no patch is required for Emacs 19 byte compiler.
88 ;; * Made more things dependent on `optimize' declarations.
89 ;; * Added a partial implementation of struct print functions.
90 ;; * Miscellaneous minor changes.
91
92 ;; Version 2.00:
93 ;; * First public release of this package.
94
95
96 ;;; Code:
97
98 (defvar cl-emacs-type (cond ((or (and (fboundp 'epoch::version)
99 (symbol-value 'epoch::version))
100 (string-lessp emacs-version "19")) 18)
101 ((string-match "Lucid" emacs-version) 'lucid)
102 (t 19)))
103
104 (or (fboundp 'defalias) (fset 'defalias 'fset))
105
106 (defvar cl-optimize-speed 1)
107 (defvar cl-optimize-safety 1)
108
109
110 ;;; Keywords used in this package.
111
112 (defconst :test ':test)
113 (defconst :test-not ':test-not)
114 (defconst :key ':key)
115 (defconst :start ':start)
116 (defconst :start1 ':start1)
117 (defconst :start2 ':start2)
118 (defconst :end ':end)
119 (defconst :end1 ':end1)
120 (defconst :end2 ':end2)
121 (defconst :count ':count)
122 (defconst :initial-value ':initial-value)
123 (defconst :size ':size)
124 (defconst :from-end ':from-end)
125 (defconst :rehash-size ':rehash-size)
126 (defconst :rehash-threshold ':rehash-threshold)
127 (defconst :allow-other-keys ':allow-other-keys)
128
129
130 (defvar custom-print-functions nil
131 "This is a list of functions that format user objects for printing.
132 Each function is called in turn with three arguments: the object, the
133 stream, and the print level (currently ignored). If it is able to
134 print the object it returns true; otherwise it returns nil and the
135 printer proceeds to the next function on the list.
136
137 This variable is not used at present, but it is defined in hopes that
138 a future Emacs interpreter will be able to use it.")
139
140
141 ;;; Predicates.
142
143 (defun eql (a b) ; See compiler macro in cl-macs.el
144 "T if the two args are the same Lisp object.
145 Floating-point numbers of equal value are `eql', but they may not be `eq'."
146 (if (numberp a)
147 (equal a b)
148 (eq a b)))
149
150
151 ;;; Generalized variables. These macros are defined here so that they
152 ;;; can safely be used in .emacs files.
153
154 (defmacro incf (place &optional x)
155 "(incf PLACE [X]): increment PLACE by X (1 by default).
156 PLACE may be a symbol, or any generalized variable allowed by `setf'.
157 The return value is the incremented value of PLACE."
158 (if (symbolp place)
159 (list 'setq place (if x (list '+ place x) (list '1+ place)))
160 (list 'callf '+ place (or x 1))))
161
162 (defmacro decf (place &optional x)
163 "(decf PLACE [X]): decrement PLACE by X (1 by default).
164 PLACE may be a symbol, or any generalized variable allowed by `setf'.
165 The return value is the decremented value of PLACE."
166 (if (symbolp place)
167 (list 'setq place (if x (list '- place x) (list '1- place)))
168 (list 'callf '- place (or x 1))))
169
170 (defmacro pop (place)
171 "(pop PLACE): remove and return the head of the list stored in PLACE.
172 Analogous to (prog1 (car PLACE) (setf PLACE (cdr PLACE))), though more
173 careful about evaluating each argument only once and in the right order.
174 PLACE may be a symbol, or any generalized variable allowed by `setf'."
175 (if (symbolp place)
176 (list 'car (list 'prog1 place (list 'setq place (list 'cdr place))))
177 (cl-do-pop place)))
178
179 (defmacro push (x place)
180 "(push X PLACE): insert X at the head of the list stored in PLACE.
181 Analogous to (setf PLACE (cons X PLACE)), though more careful about
182 evaluating each argument only once and in the right order. PLACE may
183 be a symbol, or any generalized variable allowed by `setf'."
184 (if (symbolp place) (list 'setq place (list 'cons x place))
185 (list 'callf2 'cons x place)))
186
187 (defmacro pushnew (x place &rest keys)
188 "(pushnew X PLACE): insert X at the head of the list if not already there.
189 Like (push X PLACE), except that the list is unmodified if X is `eql' to
190 an element already on the list.
191 Keywords supported: :test :test-not :key"
192 (if (symbolp place) (list 'setq place (list* 'adjoin x place keys))
193 (list* 'callf2 'adjoin x place keys)))
194
195 (defun cl-set-elt (seq n val)
196 (if (listp seq) (setcar (nthcdr n seq) val) (aset seq n val)))
197
198 (defun cl-set-nthcdr (n list x)
199 (if (<= n 0) x (setcdr (nthcdr (1- n) list) x) list))
200
201 (defun cl-set-buffer-substring (start end val)
202 (save-excursion (delete-region start end)
203 (goto-char start)
204 (insert val)
205 val))
206
207 (defun cl-set-substring (str start end val)
208 (if end (if (< end 0) (incf end (length str)))
209 (setq end (length str)))
210 (if (< start 0) (incf start str))
211 (concat (and (> start 0) (substring str 0 start))
212 val
213 (and (< end (length str)) (substring str end))))
214
215
216 ;;; Control structures.
217
218 ;;; These macros are so simple and so often-used that it's better to have
219 ;;; them all the time than to load them from cl-macs.el.
220
221 (defmacro when (cond &rest body)
222 "(when COND BODY...): if COND yields non-nil, do BODY, else return nil."
223 (list 'if cond (cons 'progn body)))
224
225 (defmacro unless (cond &rest body)
226 "(unless COND BODY...): if COND yields nil, do BODY, else return nil."
227 (cons 'if (cons cond (cons nil body))))
228
229 (defun cl-map-extents (&rest cl-args)
230 (if (fboundp 'next-overlay-at) (apply 'cl-map-overlays cl-args)
231 (if (fboundp 'map-extents) (apply 'map-extents cl-args))))
232
233
234 ;;; Blocks and exits.
235
236 (defalias 'cl-block-wrapper 'identity)
237 (defalias 'cl-block-throw 'throw)
238
239
240 ;;; Multiple values. True multiple values are not supported, or even
241 ;;; simulated. Instead, multiple-value-bind and friends simply expect
242 ;;; the target form to return the values as a list.
243
244 (defalias 'values 'list)
245 (defalias 'values-list 'identity)
246 (defalias 'multiple-value-list 'identity)
247 (defalias 'multiple-value-call 'apply) ; only works for one arg
248 (defalias 'nth-value 'nth)
249
250
251 ;;; Macros.
252
253 (defvar cl-macro-environment nil)
254 (defvar cl-old-macroexpand (prog1 (symbol-function 'macroexpand)
255 (defalias 'macroexpand 'cl-macroexpand)))
256
257 (defun cl-macroexpand (cl-macro &optional cl-env)
258 "Return result of expanding macros at top level of FORM.
259 If FORM is not a macro call, it is returned unchanged.
260 Otherwise, the macro is expanded and the expansion is considered
261 in place of FORM. When a non-macro-call results, it is returned.
262
263 The second optional arg ENVIRONMENT species an environment of macro
264 definitions to shadow the loaded ones for use in file byte-compilation."
265 (let ((cl-macro-environment cl-env))
266 (while (progn (setq cl-macro (funcall cl-old-macroexpand cl-macro cl-env))
267 (and (symbolp cl-macro)
268 (cdr (assq (symbol-name cl-macro) cl-env))))
269 (setq cl-macro (cadr (assq (symbol-name cl-macro) cl-env))))
270 cl-macro))
271
272
273 ;;; Declarations.
274
275 (defvar cl-compiling-file nil)
276 (defun cl-compiling-file ()
277 (or cl-compiling-file
278 (and (boundp 'outbuffer) (bufferp (symbol-value 'outbuffer))
279 (equal (buffer-name (symbol-value 'outbuffer))
280 " *Compiler Output*"))))
281
282 (defvar cl-proclaims-deferred nil)
283
284 (defun proclaim (spec)
285 (if (fboundp 'cl-do-proclaim) (cl-do-proclaim spec t)
286 (push spec cl-proclaims-deferred))
287 nil)
288
289 (defmacro declaim (&rest specs)
290 (let ((body (mapcar (function (lambda (x) (list 'proclaim (list 'quote x))))
291 specs)))
292 (if (cl-compiling-file) (list* 'eval-when '(compile load eval) body)
293 (cons 'progn body)))) ; avoid loading cl-macs.el for eval-when
294
295
296 ;;; Symbols.
297
298 (defun cl-random-time ()
299 (let* ((time (copy-sequence (current-time-string))) (i (length time)) (v 0))
300 (while (>= (decf i) 0) (setq v (+ (* v 3) (aref time i))))
301 v))
302
303 (defvar *gensym-counter* (* (logand (cl-random-time) 1023) 100))
304
305
306 ;;; Numbers.
307
308 (defun floatp-safe (x)
309 "T if OBJECT is a floating point number.
310 On Emacs versions that lack floating-point support, this function
311 always returns nil."
312 (and (numberp x) (not (integerp x))))
313
314 (defun plusp (x)
315 "T if NUMBER is positive."
316 (> x 0))
317
318 (defun minusp (x)
319 "T if NUMBER is negative."
320 (< x 0))
321
322 (defun oddp (x)
323 "T if INTEGER is odd."
324 (eq (logand x 1) 1))
325
326 (defun evenp (x)
327 "T if INTEGER is even."
328 (eq (logand x 1) 0))
329
330 (defun cl-abs (x)
331 "Return the absolute value of ARG."
332 (if (>= x 0) x (- x)))
333 (or (fboundp 'abs) (defalias 'abs 'cl-abs)) ; This is built-in to Emacs 19
334
335 (defvar *random-state* (vector 'cl-random-state-tag -1 30 (cl-random-time)))
336
337 ;;; We use `eval' in case VALBITS differs from compile-time to load-time.
338 (defconst most-positive-fixnum (eval '(lsh -1 -1)))
339 (defconst most-negative-fixnum (eval '(- -1 (lsh -1 -1))))
340
341 ;;; The following are actually set by cl-float-limits.
342 (defconst most-positive-float nil)
343 (defconst most-negative-float nil)
344 (defconst least-positive-float nil)
345 (defconst least-negative-float nil)
346 (defconst least-positive-normalized-float nil)
347 (defconst least-negative-normalized-float nil)
348 (defconst float-epsilon nil)
349 (defconst float-negative-epsilon nil)
350
351
352 ;;; Sequence functions.
353
354 (defalias 'copy-seq 'copy-sequence)
355
356 (defun mapcar* (cl-func cl-x &rest cl-rest)
357 "Apply FUNCTION to each element of SEQ, and make a list of the results.
358 If there are several SEQs, FUNCTION is called with that many arguments,
359 and mapping stops as soon as the shortest list runs out. With just one
360 SEQ, this is like `mapcar'. With several, it is like the Common Lisp
361 `mapcar' function extended to arbitrary sequence types."
362 (if cl-rest
363 (if (or (cdr cl-rest) (nlistp cl-x) (nlistp (car cl-rest)))
364 (cl-mapcar-many cl-func (cons cl-x cl-rest))
365 (let ((cl-res nil) (cl-y (car cl-rest)))
366 (while (and cl-x cl-y)
367 (push (funcall cl-func (pop cl-x) (pop cl-y)) cl-res))
368 (nreverse cl-res)))
369 (mapcar cl-func cl-x)))
370
371
372 ;;; List functions.
373
374 (defalias 'first 'car)
375 (defalias 'rest 'cdr)
376 (defalias 'endp 'null)
377
378 (defun second (x)
379 "Return the second element of the list LIST."
380 (car (cdr x)))
381
382 (defun third (x)
383 "Return the third element of the list LIST."
384 (car (cdr (cdr x))))
385
386 (defun fourth (x)
387 "Return the fourth element of the list LIST."
388 (nth 3 x))
389
390 (defun fifth (x)
391 "Return the fifth element of the list LIST."
392 (nth 4 x))
393
394 (defun sixth (x)
395 "Return the sixth element of the list LIST."
396 (nth 5 x))
397
398 (defun seventh (x)
399 "Return the seventh element of the list LIST."
400 (nth 6 x))
401
402 (defun eighth (x)
403 "Return the eighth element of the list LIST."
404 (nth 7 x))
405
406 (defun ninth (x)
407 "Return the ninth element of the list LIST."
408 (nth 8 x))
409
410 (defun tenth (x)
411 "Return the tenth element of the list LIST."
412 (nth 9 x))
413
414 (defun caar (x)
415 "Return the `car' of the `car' of X."
416 (car (car x)))
417
418 (defun cadr (x)
419 "Return the `car' of the `cdr' of X."
420 (car (cdr x)))
421
422 (defun cdar (x)
423 "Return the `cdr' of the `car' of X."
424 (cdr (car x)))
425
426 (defun cddr (x)
427 "Return the `cdr' of the `cdr' of X."
428 (cdr (cdr x)))
429
430 (defun caaar (x)
431 "Return the `car' of the `car' of the `car' of X."
432 (car (car (car x))))
433
434 (defun caadr (x)
435 "Return the `car' of the `car' of the `cdr' of X."
436 (car (car (cdr x))))
437
438 (defun cadar (x)
439 "Return the `car' of the `cdr' of the `car' of X."
440 (car (cdr (car x))))
441
442 (defun caddr (x)
443 "Return the `car' of the `cdr' of the `cdr' of X."
444 (car (cdr (cdr x))))
445
446 (defun cdaar (x)
447 "Return the `cdr' of the `car' of the `car' of X."
448 (cdr (car (car x))))
449
450 (defun cdadr (x)
451 "Return the `cdr' of the `car' of the `cdr' of X."
452 (cdr (car (cdr x))))
453
454 (defun cddar (x)
455 "Return the `cdr' of the `cdr' of the `car' of X."
456 (cdr (cdr (car x))))
457
458 (defun cdddr (x)
459 "Return the `cdr' of the `cdr' of the `cdr' of X."
460 (cdr (cdr (cdr x))))
461
462 (defun caaaar (x)
463 "Return the `car' of the `car' of the `car' of the `car' of X."
464 (car (car (car (car x)))))
465
466 (defun caaadr (x)
467 "Return the `car' of the `car' of the `car' of the `cdr' of X."
468 (car (car (car (cdr x)))))
469
470 (defun caadar (x)
471 "Return the `car' of the `car' of the `cdr' of the `car' of X."
472 (car (car (cdr (car x)))))
473
474 (defun caaddr (x)
475 "Return the `car' of the `car' of the `cdr' of the `cdr' of X."
476 (car (car (cdr (cdr x)))))
477
478 (defun cadaar (x)
479 "Return the `car' of the `cdr' of the `car' of the `car' of X."
480 (car (cdr (car (car x)))))
481
482 (defun cadadr (x)
483 "Return the `car' of the `cdr' of the `car' of the `cdr' of X."
484 (car (cdr (car (cdr x)))))
485
486 (defun caddar (x)
487 "Return the `car' of the `cdr' of the `cdr' of the `car' of X."
488 (car (cdr (cdr (car x)))))
489
490 (defun cadddr (x)
491 "Return the `car' of the `cdr' of the `cdr' of the `cdr' of X."
492 (car (cdr (cdr (cdr x)))))
493
494 (defun cdaaar (x)
495 "Return the `cdr' of the `car' of the `car' of the `car' of X."
496 (cdr (car (car (car x)))))
497
498 (defun cdaadr (x)
499 "Return the `cdr' of the `car' of the `car' of the `cdr' of X."
500 (cdr (car (car (cdr x)))))
501
502 (defun cdadar (x)
503 "Return the `cdr' of the `car' of the `cdr' of the `car' of X."
504 (cdr (car (cdr (car x)))))
505
506 (defun cdaddr (x)
507 "Return the `cdr' of the `car' of the `cdr' of the `cdr' of X."
508 (cdr (car (cdr (cdr x)))))
509
510 (defun cddaar (x)
511 "Return the `cdr' of the `cdr' of the `car' of the `car' of X."
512 (cdr (cdr (car (car x)))))
513
514 (defun cddadr (x)
515 "Return the `cdr' of the `cdr' of the `car' of the `cdr' of X."
516 (cdr (cdr (car (cdr x)))))
517
518 (defun cdddar (x)
519 "Return the `cdr' of the `cdr' of the `cdr' of the `car' of X."
520 (cdr (cdr (cdr (car x)))))
521
522 (defun cddddr (x)
523 "Return the `cdr' of the `cdr' of the `cdr' of the `cdr' of X."
524 (cdr (cdr (cdr (cdr x)))))
525
526 (defun last (x &optional n)
527 "Returns the last link in the list LIST.
528 With optional argument N, returns Nth-to-last link (default 1)."
529 (if n
530 (let ((m 0) (p x))
531 (while (consp p) (incf m) (pop p))
532 (if (<= n 0) p
533 (if (< n m) (nthcdr (- m n) x) x)))
534 (while (consp (cdr x)) (pop x))
535 x))
536
537 (defun butlast (x &optional n)
538 "Returns a copy of LIST with the last N elements removed."
539 (if (and n (<= n 0)) x
540 (nbutlast (copy-sequence x) n)))
541
542 (defun nbutlast (x &optional n)
543 "Modifies LIST to remove the last N elements."
544 (let ((m (length x)))
545 (or n (setq n 1))
546 (and (< n m)
547 (progn
548 (if (> n 0) (setcdr (nthcdr (- (1- m) n) x) nil))
549 x))))
550
551 (defun list* (arg &rest rest) ; See compiler macro in cl-macs.el
552 "Return a new list with specified args as elements, cons'd to last arg.
553 Thus, `(list* A B C D)' is equivalent to `(nconc (list A B C) D)', or to
554 `(cons A (cons B (cons C D)))'."
555 (cond ((not rest) arg)
556 ((not (cdr rest)) (cons arg (car rest)))
557 (t (let* ((n (length rest))
558 (copy (copy-sequence rest))
559 (last (nthcdr (- n 2) copy)))
560 (setcdr last (car (cdr last)))
561 (cons arg copy)))))
562
563 (defun ldiff (list sublist)
564 "Return a copy of LIST with the tail SUBLIST removed."
565 (let ((res nil))
566 (while (and (consp list) (not (eq list sublist)))
567 (push (pop list) res))
568 (nreverse res)))
569
570 (defun copy-list (list)
571 "Return a copy of a list, which may be a dotted list.
572 The elements of the list are not copied, just the list structure itself."
573 (if (consp list)
574 (let ((res nil))
575 (while (consp list) (push (pop list) res))
576 (prog1 (nreverse res) (setcdr res list)))
577 (car list)))
578
579 (defun cl-maclisp-member (item list)
580 (while (and list (not (equal item (car list)))) (setq list (cdr list)))
581 list)
582
583 ;;; Define an Emacs 19-compatible `member' for the benefit of Emacs 18 users.
584 (or (and (fboundp 'member) (subrp (symbol-function 'member)))
585 (defalias 'member 'cl-maclisp-member))
586
587 (defalias 'cl-member 'memq) ; for compatibility with old CL package
588 (defalias 'cl-floor 'floor*)
589 (defalias 'cl-ceiling 'ceiling*)
590 (defalias 'cl-truncate 'truncate*)
591 (defalias 'cl-round 'round*)
592 (defalias 'cl-mod 'mod*)
593
594 (defun adjoin (cl-item cl-list &rest cl-keys) ; See compiler macro in cl-macs
595 "Return ITEM consed onto the front of LIST only if it's not already there.
596 Otherwise, return LIST unmodified.
597 Keywords supported: :test :test-not :key"
598 (cond ((or (equal cl-keys '(:test eq))
599 (and (null cl-keys) (not (numberp cl-item))))
600 (if (memq cl-item cl-list) cl-list (cons cl-item cl-list)))
601 ((or (equal cl-keys '(:test equal)) (null cl-keys))
602 (if (member cl-item cl-list) cl-list (cons cl-item cl-list)))
603 (t (apply 'cl-adjoin cl-item cl-list cl-keys))))
604
605 (defun subst (cl-new cl-old cl-tree &rest cl-keys)
606 "Substitute NEW for OLD everywhere in TREE (non-destructively).
607 Return a copy of TREE with all elements `eql' to OLD replaced by NEW.
608 Keywords supported: :test :test-not :key"
609 (if (or cl-keys (and (numberp cl-old) (not (integerp cl-old))))
610 (apply 'sublis (list (cons cl-old cl-new)) cl-tree cl-keys)
611 (cl-do-subst cl-new cl-old cl-tree)))
612
613 (defun cl-do-subst (cl-new cl-old cl-tree)
614 (cond ((eq cl-tree cl-old) cl-new)
615 ((consp cl-tree)
616 (let ((a (cl-do-subst cl-new cl-old (car cl-tree)))
617 (d (cl-do-subst cl-new cl-old (cdr cl-tree))))
618 (if (and (eq a (car cl-tree)) (eq d (cdr cl-tree)))
619 cl-tree (cons a d))))
620 (t cl-tree)))
621
622 (defun acons (a b c) (cons (cons a b) c))
623 (defun pairlis (a b &optional c) (nconc (mapcar* 'cons a b) c))
624
625
626 ;;; Miscellaneous.
627
628 (put 'cl-assertion-failed 'error-conditions '(error))
629 (put 'cl-assertion-failed 'error-message "Assertion failed")
630
631 ;;; This is defined in Emacs 19; define it here for Emacs 18 users.
632 (defun cl-add-hook (hook func &optional append)
633 "Add to hook variable HOOK the function FUNC.
634 FUNC is not added if it already appears on the list stored in HOOK."
635 (let ((old (and (boundp hook) (symbol-value hook))))
636 (and (listp old) (not (eq (car old) 'lambda))
637 (setq old (list old)))
638 (and (not (member func old))
639 (set hook (if append (nconc old (list func)) (cons func old))))))
640 (or (fboundp 'add-hook) (defalias 'add-hook 'cl-add-hook))
641
642
643 ;;; Autoload the other portions of the package.
644 (mapcar (function
645 (lambda (set)
646 (mapcar (function
647 (lambda (func)
648 (autoload func (car set) nil nil (nth 1 set))))
649 (cddr set))))
650 '(("cl-extra" nil
651 coerce equalp cl-map-keymap maplist mapc mapl mapcan mapcon
652 cl-map-keymap cl-map-keymap-recursively cl-map-intervals
653 cl-map-overlays cl-set-frame-visible-p cl-float-limits
654 gcd lcm isqrt expt floor* ceiling* truncate* round*
655 mod* rem* signum random* make-random-state random-state-p
656 subseq concatenate cl-mapcar-many map some every notany
657 notevery revappend nreconc list-length tailp copy-tree get* getf
658 cl-set-getf cl-do-remf remprop make-hash-table cl-hash-lookup
659 gethash cl-puthash remhash clrhash maphash hash-table-p
660 hash-table-count cl-progv-before cl-prettyexpand
661 cl-macroexpand-all)
662 ("cl-seq" nil
663 reduce fill replace remq remove remove* remove-if remove-if-not
664 delete delete* delete-if delete-if-not remove-duplicates
665 delete-duplicates substitute substitute-if substitute-if-not
666 nsubstitute nsubstitute-if nsubstitute-if-not find find-if
667 find-if-not position position-if position-if-not count count-if
668 count-if-not mismatch search sort* stable-sort merge member*
669 member-if member-if-not cl-adjoin assoc* assoc-if assoc-if-not
670 rassoc* rassoc rassoc-if rassoc-if-not union nunion intersection
671 nintersection set-difference nset-difference set-exclusive-or
672 nset-exclusive-or subsetp subst-if subst-if-not nsubst nsubst-if
673 nsubst-if-not sublis nsublis tree-equal)
674 ("cl-macs" nil
675 gensym gentemp typep cl-do-pop get-setf-method
676 cl-struct-setf-expander compiler-macroexpand cl-compile-time-init)
677 ("cl-macs" t
678 defun* defmacro* function* destructuring-bind eval-when
679 eval-when-compile load-time-value case ecase typecase etypecase
680 block return return-from loop do do* dolist dotimes do-symbols
681 do-all-symbols psetq progv flet labels macrolet symbol-macrolet
682 lexical-let lexical-let* multiple-value-bind multiple-value-setq
683 locally the declare define-setf-method defsetf define-modify-macro
684 setf psetf remf shiftf rotatef letf letf* callf callf2 defstruct
685 check-type assert ignore-errors define-compiler-macro)))
686
687 ;;; Define data for indentation and edebug.
688 (mapcar (function
689 (lambda (entry)
690 (mapcar (function
691 (lambda (func)
692 (put func 'lisp-indent-function (nth 1 entry))
693 (put func 'lisp-indent-hook (nth 1 entry))
694 (or (get func 'edebug-form-spec)
695 (put func 'edebug-form-spec (nth 2 entry)))))
696 (car entry))))
697 '(((defun* defmacro*) 2)
698 ((function*) nil
699 (&or symbolp ([&optional 'macro] 'lambda (&rest sexp) &rest form)))
700 ((eval-when) 1 (sexp &rest form))
701 ((when unless) 1 (&rest form))
702 ((declare) nil (&rest sexp))
703 ((the) 1 (sexp &rest form))
704 ((case ecase typecase etypecase) 1 (form &rest (sexp &rest form)))
705 ((block return-from) 1 (sexp &rest form))
706 ((return) nil (&optional form))
707 ((do do*) 2 ((&rest &or symbolp (symbolp &optional form form))
708 (form &rest form)
709 &rest form))
710 ((dolist dotimes) 1 ((symbolp form &rest form) &rest form))
711 ((do-symbols) 1 ((symbolp form &optional form form) &rest form))
712 ((do-all-symbols) 1 ((symbolp form &optional form) &rest form))
713 ((psetq setf psetf) nil edebug-setq-form)
714 ((progv) 2 (&rest form))
715 ((flet labels macrolet) 1
716 ((&rest (sexp sexp &rest form)) &rest form))
717 ((symbol-macrolet lexical-let lexical-let*) 1
718 ((&rest &or symbolp (symbolp form)) &rest form))
719 ((multiple-value-bind) 2 ((&rest symbolp) &rest form))
720 ((multiple-value-setq) 1 ((&rest symbolp) &rest form))
721 ((incf decf remf pop push pushnew shiftf rotatef) nil (&rest form))
722 ((letf letf*) 1 ((&rest (&rest form)) &rest form))
723 ((callf destructuring-bind) 2 (sexp form &rest form))
724 ((callf2) 3 (sexp form form &rest form))
725 ((loop) nil (&rest &or symbolp form))
726 ((ignore-errors) 0 (&rest form))))
727
728
729 ;;; This goes here so that cl-macs can find it if it loads right now.
730 (provide 'cl-19) ; usage: (require 'cl-19 "cl")
731
732
733 ;;; Things to do after byte-compiler is loaded.
734 ;;; As a side effect, we cause cl-macs to be loaded when compiling, so
735 ;;; that the compiler-macros defined there will be present.
736
737 (defvar cl-hacked-flag nil)
738 (defun cl-hack-byte-compiler ()
739 (if (and (not cl-hacked-flag) (fboundp 'byte-compile-file-form))
740 (progn
741 (cl-compile-time-init) ; in cl-macs.el
742 (setq cl-hacked-flag t))))
743
744 ;;; Try it now in case the compiler has already been loaded.
745 (cl-hack-byte-compiler)
746
747 ;;; Also make a hook in case compiler is loaded after this file.
748 ;;; The compiler doesn't call any hooks when it loads or runs, but
749 ;;; we can take advantage of the fact that emacs-lisp-mode will be
750 ;;; called when the compiler reads in the file to be compiled.
751 ;;; BUG: If the first compilation is `byte-compile' rather than
752 ;;; `byte-compile-file', we lose. Oh, well.
753 (add-hook 'emacs-lisp-mode-hook 'cl-hack-byte-compiler)
754
755
756 ;;; The following ensures that packages which expect the old-style cl.el
757 ;;; will be happy with this one.
758
759 (provide 'cl)
760
761 (provide 'mini-cl) ; for Epoch
762
763 (run-hooks 'cl-load-hook)
764
765 ;;; cl.el ends here