Mercurial > emacs
annotate lisp/emacs-lisp/cl.el @ 102929:6be674ea734e
* vc-dir.el (vc-dir): Dox fix.
author | Richard M. Stallman <rms@gnu.org> |
---|---|
date | Fri, 10 Apr 2009 14:19:12 +0000 |
parents | a9dc0e7c3f2b |
children | 2a920253454b |
rev | line source |
---|---|
85736
e5bd859d65dd
Move local variables to end of file, and set byte-compile-warnings to
Glenn Morris <rgm@gnu.org>
parents:
82140
diff
changeset
|
1 ;;; cl.el --- Common Lisp extensions for Emacs |
4355 | 2 |
74466 | 3 ;; Copyright (C) 1993, 2001, 2002, 2003, 2004, 2005, |
100908 | 4 ;; 2006, 2007, 2008, 2009 Free Software Foundation, Inc. |
4355 | 5 |
6 ;; Author: Dave Gillespie <daveg@synaptics.com> | |
7 ;; Version: 2.02 | |
8 ;; Keywords: extensions | |
9 | |
10 ;; This file is part of GNU Emacs. | |
11 | |
94655
90a2847062be
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
87649
diff
changeset
|
12 ;; GNU Emacs is free software: you can redistribute it and/or modify |
4355 | 13 ;; it under the terms of the GNU General Public License as published by |
94655
90a2847062be
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
87649
diff
changeset
|
14 ;; the Free Software Foundation, either version 3 of the License, or |
90a2847062be
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
87649
diff
changeset
|
15 ;; (at your option) any later version. |
4355 | 16 |
17 ;; GNU Emacs is distributed in the hope that it will be useful, | |
18 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of | |
19 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
20 ;; GNU General Public License for more details. | |
21 | |
22 ;; You should have received a copy of the GNU General Public License | |
94655
90a2847062be
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
87649
diff
changeset
|
23 ;; along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>. |
4355 | 24 |
7942 | 25 ;;; Commentary: |
4355 | 26 |
27 ;; These are extensions to Emacs Lisp that provide a degree of | |
28 ;; Common Lisp compatibility, beyond what is already built-in | |
29 ;; in Emacs Lisp. | |
30 ;; | |
31 ;; This package was written by Dave Gillespie; it is a complete | |
32 ;; rewrite of Cesar Quiroz's original cl.el package of December 1986. | |
33 ;; | |
34 ;; Bug reports, comments, and suggestions are welcome! | |
35 | |
36 ;; This file contains the portions of the Common Lisp extensions | |
37 ;; package which should always be present. | |
38 | |
39 | |
7942 | 40 ;;; Future notes: |
4355 | 41 |
42 ;; Once Emacs 19 becomes standard, many things in this package which are | |
43 ;; messy for reasons of compatibility can be greatly simplified. For now, | |
44 ;; I prefer to maintain one unified version. | |
45 | |
46 | |
7942 | 47 ;;; Change Log: |
4355 | 48 |
49 ;; Version 2.02 (30 Jul 93): | |
50 ;; * Added "cl-compat.el" file, extra compatibility with old package. | |
51 ;; * Added `lexical-let' and `lexical-let*'. | |
52 ;; * Added `define-modify-macro', `callf', and `callf2'. | |
53 ;; * Added `ignore-errors'. | |
54 ;; * Changed `(setf (nthcdr N PLACE) X)' to work when N is zero. | |
55 ;; * Merged `*gentemp-counter*' into `*gensym-counter*'. | |
56 ;; * Extended `subseq' to allow negative START and END like `substring'. | |
57 ;; * Added `in-ref', `across-ref', `elements of-ref' loop clauses. | |
58 ;; * Added `concat', `vconcat' loop clauses. | |
59 ;; * Cleaned up a number of compiler warnings. | |
60 | |
61 ;; Version 2.01 (7 Jul 93): | |
62 ;; * Added support for FSF version of Emacs 19. | |
63 ;; * Added `add-hook' for Emacs 18 users. | |
64 ;; * Added `defsubst*' and `symbol-macrolet'. | |
65 ;; * Added `maplist', `mapc', `mapl', `mapcan', `mapcon'. | |
66 ;; * Added `map', `concatenate', `reduce', `merge'. | |
67 ;; * Added `revappend', `nreconc', `tailp', `tree-equal'. | |
68 ;; * Added `assert', `check-type', `typecase', `typep', and `deftype'. | |
69 ;; * Added destructuring and `&environment' support to `defmacro*'. | |
70 ;; * Added destructuring to `loop', and added the following clauses: | |
71 ;; `elements', `frames', `overlays', `intervals', `buffers', `key-seqs'. | |
72 ;; * Renamed `delete' to `delete*' and `remove' to `remove*'. | |
73 ;; * Completed support for all keywords in `remove*', `substitute', etc. | |
74 ;; * Added `most-positive-float' and company. | |
75 ;; * Fixed hash tables to work with latest Lucid Emacs. | |
76 ;; * `proclaim' forms are no longer compile-time-evaluating; use `declaim'. | |
77 ;; * Syntax for `warn' declarations has changed. | |
78 ;; * Improved implementation of `random*'. | |
79 ;; * Moved most sequence functions to a new file, cl-seq.el. | |
80 ;; * Moved `eval-when' into cl-macs.el. | |
81 ;; * Moved `pushnew' and `adjoin' to cl.el for most common cases. | |
82 ;; * Moved `provide' forms down to ends of files. | |
83 ;; * Changed expansion of `pop' to something that compiles to better code. | |
84 ;; * Changed so that no patch is required for Emacs 19 byte compiler. | |
85 ;; * Made more things dependent on `optimize' declarations. | |
86 ;; * Added a partial implementation of struct print functions. | |
87 ;; * Miscellaneous minor changes. | |
88 | |
89 ;; Version 2.00: | |
90 ;; * First public release of this package. | |
91 | |
92 | |
7942 | 93 ;;; Code: |
4355 | 94 |
95 (defvar cl-optimize-speed 1) | |
96 (defvar cl-optimize-safety 1) | |
97 | |
98 | |
24790
a6b268f4dfc7
(custom-print-functions): Add autoload cookie.
Karl Heuer <kwzh@gnu.org>
parents:
21465
diff
changeset
|
99 ;;;###autoload |
4355 | 100 (defvar custom-print-functions nil |
101 "This is a list of functions that format user objects for printing. | |
102 Each function is called in turn with three arguments: the object, the | |
103 stream, and the print level (currently ignored). If it is able to | |
104 print the object it returns true; otherwise it returns nil and the | |
105 printer proceeds to the next function on the list. | |
106 | |
107 This variable is not used at present, but it is defined in hopes that | |
108 a future Emacs interpreter will be able to use it.") | |
109 | |
85834
7400d979a9d9
(cl-cannot-unload): Remove function.
Juanma Barranquero <lekktu@gmail.com>
parents:
85736
diff
changeset
|
110 (defun cl-unload-function () |
7400d979a9d9
(cl-cannot-unload): Remove function.
Juanma Barranquero <lekktu@gmail.com>
parents:
85736
diff
changeset
|
111 "Stop unloading of the Common Lisp extensions." |
7400d979a9d9
(cl-cannot-unload): Remove function.
Juanma Barranquero <lekktu@gmail.com>
parents:
85736
diff
changeset
|
112 (message "Cannot unload the feature `cl'") |
7400d979a9d9
(cl-cannot-unload): Remove function.
Juanma Barranquero <lekktu@gmail.com>
parents:
85736
diff
changeset
|
113 ;; stop standard unloading! |
7400d979a9d9
(cl-cannot-unload): Remove function.
Juanma Barranquero <lekktu@gmail.com>
parents:
85736
diff
changeset
|
114 t) |
4355 | 115 |
81658
3ed52769155f
Set edebug and indentation before loading
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
81636
diff
changeset
|
116 ;;; Generalized variables. |
3ed52769155f
Set edebug and indentation before loading
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
81636
diff
changeset
|
117 ;; These macros are defined here so that they |
3ed52769155f
Set edebug and indentation before loading
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
81636
diff
changeset
|
118 ;; can safely be used in .emacs files. |
4355 | 119 |
120 (defmacro incf (place &optional x) | |
28824
add63b27c709
Doc fixes; mainly avoid duplicating arg
Dave Love <fx@gnu.org>
parents:
28038
diff
changeset
|
121 "Increment PLACE by X (1 by default). |
4355 | 122 PLACE may be a symbol, or any generalized variable allowed by `setf'. |
123 The return value is the incremented value of PLACE." | |
124 (if (symbolp place) | |
125 (list 'setq place (if x (list '+ place x) (list '1+ place))) | |
126 (list 'callf '+ place (or x 1)))) | |
127 | |
128 (defmacro decf (place &optional x) | |
28824
add63b27c709
Doc fixes; mainly avoid duplicating arg
Dave Love <fx@gnu.org>
parents:
28038
diff
changeset
|
129 "Decrement PLACE by X (1 by default). |
4355 | 130 PLACE may be a symbol, or any generalized variable allowed by `setf'. |
131 The return value is the decremented value of PLACE." | |
132 (if (symbolp place) | |
133 (list 'setq place (if x (list '- place x) (list '1- place))) | |
134 (list 'callf '- place (or x 1)))) | |
135 | |
96708
ceb7b0d5c55f
(cl-do-pop, cl-mapcar-many): Declare for compiler.
Glenn Morris <rgm@gnu.org>
parents:
94877
diff
changeset
|
136 ;; Autoloaded, but we haven't loaded cl-loaddefs yet. |
ceb7b0d5c55f
(cl-do-pop, cl-mapcar-many): Declare for compiler.
Glenn Morris <rgm@gnu.org>
parents:
94877
diff
changeset
|
137 (declare-function cl-do-pop "cl-macs" (place)) |
ceb7b0d5c55f
(cl-do-pop, cl-mapcar-many): Declare for compiler.
Glenn Morris <rgm@gnu.org>
parents:
94877
diff
changeset
|
138 |
4355 | 139 (defmacro pop (place) |
28824
add63b27c709
Doc fixes; mainly avoid duplicating arg
Dave Love <fx@gnu.org>
parents:
28038
diff
changeset
|
140 "Remove and return the head of the list stored in PLACE. |
4355 | 141 Analogous to (prog1 (car PLACE) (setf PLACE (cdr PLACE))), though more |
142 careful about evaluating each argument only once and in the right order. | |
143 PLACE may be a symbol, or any generalized variable allowed by `setf'." | |
144 (if (symbolp place) | |
145 (list 'car (list 'prog1 place (list 'setq place (list 'cdr place)))) | |
146 (cl-do-pop place))) | |
147 | |
148 (defmacro push (x place) | |
28824
add63b27c709
Doc fixes; mainly avoid duplicating arg
Dave Love <fx@gnu.org>
parents:
28038
diff
changeset
|
149 "Insert X at the head of the list stored in PLACE. |
4355 | 150 Analogous to (setf PLACE (cons X PLACE)), though more careful about |
151 evaluating each argument only once and in the right order. PLACE may | |
152 be a symbol, or any generalized variable allowed by `setf'." | |
153 (if (symbolp place) (list 'setq place (list 'cons x place)) | |
154 (list 'callf2 'cons x place))) | |
155 | |
156 (defmacro pushnew (x place &rest keys) | |
157 "(pushnew X PLACE): insert X at the head of the list if not already there. | |
158 Like (push X PLACE), except that the list is unmodified if X is `eql' to | |
159 an element already on the list. | |
62626
970aed705a2a
(pushnew, cl-macroexpand, floatp-safe, plusp, minusp, oddp, evenp, mapcar*,
Juanma Barranquero <lekktu@gmail.com>
parents:
62424
diff
changeset
|
160 \nKeywords supported: :test :test-not :key |
970aed705a2a
(pushnew, cl-macroexpand, floatp-safe, plusp, minusp, oddp, evenp, mapcar*,
Juanma Barranquero <lekktu@gmail.com>
parents:
62424
diff
changeset
|
161 \n(fn X PLACE [KEYWORD VALUE]...)" |
72785
a384943e84d7
(pushnew): Use add-to-list when convenient.
Richard M. Stallman <rms@gnu.org>
parents:
68648
diff
changeset
|
162 (if (symbolp place) |
a384943e84d7
(pushnew): Use add-to-list when convenient.
Richard M. Stallman <rms@gnu.org>
parents:
68648
diff
changeset
|
163 (if (null keys) |
73227
79c3587798b4
(pushnew-internal): Remove defvar.
Kim F. Storm <storm@cua.dk>
parents:
73030
diff
changeset
|
164 `(let ((x ,x)) |
79c3587798b4
(pushnew-internal): Remove defvar.
Kim F. Storm <storm@cua.dk>
parents:
73030
diff
changeset
|
165 (if (memql x ,place) ,place (setq ,place (cons x ,place)))) |
72785
a384943e84d7
(pushnew): Use add-to-list when convenient.
Richard M. Stallman <rms@gnu.org>
parents:
68648
diff
changeset
|
166 (list 'setq place (list* 'adjoin x place keys))) |
4355 | 167 (list* 'callf2 'adjoin x place keys))) |
168 | |
169 (defun cl-set-elt (seq n val) | |
170 (if (listp seq) (setcar (nthcdr n seq) val) (aset seq n val))) | |
171 | |
94877
0b1b2b6fee44
(cl-set-nthcdr): Make it a defsubst so that
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
94655
diff
changeset
|
172 (defsubst cl-set-nthcdr (n list x) |
4355 | 173 (if (<= n 0) x (setcdr (nthcdr (1- n) list) x) list)) |
174 | |
175 (defun cl-set-buffer-substring (start end val) | |
176 (save-excursion (delete-region start end) | |
177 (goto-char start) | |
178 (insert val) | |
179 val)) | |
180 | |
181 (defun cl-set-substring (str start end val) | |
182 (if end (if (< end 0) (incf end (length str))) | |
183 (setq end (length str))) | |
46356
35f0290a4079
(cl-set-substring): Fix thinko.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
46325
diff
changeset
|
184 (if (< start 0) (incf start (length str))) |
4355 | 185 (concat (and (> start 0) (substring str 0 start)) |
186 val | |
187 (and (< end (length str)) (substring str end)))) | |
188 | |
189 | |
190 ;;; Control structures. | |
191 | |
81658
3ed52769155f
Set edebug and indentation before loading
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
81636
diff
changeset
|
192 ;; These macros are so simple and so often-used that it's better to have |
3ed52769155f
Set edebug and indentation before loading
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
81636
diff
changeset
|
193 ;; them all the time than to load them from cl-macs.el. |
4355 | 194 |
195 (defun cl-map-extents (&rest cl-args) | |
26939
672e75118c0f
Remove Emacs 18 compatibility code. Prepend `cl-' to autoload names
Dave Love <fx@gnu.org>
parents:
24790
diff
changeset
|
196 (apply 'cl-map-overlays cl-args)) |
4355 | 197 |
198 | |
199 ;;; Blocks and exits. | |
200 | |
201 (defalias 'cl-block-wrapper 'identity) | |
202 (defalias 'cl-block-throw 'throw) | |
203 | |
204 | |
81658
3ed52769155f
Set edebug and indentation before loading
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
81636
diff
changeset
|
205 ;;; Multiple values. |
3ed52769155f
Set edebug and indentation before loading
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
81636
diff
changeset
|
206 ;; True multiple values are not supported, or even |
3ed52769155f
Set edebug and indentation before loading
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
81636
diff
changeset
|
207 ;; simulated. Instead, multiple-value-bind and friends simply expect |
3ed52769155f
Set edebug and indentation before loading
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
81636
diff
changeset
|
208 ;; the target form to return the values as a list. |
4355 | 209 |
41109
0bcf2d7f0112
(values, values-list, multiple-value-list, multiple-value-apply, nth-value):
Richard M. Stallman <rms@gnu.org>
parents:
39630
diff
changeset
|
210 (defsubst values (&rest values) |
0bcf2d7f0112
(values, values-list, multiple-value-list, multiple-value-apply, nth-value):
Richard M. Stallman <rms@gnu.org>
parents:
39630
diff
changeset
|
211 "Return multiple values, Common Lisp style. |
0bcf2d7f0112
(values, values-list, multiple-value-list, multiple-value-apply, nth-value):
Richard M. Stallman <rms@gnu.org>
parents:
39630
diff
changeset
|
212 The arguments of `values' are the values |
0bcf2d7f0112
(values, values-list, multiple-value-list, multiple-value-apply, nth-value):
Richard M. Stallman <rms@gnu.org>
parents:
39630
diff
changeset
|
213 that the containing function should return." |
46027
38072df535c8
(values): Simplify definition.
Richard M. Stallman <rms@gnu.org>
parents:
45739
diff
changeset
|
214 values) |
41109
0bcf2d7f0112
(values, values-list, multiple-value-list, multiple-value-apply, nth-value):
Richard M. Stallman <rms@gnu.org>
parents:
39630
diff
changeset
|
215 |
0bcf2d7f0112
(values, values-list, multiple-value-list, multiple-value-apply, nth-value):
Richard M. Stallman <rms@gnu.org>
parents:
39630
diff
changeset
|
216 (defsubst values-list (list) |
0bcf2d7f0112
(values, values-list, multiple-value-list, multiple-value-apply, nth-value):
Richard M. Stallman <rms@gnu.org>
parents:
39630
diff
changeset
|
217 "Return multiple values, Common Lisp style, taken from a list. |
0bcf2d7f0112
(values, values-list, multiple-value-list, multiple-value-apply, nth-value):
Richard M. Stallman <rms@gnu.org>
parents:
39630
diff
changeset
|
218 LIST specifies the list of values |
0bcf2d7f0112
(values, values-list, multiple-value-list, multiple-value-apply, nth-value):
Richard M. Stallman <rms@gnu.org>
parents:
39630
diff
changeset
|
219 that the containing function should return." |
0bcf2d7f0112
(values, values-list, multiple-value-list, multiple-value-apply, nth-value):
Richard M. Stallman <rms@gnu.org>
parents:
39630
diff
changeset
|
220 list) |
4355 | 221 |
41109
0bcf2d7f0112
(values, values-list, multiple-value-list, multiple-value-apply, nth-value):
Richard M. Stallman <rms@gnu.org>
parents:
39630
diff
changeset
|
222 (defsubst multiple-value-list (expression) |
0bcf2d7f0112
(values, values-list, multiple-value-list, multiple-value-apply, nth-value):
Richard M. Stallman <rms@gnu.org>
parents:
39630
diff
changeset
|
223 "Return a list of the multiple values produced by EXPRESSION. |
0bcf2d7f0112
(values, values-list, multiple-value-list, multiple-value-apply, nth-value):
Richard M. Stallman <rms@gnu.org>
parents:
39630
diff
changeset
|
224 This handles multiple values in Common Lisp style, but it does not |
0bcf2d7f0112
(values, values-list, multiple-value-list, multiple-value-apply, nth-value):
Richard M. Stallman <rms@gnu.org>
parents:
39630
diff
changeset
|
225 work right when EXPRESSION calls an ordinary Emacs Lisp function |
0bcf2d7f0112
(values, values-list, multiple-value-list, multiple-value-apply, nth-value):
Richard M. Stallman <rms@gnu.org>
parents:
39630
diff
changeset
|
226 that returns just one value." |
0bcf2d7f0112
(values, values-list, multiple-value-list, multiple-value-apply, nth-value):
Richard M. Stallman <rms@gnu.org>
parents:
39630
diff
changeset
|
227 expression) |
0bcf2d7f0112
(values, values-list, multiple-value-list, multiple-value-apply, nth-value):
Richard M. Stallman <rms@gnu.org>
parents:
39630
diff
changeset
|
228 |
0bcf2d7f0112
(values, values-list, multiple-value-list, multiple-value-apply, nth-value):
Richard M. Stallman <rms@gnu.org>
parents:
39630
diff
changeset
|
229 (defsubst multiple-value-apply (function expression) |
0bcf2d7f0112
(values, values-list, multiple-value-list, multiple-value-apply, nth-value):
Richard M. Stallman <rms@gnu.org>
parents:
39630
diff
changeset
|
230 "Evaluate EXPRESSION to get multiple values and apply FUNCTION to them. |
0bcf2d7f0112
(values, values-list, multiple-value-list, multiple-value-apply, nth-value):
Richard M. Stallman <rms@gnu.org>
parents:
39630
diff
changeset
|
231 This handles multiple values in Common Lisp style, but it does not work |
0bcf2d7f0112
(values, values-list, multiple-value-list, multiple-value-apply, nth-value):
Richard M. Stallman <rms@gnu.org>
parents:
39630
diff
changeset
|
232 right when EXPRESSION calls an ordinary Emacs Lisp function that returns just |
0bcf2d7f0112
(values, values-list, multiple-value-list, multiple-value-apply, nth-value):
Richard M. Stallman <rms@gnu.org>
parents:
39630
diff
changeset
|
233 one value." |
0bcf2d7f0112
(values, values-list, multiple-value-list, multiple-value-apply, nth-value):
Richard M. Stallman <rms@gnu.org>
parents:
39630
diff
changeset
|
234 (apply function expression)) |
0bcf2d7f0112
(values, values-list, multiple-value-list, multiple-value-apply, nth-value):
Richard M. Stallman <rms@gnu.org>
parents:
39630
diff
changeset
|
235 |
48462
b9d1a3c5291e
(multiple-value-call): Add docstring.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
46356
diff
changeset
|
236 (defalias 'multiple-value-call 'apply |
b9d1a3c5291e
(multiple-value-call): Add docstring.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
46356
diff
changeset
|
237 "Apply FUNCTION to ARGUMENTS, taking multiple values into account. |
b9d1a3c5291e
(multiple-value-call): Add docstring.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
46356
diff
changeset
|
238 This implementation only handles the case where there is only one argument.") |
46325
606fc43dc51e
(multiple-value-call): Add alias.
Richard M. Stallman <rms@gnu.org>
parents:
46027
diff
changeset
|
239 |
41109
0bcf2d7f0112
(values, values-list, multiple-value-list, multiple-value-apply, nth-value):
Richard M. Stallman <rms@gnu.org>
parents:
39630
diff
changeset
|
240 (defsubst nth-value (n expression) |
0bcf2d7f0112
(values, values-list, multiple-value-list, multiple-value-apply, nth-value):
Richard M. Stallman <rms@gnu.org>
parents:
39630
diff
changeset
|
241 "Evaluate EXPRESSION to get multiple values and return the Nth one. |
0bcf2d7f0112
(values, values-list, multiple-value-list, multiple-value-apply, nth-value):
Richard M. Stallman <rms@gnu.org>
parents:
39630
diff
changeset
|
242 This handles multiple values in Common Lisp style, but it does not work |
0bcf2d7f0112
(values, values-list, multiple-value-list, multiple-value-apply, nth-value):
Richard M. Stallman <rms@gnu.org>
parents:
39630
diff
changeset
|
243 right when EXPRESSION calls an ordinary Emacs Lisp function that returns just |
0bcf2d7f0112
(values, values-list, multiple-value-list, multiple-value-apply, nth-value):
Richard M. Stallman <rms@gnu.org>
parents:
39630
diff
changeset
|
244 one value." |
0bcf2d7f0112
(values, values-list, multiple-value-list, multiple-value-apply, nth-value):
Richard M. Stallman <rms@gnu.org>
parents:
39630
diff
changeset
|
245 (nth n expression)) |
4355 | 246 |
247 ;;; Macros. | |
248 | |
249 (defvar cl-macro-environment nil) | |
250 (defvar cl-old-macroexpand (prog1 (symbol-function 'macroexpand) | |
251 (defalias 'macroexpand 'cl-macroexpand))) | |
252 | |
253 (defun cl-macroexpand (cl-macro &optional cl-env) | |
9769
6a9124f418db
(cl-macroexpand): keep documentation from `macroexpand'.
Richard M. Stallman <rms@gnu.org>
parents:
7942
diff
changeset
|
254 "Return result of expanding macros at top level of FORM. |
6a9124f418db
(cl-macroexpand): keep documentation from `macroexpand'.
Richard M. Stallman <rms@gnu.org>
parents:
7942
diff
changeset
|
255 If FORM is not a macro call, it is returned unchanged. |
6a9124f418db
(cl-macroexpand): keep documentation from `macroexpand'.
Richard M. Stallman <rms@gnu.org>
parents:
7942
diff
changeset
|
256 Otherwise, the macro is expanded and the expansion is considered |
6a9124f418db
(cl-macroexpand): keep documentation from `macroexpand'.
Richard M. Stallman <rms@gnu.org>
parents:
7942
diff
changeset
|
257 in place of FORM. When a non-macro-call results, it is returned. |
6a9124f418db
(cl-macroexpand): keep documentation from `macroexpand'.
Richard M. Stallman <rms@gnu.org>
parents:
7942
diff
changeset
|
258 |
30998 | 259 The second optional arg ENVIRONMENT specifies an environment of macro |
62626
970aed705a2a
(pushnew, cl-macroexpand, floatp-safe, plusp, minusp, oddp, evenp, mapcar*,
Juanma Barranquero <lekktu@gmail.com>
parents:
62424
diff
changeset
|
260 definitions to shadow the loaded ones for use in file byte-compilation. |
970aed705a2a
(pushnew, cl-macroexpand, floatp-safe, plusp, minusp, oddp, evenp, mapcar*,
Juanma Barranquero <lekktu@gmail.com>
parents:
62424
diff
changeset
|
261 \n(fn FORM &optional ENVIRONMENT)" |
4355 | 262 (let ((cl-macro-environment cl-env)) |
263 (while (progn (setq cl-macro (funcall cl-old-macroexpand cl-macro cl-env)) | |
264 (and (symbolp cl-macro) | |
265 (cdr (assq (symbol-name cl-macro) cl-env)))) | |
266 (setq cl-macro (cadr (assq (symbol-name cl-macro) cl-env)))) | |
267 cl-macro)) | |
268 | |
269 | |
270 ;;; Declarations. | |
271 | |
272 (defvar cl-compiling-file nil) | |
273 (defun cl-compiling-file () | |
274 (or cl-compiling-file | |
275 (and (boundp 'outbuffer) (bufferp (symbol-value 'outbuffer)) | |
276 (equal (buffer-name (symbol-value 'outbuffer)) | |
277 " *Compiler Output*")))) | |
278 | |
279 (defvar cl-proclaims-deferred nil) | |
280 | |
281 (defun proclaim (spec) | |
282 (if (fboundp 'cl-do-proclaim) (cl-do-proclaim spec t) | |
283 (push spec cl-proclaims-deferred)) | |
284 nil) | |
285 | |
286 (defmacro declaim (&rest specs) | |
287 (let ((body (mapcar (function (lambda (x) (list 'proclaim (list 'quote x)))) | |
288 specs))) | |
289 (if (cl-compiling-file) (list* 'eval-when '(compile load eval) body) | |
290 (cons 'progn body)))) ; avoid loading cl-macs.el for eval-when | |
291 | |
292 | |
293 ;;; Symbols. | |
294 | |
295 (defun cl-random-time () | |
296 (let* ((time (copy-sequence (current-time-string))) (i (length time)) (v 0)) | |
297 (while (>= (decf i) 0) (setq v (+ (* v 3) (aref time i)))) | |
298 v)) | |
299 | |
300 (defvar *gensym-counter* (* (logand (cl-random-time) 1023) 100)) | |
301 | |
302 | |
303 ;;; Numbers. | |
304 | |
62626
970aed705a2a
(pushnew, cl-macroexpand, floatp-safe, plusp, minusp, oddp, evenp, mapcar*,
Juanma Barranquero <lekktu@gmail.com>
parents:
62424
diff
changeset
|
305 (defun floatp-safe (object) |
62424
ecbd5b866b1d
(eql, floatp-safe, plusp, minusp, oddp, evenp, list*): Doc fixes.
Juanma Barranquero <lekktu@gmail.com>
parents:
57519
diff
changeset
|
306 "Return t if OBJECT is a floating point number. |
4355 | 307 On Emacs versions that lack floating-point support, this function |
308 always returns nil." | |
62626
970aed705a2a
(pushnew, cl-macroexpand, floatp-safe, plusp, minusp, oddp, evenp, mapcar*,
Juanma Barranquero <lekktu@gmail.com>
parents:
62424
diff
changeset
|
309 (and (numberp object) (not (integerp object)))) |
4355 | 310 |
62626
970aed705a2a
(pushnew, cl-macroexpand, floatp-safe, plusp, minusp, oddp, evenp, mapcar*,
Juanma Barranquero <lekktu@gmail.com>
parents:
62424
diff
changeset
|
311 (defun plusp (number) |
62424
ecbd5b866b1d
(eql, floatp-safe, plusp, minusp, oddp, evenp, list*): Doc fixes.
Juanma Barranquero <lekktu@gmail.com>
parents:
57519
diff
changeset
|
312 "Return t if NUMBER is positive." |
62626
970aed705a2a
(pushnew, cl-macroexpand, floatp-safe, plusp, minusp, oddp, evenp, mapcar*,
Juanma Barranquero <lekktu@gmail.com>
parents:
62424
diff
changeset
|
313 (> number 0)) |
4355 | 314 |
62626
970aed705a2a
(pushnew, cl-macroexpand, floatp-safe, plusp, minusp, oddp, evenp, mapcar*,
Juanma Barranquero <lekktu@gmail.com>
parents:
62424
diff
changeset
|
315 (defun minusp (number) |
62424
ecbd5b866b1d
(eql, floatp-safe, plusp, minusp, oddp, evenp, list*): Doc fixes.
Juanma Barranquero <lekktu@gmail.com>
parents:
57519
diff
changeset
|
316 "Return t if NUMBER is negative." |
62626
970aed705a2a
(pushnew, cl-macroexpand, floatp-safe, plusp, minusp, oddp, evenp, mapcar*,
Juanma Barranquero <lekktu@gmail.com>
parents:
62424
diff
changeset
|
317 (< number 0)) |
4355 | 318 |
62626
970aed705a2a
(pushnew, cl-macroexpand, floatp-safe, plusp, minusp, oddp, evenp, mapcar*,
Juanma Barranquero <lekktu@gmail.com>
parents:
62424
diff
changeset
|
319 (defun oddp (integer) |
62424
ecbd5b866b1d
(eql, floatp-safe, plusp, minusp, oddp, evenp, list*): Doc fixes.
Juanma Barranquero <lekktu@gmail.com>
parents:
57519
diff
changeset
|
320 "Return t if INTEGER is odd." |
62626
970aed705a2a
(pushnew, cl-macroexpand, floatp-safe, plusp, minusp, oddp, evenp, mapcar*,
Juanma Barranquero <lekktu@gmail.com>
parents:
62424
diff
changeset
|
321 (eq (logand integer 1) 1)) |
4355 | 322 |
62626
970aed705a2a
(pushnew, cl-macroexpand, floatp-safe, plusp, minusp, oddp, evenp, mapcar*,
Juanma Barranquero <lekktu@gmail.com>
parents:
62424
diff
changeset
|
323 (defun evenp (integer) |
62424
ecbd5b866b1d
(eql, floatp-safe, plusp, minusp, oddp, evenp, list*): Doc fixes.
Juanma Barranquero <lekktu@gmail.com>
parents:
57519
diff
changeset
|
324 "Return t if INTEGER is even." |
62626
970aed705a2a
(pushnew, cl-macroexpand, floatp-safe, plusp, minusp, oddp, evenp, mapcar*,
Juanma Barranquero <lekktu@gmail.com>
parents:
62424
diff
changeset
|
325 (eq (logand integer 1) 0)) |
4355 | 326 |
327 (defvar *random-state* (vector 'cl-random-state-tag -1 30 (cl-random-time))) | |
328 | |
81658
3ed52769155f
Set edebug and indentation before loading
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
81636
diff
changeset
|
329 ;; The following are actually set by cl-float-limits. |
4355 | 330 (defconst most-positive-float nil) |
331 (defconst most-negative-float nil) | |
332 (defconst least-positive-float nil) | |
333 (defconst least-negative-float nil) | |
334 (defconst least-positive-normalized-float nil) | |
335 (defconst least-negative-normalized-float nil) | |
336 (defconst float-epsilon nil) | |
337 (defconst float-negative-epsilon nil) | |
338 | |
339 | |
340 ;;; Sequence functions. | |
341 | |
342 (defalias 'copy-seq 'copy-sequence) | |
343 | |
96708
ceb7b0d5c55f
(cl-do-pop, cl-mapcar-many): Declare for compiler.
Glenn Morris <rgm@gnu.org>
parents:
94877
diff
changeset
|
344 (declare-function cl-mapcar-many "cl-extra" (cl-func cl-seqs)) |
ceb7b0d5c55f
(cl-do-pop, cl-mapcar-many): Declare for compiler.
Glenn Morris <rgm@gnu.org>
parents:
94877
diff
changeset
|
345 |
4355 | 346 (defun mapcar* (cl-func cl-x &rest cl-rest) |
347 "Apply FUNCTION to each element of SEQ, and make a list of the results. | |
348 If there are several SEQs, FUNCTION is called with that many arguments, | |
349 and mapping stops as soon as the shortest list runs out. With just one | |
350 SEQ, this is like `mapcar'. With several, it is like the Common Lisp | |
62626
970aed705a2a
(pushnew, cl-macroexpand, floatp-safe, plusp, minusp, oddp, evenp, mapcar*,
Juanma Barranquero <lekktu@gmail.com>
parents:
62424
diff
changeset
|
351 `mapcar' function extended to arbitrary sequence types. |
970aed705a2a
(pushnew, cl-macroexpand, floatp-safe, plusp, minusp, oddp, evenp, mapcar*,
Juanma Barranquero <lekktu@gmail.com>
parents:
62424
diff
changeset
|
352 \n(fn FUNCTION SEQ...)" |
4355 | 353 (if cl-rest |
354 (if (or (cdr cl-rest) (nlistp cl-x) (nlistp (car cl-rest))) | |
355 (cl-mapcar-many cl-func (cons cl-x cl-rest)) | |
356 (let ((cl-res nil) (cl-y (car cl-rest))) | |
357 (while (and cl-x cl-y) | |
358 (push (funcall cl-func (pop cl-x) (pop cl-y)) cl-res)) | |
359 (nreverse cl-res))) | |
360 (mapcar cl-func cl-x))) | |
361 | |
41776
2682c3f36a6a
(svref): New alias.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
41109
diff
changeset
|
362 (defalias 'svref 'aref) |
4355 | 363 |
364 ;;; List functions. | |
365 | |
366 (defalias 'first 'car) | |
30617
5e28cf8a757a
(third...tenth): Undo change of 2000-08-05.
Gerd Moellmann <gerd@gnu.org>
parents:
30613
diff
changeset
|
367 (defalias 'second 'cadr) |
4355 | 368 (defalias 'rest 'cdr) |
369 (defalias 'endp 'null) | |
370 | |
30617
5e28cf8a757a
(third...tenth): Undo change of 2000-08-05.
Gerd Moellmann <gerd@gnu.org>
parents:
30613
diff
changeset
|
371 (defun third (x) |
34027
5fc589b932e9
(third...tenth): Really undo change of 2000-08-05.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
30998
diff
changeset
|
372 "Return the third element of the list X." |
5fc589b932e9
(third...tenth): Really undo change of 2000-08-05.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
30998
diff
changeset
|
373 (car (cdr (cdr x)))) |
4355 | 374 |
30617
5e28cf8a757a
(third...tenth): Undo change of 2000-08-05.
Gerd Moellmann <gerd@gnu.org>
parents:
30613
diff
changeset
|
375 (defun fourth (x) |
34027
5fc589b932e9
(third...tenth): Really undo change of 2000-08-05.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
30998
diff
changeset
|
376 "Return the fourth element of the list X." |
5fc589b932e9
(third...tenth): Really undo change of 2000-08-05.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
30998
diff
changeset
|
377 (nth 3 x)) |
4355 | 378 |
30617
5e28cf8a757a
(third...tenth): Undo change of 2000-08-05.
Gerd Moellmann <gerd@gnu.org>
parents:
30613
diff
changeset
|
379 (defun fifth (x) |
34027
5fc589b932e9
(third...tenth): Really undo change of 2000-08-05.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
30998
diff
changeset
|
380 "Return the fifth element of the list X." |
5fc589b932e9
(third...tenth): Really undo change of 2000-08-05.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
30998
diff
changeset
|
381 (nth 4 x)) |
4355 | 382 |
30617
5e28cf8a757a
(third...tenth): Undo change of 2000-08-05.
Gerd Moellmann <gerd@gnu.org>
parents:
30613
diff
changeset
|
383 (defun sixth (x) |
34027
5fc589b932e9
(third...tenth): Really undo change of 2000-08-05.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
30998
diff
changeset
|
384 "Return the sixth element of the list X." |
5fc589b932e9
(third...tenth): Really undo change of 2000-08-05.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
30998
diff
changeset
|
385 (nth 5 x)) |
4355 | 386 |
30617
5e28cf8a757a
(third...tenth): Undo change of 2000-08-05.
Gerd Moellmann <gerd@gnu.org>
parents:
30613
diff
changeset
|
387 (defun seventh (x) |
34027
5fc589b932e9
(third...tenth): Really undo change of 2000-08-05.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
30998
diff
changeset
|
388 "Return the seventh element of the list X." |
5fc589b932e9
(third...tenth): Really undo change of 2000-08-05.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
30998
diff
changeset
|
389 (nth 6 x)) |
4355 | 390 |
30617
5e28cf8a757a
(third...tenth): Undo change of 2000-08-05.
Gerd Moellmann <gerd@gnu.org>
parents:
30613
diff
changeset
|
391 (defun eighth (x) |
34027
5fc589b932e9
(third...tenth): Really undo change of 2000-08-05.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
30998
diff
changeset
|
392 "Return the eighth element of the list X." |
5fc589b932e9
(third...tenth): Really undo change of 2000-08-05.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
30998
diff
changeset
|
393 (nth 7 x)) |
4355 | 394 |
30617
5e28cf8a757a
(third...tenth): Undo change of 2000-08-05.
Gerd Moellmann <gerd@gnu.org>
parents:
30613
diff
changeset
|
395 (defun ninth (x) |
34027
5fc589b932e9
(third...tenth): Really undo change of 2000-08-05.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
30998
diff
changeset
|
396 "Return the ninth element of the list X." |
5fc589b932e9
(third...tenth): Really undo change of 2000-08-05.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
30998
diff
changeset
|
397 (nth 8 x)) |
4355 | 398 |
30617
5e28cf8a757a
(third...tenth): Undo change of 2000-08-05.
Gerd Moellmann <gerd@gnu.org>
parents:
30613
diff
changeset
|
399 (defun tenth (x) |
34027
5fc589b932e9
(third...tenth): Really undo change of 2000-08-05.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
30998
diff
changeset
|
400 "Return the tenth element of the list X." |
5fc589b932e9
(third...tenth): Really undo change of 2000-08-05.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
30998
diff
changeset
|
401 (nth 9 x)) |
4355 | 402 |
403 (defun caaar (x) | |
404 "Return the `car' of the `car' of the `car' of X." | |
405 (car (car (car x)))) | |
406 | |
407 (defun caadr (x) | |
408 "Return the `car' of the `car' of the `cdr' of X." | |
409 (car (car (cdr x)))) | |
410 | |
411 (defun cadar (x) | |
412 "Return the `car' of the `cdr' of the `car' of X." | |
413 (car (cdr (car x)))) | |
414 | |
415 (defun caddr (x) | |
416 "Return the `car' of the `cdr' of the `cdr' of X." | |
417 (car (cdr (cdr x)))) | |
418 | |
419 (defun cdaar (x) | |
420 "Return the `cdr' of the `car' of the `car' of X." | |
421 (cdr (car (car x)))) | |
422 | |
423 (defun cdadr (x) | |
424 "Return the `cdr' of the `car' of the `cdr' of X." | |
425 (cdr (car (cdr x)))) | |
426 | |
427 (defun cddar (x) | |
428 "Return the `cdr' of the `cdr' of the `car' of X." | |
429 (cdr (cdr (car x)))) | |
430 | |
431 (defun cdddr (x) | |
432 "Return the `cdr' of the `cdr' of the `cdr' of X." | |
433 (cdr (cdr (cdr x)))) | |
434 | |
435 (defun caaaar (x) | |
436 "Return the `car' of the `car' of the `car' of the `car' of X." | |
437 (car (car (car (car x))))) | |
438 | |
439 (defun caaadr (x) | |
440 "Return the `car' of the `car' of the `car' of the `cdr' of X." | |
441 (car (car (car (cdr x))))) | |
442 | |
443 (defun caadar (x) | |
444 "Return the `car' of the `car' of the `cdr' of the `car' of X." | |
445 (car (car (cdr (car x))))) | |
446 | |
447 (defun caaddr (x) | |
448 "Return the `car' of the `car' of the `cdr' of the `cdr' of X." | |
449 (car (car (cdr (cdr x))))) | |
450 | |
451 (defun cadaar (x) | |
452 "Return the `car' of the `cdr' of the `car' of the `car' of X." | |
453 (car (cdr (car (car x))))) | |
454 | |
455 (defun cadadr (x) | |
456 "Return the `car' of the `cdr' of the `car' of the `cdr' of X." | |
457 (car (cdr (car (cdr x))))) | |
458 | |
459 (defun caddar (x) | |
460 "Return the `car' of the `cdr' of the `cdr' of the `car' of X." | |
461 (car (cdr (cdr (car x))))) | |
462 | |
463 (defun cadddr (x) | |
464 "Return the `car' of the `cdr' of the `cdr' of the `cdr' of X." | |
465 (car (cdr (cdr (cdr x))))) | |
466 | |
467 (defun cdaaar (x) | |
468 "Return the `cdr' of the `car' of the `car' of the `car' of X." | |
469 (cdr (car (car (car x))))) | |
470 | |
471 (defun cdaadr (x) | |
472 "Return the `cdr' of the `car' of the `car' of the `cdr' of X." | |
473 (cdr (car (car (cdr x))))) | |
474 | |
475 (defun cdadar (x) | |
476 "Return the `cdr' of the `car' of the `cdr' of the `car' of X." | |
477 (cdr (car (cdr (car x))))) | |
478 | |
479 (defun cdaddr (x) | |
480 "Return the `cdr' of the `car' of the `cdr' of the `cdr' of X." | |
481 (cdr (car (cdr (cdr x))))) | |
482 | |
483 (defun cddaar (x) | |
484 "Return the `cdr' of the `cdr' of the `car' of the `car' of X." | |
485 (cdr (cdr (car (car x))))) | |
486 | |
487 (defun cddadr (x) | |
488 "Return the `cdr' of the `cdr' of the `car' of the `cdr' of X." | |
489 (cdr (cdr (car (cdr x))))) | |
490 | |
491 (defun cdddar (x) | |
492 "Return the `cdr' of the `cdr' of the `cdr' of the `car' of X." | |
493 (cdr (cdr (cdr (car x))))) | |
494 | |
495 (defun cddddr (x) | |
496 "Return the `cdr' of the `cdr' of the `cdr' of the `cdr' of X." | |
497 (cdr (cdr (cdr (cdr x))))) | |
498 | |
19585
3d2741d4fabc
(last*): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
19512
diff
changeset
|
499 ;;(defun last* (x &optional n) |
3d2741d4fabc
(last*): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
19512
diff
changeset
|
500 ;; "Returns the last link in the list LIST. |
3d2741d4fabc
(last*): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
19512
diff
changeset
|
501 ;;With optional argument N, returns Nth-to-last link (default 1)." |
3d2741d4fabc
(last*): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
19512
diff
changeset
|
502 ;; (if n |
3d2741d4fabc
(last*): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
19512
diff
changeset
|
503 ;; (let ((m 0) (p x)) |
3d2741d4fabc
(last*): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
19512
diff
changeset
|
504 ;; (while (consp p) (incf m) (pop p)) |
3d2741d4fabc
(last*): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
19512
diff
changeset
|
505 ;; (if (<= n 0) p |
3d2741d4fabc
(last*): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
19512
diff
changeset
|
506 ;; (if (< n m) (nthcdr (- m n) x) x))) |
3d2741d4fabc
(last*): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
19512
diff
changeset
|
507 ;; (while (consp (cdr x)) (pop x)) |
3d2741d4fabc
(last*): Definition deleted.
Richard M. Stallman <rms@gnu.org>
parents:
19512
diff
changeset
|
508 ;; x)) |
4355 | 509 |
510 (defun list* (arg &rest rest) ; See compiler macro in cl-macs.el | |
62626
970aed705a2a
(pushnew, cl-macroexpand, floatp-safe, plusp, minusp, oddp, evenp, mapcar*,
Juanma Barranquero <lekktu@gmail.com>
parents:
62424
diff
changeset
|
511 "Return a new list with specified ARGs as elements, consed to last ARG. |
4355 | 512 Thus, `(list* A B C D)' is equivalent to `(nconc (list A B C) D)', or to |
62626
970aed705a2a
(pushnew, cl-macroexpand, floatp-safe, plusp, minusp, oddp, evenp, mapcar*,
Juanma Barranquero <lekktu@gmail.com>
parents:
62424
diff
changeset
|
513 `(cons A (cons B (cons C D)))'. |
970aed705a2a
(pushnew, cl-macroexpand, floatp-safe, plusp, minusp, oddp, evenp, mapcar*,
Juanma Barranquero <lekktu@gmail.com>
parents:
62424
diff
changeset
|
514 \n(fn ARG...)" |
4355 | 515 (cond ((not rest) arg) |
516 ((not (cdr rest)) (cons arg (car rest))) | |
517 (t (let* ((n (length rest)) | |
518 (copy (copy-sequence rest)) | |
519 (last (nthcdr (- n 2) copy))) | |
520 (setcdr last (car (cdr last))) | |
521 (cons arg copy))))) | |
522 | |
523 (defun ldiff (list sublist) | |
524 "Return a copy of LIST with the tail SUBLIST removed." | |
525 (let ((res nil)) | |
526 (while (and (consp list) (not (eq list sublist))) | |
527 (push (pop list) res)) | |
528 (nreverse res))) | |
529 | |
45739
af30a5644ebc
(copy-list): Moved back from subr.el.
Richard M. Stallman <rms@gnu.org>
parents:
45695
diff
changeset
|
530 (defun copy-list (list) |
62626
970aed705a2a
(pushnew, cl-macroexpand, floatp-safe, plusp, minusp, oddp, evenp, mapcar*,
Juanma Barranquero <lekktu@gmail.com>
parents:
62424
diff
changeset
|
531 "Return a copy of LIST, which may be a dotted list. |
970aed705a2a
(pushnew, cl-macroexpand, floatp-safe, plusp, minusp, oddp, evenp, mapcar*,
Juanma Barranquero <lekktu@gmail.com>
parents:
62424
diff
changeset
|
532 The elements of LIST are not copied, just the list structure itself." |
45739
af30a5644ebc
(copy-list): Moved back from subr.el.
Richard M. Stallman <rms@gnu.org>
parents:
45695
diff
changeset
|
533 (if (consp list) |
af30a5644ebc
(copy-list): Moved back from subr.el.
Richard M. Stallman <rms@gnu.org>
parents:
45695
diff
changeset
|
534 (let ((res nil)) |
af30a5644ebc
(copy-list): Moved back from subr.el.
Richard M. Stallman <rms@gnu.org>
parents:
45695
diff
changeset
|
535 (while (consp list) (push (pop list) res)) |
af30a5644ebc
(copy-list): Moved back from subr.el.
Richard M. Stallman <rms@gnu.org>
parents:
45695
diff
changeset
|
536 (prog1 (nreverse res) (setcdr res list))) |
af30a5644ebc
(copy-list): Moved back from subr.el.
Richard M. Stallman <rms@gnu.org>
parents:
45695
diff
changeset
|
537 (car list))) |
af30a5644ebc
(copy-list): Moved back from subr.el.
Richard M. Stallman <rms@gnu.org>
parents:
45695
diff
changeset
|
538 |
4355 | 539 (defun cl-maclisp-member (item list) |
540 (while (and list (not (equal item (car list)))) (setq list (cdr list))) | |
541 list) | |
542 | |
543 (defalias 'cl-member 'memq) ; for compatibility with old CL package | |
99715
045d255cc806
(floor*, ceiling*, truncate*, round*, mod*): Declare.
Glenn Morris <rgm@gnu.org>
parents:
96708
diff
changeset
|
544 |
045d255cc806
(floor*, ceiling*, truncate*, round*, mod*): Declare.
Glenn Morris <rgm@gnu.org>
parents:
96708
diff
changeset
|
545 ;; Autoloaded, but we have not loaded cl-loaddefs yet. |
045d255cc806
(floor*, ceiling*, truncate*, round*, mod*): Declare.
Glenn Morris <rgm@gnu.org>
parents:
96708
diff
changeset
|
546 (declare-function floor* "cl-extra" (x &optional y)) |
045d255cc806
(floor*, ceiling*, truncate*, round*, mod*): Declare.
Glenn Morris <rgm@gnu.org>
parents:
96708
diff
changeset
|
547 (declare-function ceiling* "cl-extra" (x &optional y)) |
045d255cc806
(floor*, ceiling*, truncate*, round*, mod*): Declare.
Glenn Morris <rgm@gnu.org>
parents:
96708
diff
changeset
|
548 (declare-function truncate* "cl-extra" (x &optional y)) |
045d255cc806
(floor*, ceiling*, truncate*, round*, mod*): Declare.
Glenn Morris <rgm@gnu.org>
parents:
96708
diff
changeset
|
549 (declare-function round* "cl-extra" (x &optional y)) |
045d255cc806
(floor*, ceiling*, truncate*, round*, mod*): Declare.
Glenn Morris <rgm@gnu.org>
parents:
96708
diff
changeset
|
550 (declare-function mod* "cl-extra" (x y)) |
045d255cc806
(floor*, ceiling*, truncate*, round*, mod*): Declare.
Glenn Morris <rgm@gnu.org>
parents:
96708
diff
changeset
|
551 |
4355 | 552 (defalias 'cl-floor 'floor*) |
553 (defalias 'cl-ceiling 'ceiling*) | |
554 (defalias 'cl-truncate 'truncate*) | |
555 (defalias 'cl-round 'round*) | |
556 (defalias 'cl-mod 'mod*) | |
557 | |
558 (defun adjoin (cl-item cl-list &rest cl-keys) ; See compiler macro in cl-macs | |
559 "Return ITEM consed onto the front of LIST only if it's not already there. | |
560 Otherwise, return LIST unmodified. | |
62626
970aed705a2a
(pushnew, cl-macroexpand, floatp-safe, plusp, minusp, oddp, evenp, mapcar*,
Juanma Barranquero <lekktu@gmail.com>
parents:
62424
diff
changeset
|
561 \nKeywords supported: :test :test-not :key |
970aed705a2a
(pushnew, cl-macroexpand, floatp-safe, plusp, minusp, oddp, evenp, mapcar*,
Juanma Barranquero <lekktu@gmail.com>
parents:
62424
diff
changeset
|
562 \n(fn ITEM LIST [KEYWORD VALUE]...)" |
4355 | 563 (cond ((or (equal cl-keys '(:test eq)) |
564 (and (null cl-keys) (not (numberp cl-item)))) | |
565 (if (memq cl-item cl-list) cl-list (cons cl-item cl-list))) | |
566 ((or (equal cl-keys '(:test equal)) (null cl-keys)) | |
567 (if (member cl-item cl-list) cl-list (cons cl-item cl-list))) | |
568 (t (apply 'cl-adjoin cl-item cl-list cl-keys)))) | |
569 | |
570 (defun subst (cl-new cl-old cl-tree &rest cl-keys) | |
571 "Substitute NEW for OLD everywhere in TREE (non-destructively). | |
572 Return a copy of TREE with all elements `eql' to OLD replaced by NEW. | |
62626
970aed705a2a
(pushnew, cl-macroexpand, floatp-safe, plusp, minusp, oddp, evenp, mapcar*,
Juanma Barranquero <lekktu@gmail.com>
parents:
62424
diff
changeset
|
573 \nKeywords supported: :test :test-not :key |
970aed705a2a
(pushnew, cl-macroexpand, floatp-safe, plusp, minusp, oddp, evenp, mapcar*,
Juanma Barranquero <lekktu@gmail.com>
parents:
62424
diff
changeset
|
574 \n(fn NEW OLD TREE [KEYWORD VALUE]...)" |
4355 | 575 (if (or cl-keys (and (numberp cl-old) (not (integerp cl-old)))) |
576 (apply 'sublis (list (cons cl-old cl-new)) cl-tree cl-keys) | |
577 (cl-do-subst cl-new cl-old cl-tree))) | |
578 | |
579 (defun cl-do-subst (cl-new cl-old cl-tree) | |
580 (cond ((eq cl-tree cl-old) cl-new) | |
581 ((consp cl-tree) | |
582 (let ((a (cl-do-subst cl-new cl-old (car cl-tree))) | |
583 (d (cl-do-subst cl-new cl-old (cdr cl-tree)))) | |
584 (if (and (eq a (car cl-tree)) (eq d (cdr cl-tree))) | |
585 cl-tree (cons a d)))) | |
586 (t cl-tree))) | |
587 | |
62642
59b6666e38f9
(acons, pairlis): Add docstring.
Juanma Barranquero <lekktu@gmail.com>
parents:
62630
diff
changeset
|
588 (defun acons (key value alist) |
59b6666e38f9
(acons, pairlis): Add docstring.
Juanma Barranquero <lekktu@gmail.com>
parents:
62630
diff
changeset
|
589 "Add KEY and VALUE to ALIST. |
59b6666e38f9
(acons, pairlis): Add docstring.
Juanma Barranquero <lekktu@gmail.com>
parents:
62630
diff
changeset
|
590 Return a new list with (cons KEY VALUE) as car and ALIST as cdr." |
59b6666e38f9
(acons, pairlis): Add docstring.
Juanma Barranquero <lekktu@gmail.com>
parents:
62630
diff
changeset
|
591 (cons (cons key value) alist)) |
59b6666e38f9
(acons, pairlis): Add docstring.
Juanma Barranquero <lekktu@gmail.com>
parents:
62630
diff
changeset
|
592 |
59b6666e38f9
(acons, pairlis): Add docstring.
Juanma Barranquero <lekktu@gmail.com>
parents:
62630
diff
changeset
|
593 (defun pairlis (keys values &optional alist) |
59b6666e38f9
(acons, pairlis): Add docstring.
Juanma Barranquero <lekktu@gmail.com>
parents:
62630
diff
changeset
|
594 "Make an alist from KEYS and VALUES. |
59b6666e38f9
(acons, pairlis): Add docstring.
Juanma Barranquero <lekktu@gmail.com>
parents:
62630
diff
changeset
|
595 Return a new alist composed by associating KEYS to corresponding VALUES; |
59b6666e38f9
(acons, pairlis): Add docstring.
Juanma Barranquero <lekktu@gmail.com>
parents:
62630
diff
changeset
|
596 the process stops as soon as KEYS or VALUES run out. |
59b6666e38f9
(acons, pairlis): Add docstring.
Juanma Barranquero <lekktu@gmail.com>
parents:
62630
diff
changeset
|
597 If ALIST is non-nil, the new pairs are prepended to it." |
59b6666e38f9
(acons, pairlis): Add docstring.
Juanma Barranquero <lekktu@gmail.com>
parents:
62630
diff
changeset
|
598 (nconc (mapcar* 'cons keys values) alist)) |
4355 | 599 |
600 | |
601 ;;; Miscellaneous. | |
602 | |
81658
3ed52769155f
Set edebug and indentation before loading
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
81636
diff
changeset
|
603 ;; Define data for indentation and edebug. |
81636
432e796ebb5c
Use cl-loaddefs.el rather than manual autoloads.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
75346
diff
changeset
|
604 (dolist (entry |
432e796ebb5c
Use cl-loaddefs.el rather than manual autoloads.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
75346
diff
changeset
|
605 '(((defun* defmacro*) 2) |
432e796ebb5c
Use cl-loaddefs.el rather than manual autoloads.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
75346
diff
changeset
|
606 ((function*) nil |
432e796ebb5c
Use cl-loaddefs.el rather than manual autoloads.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
75346
diff
changeset
|
607 (&or symbolp ([&optional 'macro] 'lambda (&rest sexp) &rest form))) |
432e796ebb5c
Use cl-loaddefs.el rather than manual autoloads.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
75346
diff
changeset
|
608 ((eval-when) 1 (sexp &rest form)) |
432e796ebb5c
Use cl-loaddefs.el rather than manual autoloads.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
75346
diff
changeset
|
609 ((declare) nil (&rest sexp)) |
432e796ebb5c
Use cl-loaddefs.el rather than manual autoloads.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
75346
diff
changeset
|
610 ((the) 1 (sexp &rest form)) |
432e796ebb5c
Use cl-loaddefs.el rather than manual autoloads.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
75346
diff
changeset
|
611 ((case ecase typecase etypecase) 1 (form &rest (sexp &rest form))) |
432e796ebb5c
Use cl-loaddefs.el rather than manual autoloads.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
75346
diff
changeset
|
612 ((block return-from) 1 (sexp &rest form)) |
432e796ebb5c
Use cl-loaddefs.el rather than manual autoloads.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
75346
diff
changeset
|
613 ((return) nil (&optional form)) |
432e796ebb5c
Use cl-loaddefs.el rather than manual autoloads.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
75346
diff
changeset
|
614 ((do do*) 2 ((&rest &or symbolp (symbolp &optional form form)) |
432e796ebb5c
Use cl-loaddefs.el rather than manual autoloads.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
75346
diff
changeset
|
615 (form &rest form) |
432e796ebb5c
Use cl-loaddefs.el rather than manual autoloads.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
75346
diff
changeset
|
616 &rest form)) |
432e796ebb5c
Use cl-loaddefs.el rather than manual autoloads.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
75346
diff
changeset
|
617 ((do-symbols) 1 ((symbolp form &optional form form) &rest form)) |
432e796ebb5c
Use cl-loaddefs.el rather than manual autoloads.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
75346
diff
changeset
|
618 ((do-all-symbols) 1 ((symbolp form &optional form) &rest form)) |
432e796ebb5c
Use cl-loaddefs.el rather than manual autoloads.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
75346
diff
changeset
|
619 ((psetq setf psetf) nil edebug-setq-form) |
432e796ebb5c
Use cl-loaddefs.el rather than manual autoloads.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
75346
diff
changeset
|
620 ((progv) 2 (&rest form)) |
432e796ebb5c
Use cl-loaddefs.el rather than manual autoloads.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
75346
diff
changeset
|
621 ((flet labels macrolet) 1 |
432e796ebb5c
Use cl-loaddefs.el rather than manual autoloads.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
75346
diff
changeset
|
622 ((&rest (sexp sexp &rest form)) &rest form)) |
432e796ebb5c
Use cl-loaddefs.el rather than manual autoloads.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
75346
diff
changeset
|
623 ((symbol-macrolet lexical-let lexical-let*) 1 |
432e796ebb5c
Use cl-loaddefs.el rather than manual autoloads.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
75346
diff
changeset
|
624 ((&rest &or symbolp (symbolp form)) &rest form)) |
432e796ebb5c
Use cl-loaddefs.el rather than manual autoloads.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
75346
diff
changeset
|
625 ((multiple-value-bind) 2 ((&rest symbolp) &rest form)) |
432e796ebb5c
Use cl-loaddefs.el rather than manual autoloads.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
75346
diff
changeset
|
626 ((multiple-value-setq) 1 ((&rest symbolp) &rest form)) |
432e796ebb5c
Use cl-loaddefs.el rather than manual autoloads.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
75346
diff
changeset
|
627 ((incf decf remf pushnew shiftf rotatef) nil (&rest form)) |
432e796ebb5c
Use cl-loaddefs.el rather than manual autoloads.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
75346
diff
changeset
|
628 ((letf letf*) 1 ((&rest (&rest form)) &rest form)) |
432e796ebb5c
Use cl-loaddefs.el rather than manual autoloads.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
75346
diff
changeset
|
629 ((callf destructuring-bind) 2 (sexp form &rest form)) |
432e796ebb5c
Use cl-loaddefs.el rather than manual autoloads.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
75346
diff
changeset
|
630 ((callf2) 3 (sexp form form &rest form)) |
432e796ebb5c
Use cl-loaddefs.el rather than manual autoloads.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
75346
diff
changeset
|
631 ((loop) nil (&rest &or symbolp form)) |
432e796ebb5c
Use cl-loaddefs.el rather than manual autoloads.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
75346
diff
changeset
|
632 ((ignore-errors) 0 (&rest form)))) |
432e796ebb5c
Use cl-loaddefs.el rather than manual autoloads.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
75346
diff
changeset
|
633 (dolist (func (car entry)) |
432e796ebb5c
Use cl-loaddefs.el rather than manual autoloads.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
75346
diff
changeset
|
634 (put func 'lisp-indent-function (nth 1 entry)) |
432e796ebb5c
Use cl-loaddefs.el rather than manual autoloads.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
75346
diff
changeset
|
635 (put func 'lisp-indent-hook (nth 1 entry)) |
432e796ebb5c
Use cl-loaddefs.el rather than manual autoloads.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
75346
diff
changeset
|
636 (or (get func 'edebug-form-spec) |
432e796ebb5c
Use cl-loaddefs.el rather than manual autoloads.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
75346
diff
changeset
|
637 (put func 'edebug-form-spec (nth 2 entry))))) |
30613
a262f769fc3d
(first, ..., tenth): Make them macros.
Gerd Moellmann <gerd@gnu.org>
parents:
28824
diff
changeset
|
638 |
81658
3ed52769155f
Set edebug and indentation before loading
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
81636
diff
changeset
|
639 ;; Autoload the other portions of the package. |
53595
7ea1b7196d49
*** empty log message ***
Luc Teirlinck <teirllm@auburn.edu>
parents:
53594
diff
changeset
|
640 ;; We want to replace the basic versions of dolist, dotimes, declare below. |
36551
54fe96bd9530
(dotimes, dolist): Undef prior to autoloading
Dave Love <fx@gnu.org>
parents:
34899
diff
changeset
|
641 (fmakunbound 'dolist) |
54fe96bd9530
(dotimes, dolist): Undef prior to autoloading
Dave Love <fx@gnu.org>
parents:
34899
diff
changeset
|
642 (fmakunbound 'dotimes) |
53594
587ca9eaf25e
Add `fmakunbound' for `declare'.
Luc Teirlinck <teirllm@auburn.edu>
parents:
52401
diff
changeset
|
643 (fmakunbound 'declare) |
81805
05153ccde019
Load cl-loaddefs.el quietly.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
81658
diff
changeset
|
644 (load "cl-loaddefs" nil 'quiet) |
4355 | 645 |
81658
3ed52769155f
Set edebug and indentation before loading
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
81636
diff
changeset
|
646 ;; This goes here so that cl-macs can find it if it loads right now. |
4355 | 647 (provide 'cl-19) ; usage: (require 'cl-19 "cl") |
96708
ceb7b0d5c55f
(cl-do-pop, cl-mapcar-many): Declare for compiler.
Glenn Morris <rgm@gnu.org>
parents:
94877
diff
changeset
|
648 (provide 'cl) |
4355 | 649 |
81658
3ed52769155f
Set edebug and indentation before loading
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
81636
diff
changeset
|
650 ;; Things to do after byte-compiler is loaded. |
4355 | 651 |
652 (defvar cl-hacked-flag nil) | |
653 (defun cl-hack-byte-compiler () | |
96708
ceb7b0d5c55f
(cl-do-pop, cl-mapcar-many): Declare for compiler.
Glenn Morris <rgm@gnu.org>
parents:
94877
diff
changeset
|
654 (and (not cl-hacked-flag) (fboundp 'byte-compile-file-form) |
ceb7b0d5c55f
(cl-do-pop, cl-mapcar-many): Declare for compiler.
Glenn Morris <rgm@gnu.org>
parents:
94877
diff
changeset
|
655 (progn |
ceb7b0d5c55f
(cl-do-pop, cl-mapcar-many): Declare for compiler.
Glenn Morris <rgm@gnu.org>
parents:
94877
diff
changeset
|
656 (setq cl-hacked-flag t) ; Do it first, to prevent recursion. |
ceb7b0d5c55f
(cl-do-pop, cl-mapcar-many): Declare for compiler.
Glenn Morris <rgm@gnu.org>
parents:
94877
diff
changeset
|
657 (load "cl-macs" nil t) |
ceb7b0d5c55f
(cl-do-pop, cl-mapcar-many): Declare for compiler.
Glenn Morris <rgm@gnu.org>
parents:
94877
diff
changeset
|
658 (run-hooks 'cl-hack-bytecomp-hook)))) |
4355 | 659 |
81658
3ed52769155f
Set edebug and indentation before loading
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
81636
diff
changeset
|
660 ;; Try it now in case the compiler has already been loaded. |
4355 | 661 (cl-hack-byte-compiler) |
662 | |
81658
3ed52769155f
Set edebug and indentation before loading
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
81636
diff
changeset
|
663 ;; Also make a hook in case compiler is loaded after this file. |
27586
5d6eb73b10d0
Use bytecomp-load-hook, not emacs-lisp-mode-hook.
Dave Love <fx@gnu.org>
parents:
27509
diff
changeset
|
664 (add-hook 'bytecomp-load-hook 'cl-hack-byte-compiler) |
4355 | 665 |
666 | |
81658
3ed52769155f
Set edebug and indentation before loading
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
81636
diff
changeset
|
667 ;; The following ensures that packages which expect the old-style cl.el |
3ed52769155f
Set edebug and indentation before loading
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
81636
diff
changeset
|
668 ;; will be happy with this one. |
4355 | 669 |
670 (provide 'cl) | |
671 | |
672 (run-hooks 'cl-load-hook) | |
673 | |
85736
e5bd859d65dd
Move local variables to end of file, and set byte-compile-warnings to
Glenn Morris <rgm@gnu.org>
parents:
82140
diff
changeset
|
674 ;; Local variables: |
e5bd859d65dd
Move local variables to end of file, and set byte-compile-warnings to
Glenn Morris <rgm@gnu.org>
parents:
82140
diff
changeset
|
675 ;; byte-compile-dynamic: t |
e5bd859d65dd
Move local variables to end of file, and set byte-compile-warnings to
Glenn Morris <rgm@gnu.org>
parents:
82140
diff
changeset
|
676 ;; byte-compile-warnings: (not cl-functions) |
e5bd859d65dd
Move local variables to end of file, and set byte-compile-warnings to
Glenn Morris <rgm@gnu.org>
parents:
82140
diff
changeset
|
677 ;; End: |
e5bd859d65dd
Move local variables to end of file, and set byte-compile-warnings to
Glenn Morris <rgm@gnu.org>
parents:
82140
diff
changeset
|
678 |
62630
630219b07e90
(eql): Remove. It's a builtin already.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
62626
diff
changeset
|
679 ;; arch-tag: 5f07fa74-f153-4524-9303-21f5be125851 |
4355 | 680 ;;; cl.el ends here |