Mercurial > hg > xemacs-beta
annotate lisp/cl.el @ 5574:d4f334808463
Support inlining labels, bytecomp.el.
lisp/ChangeLog addition:
2011-10-02 Aidan Kehoe <kehoea@parhasard.net>
* bytecomp.el (byte-compile-initial-macro-environment):
Add #'declare to this, so it doesn't need to rely on
#'cl-compiling file to determine when we're byte-compiling.
Update #'labels to support declaring labels inline, as Common Lisp
requires.
* bytecomp.el (byte-compile-function-form):
Don't error if FUNCTION is quoting a non-lambda, non-symbol, just
return it.
* cl-extra.el (cl-macroexpand-all):
If a label name has been quoted, expand to the label placeholder
quoted with 'function. This allows the byte compiler to
distinguish between uses of the placeholder as data and uses in
contexts where it should be inlined.
* cl-macs.el:
* cl-macs.el (cl-do-proclaim):
When proclaming something as inline, if it is bound as a label,
don't modify the symbol's plist; instead, treat the first element
of its placeholder constant vector as a place to store compile
information.
* cl-macs.el (declare):
Leave processing declarations while compiling to the
implementation of #'declare in
byte-compile-initial-macro-environment.
tests/ChangeLog addition:
2011-10-02 Aidan Kehoe <kehoea@parhasard.net>
* automated/lisp-tests.el:
* automated/lisp-tests.el (+):
Test #'labels and inlining.
| author | Aidan Kehoe <kehoea@parhasard.net> |
|---|---|
| date | Sun, 02 Oct 2011 15:32:16 +0100 |
| parents | 855b667dea13 |
| children | 5f4f92a31875 |
| rev | line source |
|---|---|
| 613 | 1 ;;; cl.el --- Common Lisp extensions for XEmacs Lisp |
| 428 | 2 |
| 3 ;; Copyright (C) 1993, 1997 Free Software Foundation, Inc. | |
|
5066
545ec923b4eb
add documentation on keywords to cl*.el
Ben Wing <ben@xemacs.org>
parents:
4995
diff
changeset
|
4 ;; Copyright (C) 2010 Ben Wing. |
| 428 | 5 |
| 6 ;; Author: Dave Gillespie <daveg@synaptics.com> | |
| 7 ;; Maintainer: XEmacs Development Team | |
| 8 ;; Version: 2.02 | |
| 9 ;; Keywords: extensions, dumped, lisp | |
| 10 | |
| 11 ;; This file is part of XEmacs. | |
| 12 | |
|
5402
308d34e9f07d
Changed bulk of GPLv2 or later files identified by script
Mats Lidell <matsl@xemacs.org>
parents:
5219
diff
changeset
|
13 ;; XEmacs is free software: you can redistribute it and/or modify it |
|
308d34e9f07d
Changed bulk of GPLv2 or later files identified by script
Mats Lidell <matsl@xemacs.org>
parents:
5219
diff
changeset
|
14 ;; under the terms of the GNU General Public License as published by the |
|
308d34e9f07d
Changed bulk of GPLv2 or later files identified by script
Mats Lidell <matsl@xemacs.org>
parents:
5219
diff
changeset
|
15 ;; Free Software Foundation, either version 3 of the License, or (at your |
|
308d34e9f07d
Changed bulk of GPLv2 or later files identified by script
Mats Lidell <matsl@xemacs.org>
parents:
5219
diff
changeset
|
16 ;; option) any later version. |
| 428 | 17 |
|
5402
308d34e9f07d
Changed bulk of GPLv2 or later files identified by script
Mats Lidell <matsl@xemacs.org>
parents:
5219
diff
changeset
|
18 ;; XEmacs is distributed in the hope that it will be useful, but WITHOUT |
|
308d34e9f07d
Changed bulk of GPLv2 or later files identified by script
Mats Lidell <matsl@xemacs.org>
parents:
5219
diff
changeset
|
19 ;; ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
|
308d34e9f07d
Changed bulk of GPLv2 or later files identified by script
Mats Lidell <matsl@xemacs.org>
parents:
5219
diff
changeset
|
20 ;; FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
|
308d34e9f07d
Changed bulk of GPLv2 or later files identified by script
Mats Lidell <matsl@xemacs.org>
parents:
5219
diff
changeset
|
21 ;; for more details. |
| 428 | 22 |
| 23 ;; You should have received a copy of the GNU General Public License | |
|
5402
308d34e9f07d
Changed bulk of GPLv2 or later files identified by script
Mats Lidell <matsl@xemacs.org>
parents:
5219
diff
changeset
|
24 ;; along with XEmacs. If not, see <http://www.gnu.org/licenses/>. |
| 428 | 25 |
| 2153 | 26 ;;; Synched up with: FSF 21.3. |
| 428 | 27 |
| 28 ;;; Commentary: | |
| 29 | |
| 30 ;; This file is dumped with XEmacs. | |
| 31 | |
| 32 ;; These are extensions to Emacs Lisp that provide a degree of | |
| 33 ;; Common Lisp compatibility, beyond what is already built-in | |
| 34 ;; in Emacs Lisp. | |
| 35 ;; | |
| 36 ;; This package was written by Dave Gillespie; it is a complete | |
| 37 ;; rewrite of Cesar Quiroz's original cl.el package of December 1986. | |
| 38 ;; | |
| 39 ;; Bug reports, comments, and suggestions are welcome! | |
| 40 | |
| 41 ;; This file contains the portions of the Common Lisp extensions | |
| 42 ;; package which should always be present. | |
| 43 | |
| 44 | |
| 45 ;;; Future notes: | |
| 46 | |
| 47 ;; Once Emacs 19 becomes standard, many things in this package which are | |
| 48 ;; messy for reasons of compatibility can be greatly simplified. For now, | |
| 49 ;; I prefer to maintain one unified version. | |
| 50 | |
| 51 | |
| 52 ;;; Change Log: | |
| 53 | |
| 54 ;; Version 2.02 (30 Jul 93): | |
| 55 ;; * Added "cl-compat.el" file, extra compatibility with old package. | |
| 56 ;; * Added `lexical-let' and `lexical-let*'. | |
| 57 ;; * Added `define-modify-macro', `callf', and `callf2'. | |
| 58 ;; * Added `ignore-errors'. | |
| 59 ;; * Changed `(setf (nthcdr N PLACE) X)' to work when N is zero. | |
| 60 ;; * Merged `*gentemp-counter*' into `*gensym-counter*'. | |
| 61 ;; * Extended `subseq' to allow negative START and END like `substring'. | |
| 62 ;; * Added `in-ref', `across-ref', `elements of-ref' loop clauses. | |
| 63 ;; * Added `concat', `vconcat' loop clauses. | |
| 64 ;; * Cleaned up a number of compiler warnings. | |
| 65 | |
| 66 ;; Version 2.01 (7 Jul 93): | |
| 67 ;; * Added support for FSF version of Emacs 19. | |
| 68 ;; * Added `add-hook' for Emacs 18 users. | |
| 69 ;; * Added `defsubst*' and `symbol-macrolet'. | |
| 70 ;; * Added `maplist', `mapc', `mapl', `mapcan', `mapcon'. | |
| 71 ;; * Added `map', `concatenate', `reduce', `merge'. | |
| 72 ;; * Added `revappend', `nreconc', `tailp', `tree-equal'. | |
| 73 ;; * Added `assert', `check-type', `typecase', `typep', and `deftype'. | |
| 74 ;; * Added destructuring and `&environment' support to `defmacro*'. | |
| 75 ;; * Added destructuring to `loop', and added the following clauses: | |
| 76 ;; `elements', `frames', `overlays', `intervals', `buffers', `key-seqs'. | |
| 77 ;; * Renamed `delete' to `delete*' and `remove' to `remove*'. | |
| 78 ;; * Completed support for all keywords in `remove*', `substitute', etc. | |
| 79 ;; * Added `most-positive-float' and company. | |
| 80 ;; * Fixed hash tables to work with latest Lucid Emacs. | |
| 81 ;; * `proclaim' forms are no longer compile-time-evaluating; use `declaim'. | |
| 82 ;; * Syntax for `warn' declarations has changed. | |
| 83 ;; * Improved implementation of `random*'. | |
| 84 ;; * Moved most sequence functions to a new file, cl-seq.el. | |
| 85 ;; * Moved `eval-when' into cl-macs.el. | |
| 86 ;; * Moved `pushnew' and `adjoin' to cl.el for most common cases. | |
| 87 ;; * Moved `provide' forms down to ends of files. | |
| 88 ;; * Changed expansion of `pop' to something that compiles to better code. | |
| 89 ;; * Changed so that no patch is required for Emacs 19 byte compiler. | |
| 90 ;; * Made more things dependent on `optimize' declarations. | |
| 91 ;; * Added a partial implementation of struct print functions. | |
| 92 ;; * Miscellaneous minor changes. | |
| 93 | |
| 94 ;; Version 2.00: | |
| 95 ;; * First public release of this package. | |
| 96 | |
| 97 | |
| 98 ;;; Code: | |
| 99 | |
| 100 (defvar cl-optimize-speed 1) | |
| 101 (defvar cl-optimize-safety 1) | |
| 102 | |
| 103 (defvar custom-print-functions nil | |
| 104 "This is a list of functions that format user objects for printing. | |
| 105 Each function is called in turn with three arguments: the object, the | |
| 106 stream, and the print level (currently ignored). If it is able to | |
| 107 print the object it returns true; otherwise it returns nil and the | |
| 108 printer proceeds to the next function on the list. | |
| 109 | |
| 110 This variable is not used at present, but it is defined in hopes that | |
| 111 a future Emacs interpreter will be able to use it.") | |
| 112 | |
| 113 ;;; Predicates. | |
| 114 | |
| 115 (defun eql (a b) ; See compiler macro in cl-macs.el | |
|
4885
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4783
diff
changeset
|
116 "Return t if the arguments are the same Lisp object, or numerically equal. |
|
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4783
diff
changeset
|
117 |
|
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4783
diff
changeset
|
118 They must be of the same type; the difference between `eq' and `eql' is most |
|
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4783
diff
changeset
|
119 relevant when it comes to the non-fixnum number types. In this |
|
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4783
diff
changeset
|
120 implementation, fixnums of the same numeric value are always `eq', but this |
|
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4783
diff
changeset
|
121 is not true for other numeric types, among them floats, bignums and ratios, |
|
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4783
diff
changeset
|
122 if available. |
|
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4783
diff
changeset
|
123 |
|
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4783
diff
changeset
|
124 See also `=' (which doesn't require that its arguments be of the same type, |
|
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4783
diff
changeset
|
125 but only accepts numeric arguments, characters and markers) and `equal'." |
|
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4783
diff
changeset
|
126 (or (eq a b) (and (numberp a) (equal a b)))) |
| 428 | 127 |
| 128 ;;; Generalized variables. These macros are defined here so that they | |
| 129 ;;; can safely be used in .emacs files. | |
| 130 | |
| 131 (defmacro incf (place &optional x) | |
| 3343 | 132 "Increment PLACE by X (1 by default). |
| 428 | 133 PLACE may be a symbol, or any generalized variable allowed by `setf'. |
| 134 The return value is the incremented value of PLACE." | |
| 135 (if (symbolp place) | |
| 136 (list 'setq place (if x (list '+ place x) (list '1+ place))) | |
| 137 ;; XEmacs byte-compiler optimizes (+ FOO 1) to (1+ FOO), so this | |
| 138 ;; is OK. | |
| 139 (list 'callf '+ place (or x 1)))) | |
| 140 | |
| 141 (defmacro decf (place &optional x) | |
| 3343 | 142 "Decrement PLACE by X (1 by default). |
| 428 | 143 PLACE may be a symbol, or any generalized variable allowed by `setf'. |
| 144 The return value is the decremented value of PLACE." | |
| 145 (if (symbolp place) | |
| 146 (list 'setq place (if x (list '- place x) (list '1- place))) | |
| 147 (list 'callf '- place (or x 1)))) | |
| 148 | |
| 149 (defmacro pop (place) | |
| 3343 | 150 "Remove and return the head of the list stored in PLACE. |
| 428 | 151 Analogous to (prog1 (car PLACE) (setf PLACE (cdr PLACE))), though more |
| 152 careful about evaluating each argument only once and in the right order. | |
| 153 PLACE may be a symbol, or any generalized variable allowed by `setf'." | |
| 154 (if (symbolp place) | |
| 155 `(car (prog1 ,place (setq ,place (cdr ,place)))) | |
| 156 (cl-do-pop place))) | |
| 157 | |
| 3343 | 158 (defmacro push (newelt listname) |
| 3355 | 159 "Add NEWELT at the beginning of the list stored in LISTNAME. |
| 160 Analogous to (setf LISTNAME (cons NEWELT LISTNAME)), though more careful | |
| 161 about evaluating each argument only once and in the right order. LISTNAME | |
| 162 may be a symbol, or any generalized variable allowed by `setf'; that is, it | |
| 163 does not necessarily have to be a list, though `push' is most often used on | |
| 164 lists. " | |
| 3343 | 165 (if (symbolp listname) `(setq ,listname (cons ,newelt ,listname)) |
| 166 (list 'callf2 'cons newelt listname))) | |
| 428 | 167 |
| 3343 | 168 (defmacro pushnew (newelt listname &rest keys) |
| 3355 | 169 "Add NEWELT at the beginning of LISTNAME, unless it's already in LISTNAME. |
| 3343 | 170 Like (push NEWELT LISTNAME), except that the list is unmodified if NEWELT is |
| 171 `eql' to an element already on the list. | |
|
5066
545ec923b4eb
add documentation on keywords to cl*.el
Ben Wing <ben@xemacs.org>
parents:
4995
diff
changeset
|
172 Keywords supported: :test :test-not :key |
|
545ec923b4eb
add documentation on keywords to cl*.el
Ben Wing <ben@xemacs.org>
parents:
4995
diff
changeset
|
173 See `member*' for the meaning of :test, :test-not and :key." |
| 3343 | 174 (if (symbolp listname) (list 'setq listname |
| 175 (list* 'adjoin newelt listname keys)) | |
| 176 (list* 'callf2 'adjoin newelt listname keys))) | |
| 428 | 177 |
| 178 (defun cl-set-elt (seq n val) | |
| 179 (if (listp seq) (setcar (nthcdr n seq) val) (aset seq n val))) | |
| 180 | |
| 181 (defun cl-set-nthcdr (n list x) | |
| 182 (if (<= n 0) x (setcdr (nthcdr (1- n) list) x) list)) | |
| 183 | |
| 184 (defun cl-set-buffer-substring (start end val) | |
| 185 (save-excursion (delete-region start end) | |
| 186 (goto-char start) | |
| 187 (insert val) | |
| 188 val)) | |
| 189 | |
| 190 (defun cl-set-substring (str start end val) | |
| 191 (if end (if (< end 0) (incf end (length str))) | |
| 192 (setq end (length str))) | |
| 2136 | 193 (if (< start 0) (incf start (length str))) |
| 428 | 194 (concat (and (> start 0) (substring str 0 start)) |
| 195 val | |
| 196 (and (< end (length str)) (substring str end)))) | |
| 197 | |
| 198 ;;; Control structures. | |
| 199 | |
| 200 ;; The macros `when' and `unless' are so useful that we want them to | |
| 201 ;; ALWAYS be available. So they've been moved from cl.el to eval.c. | |
| 202 ;; Note: FSF Emacs moved them to subr.el in FSF 20. | |
| 203 | |
| 2153 | 204 (defalias 'cl-map-extents 'map-extents) |
| 428 | 205 |
|
4677
8f1ee2d15784
Support full Common Lisp multiple values in C.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3355
diff
changeset
|
206 ;;; XEmacs; multiple values are in eval.c and cl-macs.el. |
| 2153 | 207 |
|
4677
8f1ee2d15784
Support full Common Lisp multiple values in C.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3355
diff
changeset
|
208 ;;; We no longer support `multiple-value-apply', which was ill-conceived to |
|
8f1ee2d15784
Support full Common Lisp multiple values in C.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3355
diff
changeset
|
209 ;;; start with, is not specified by Common Lisp, and which nothing uses, |
|
8f1ee2d15784
Support full Common Lisp multiple values in C.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3355
diff
changeset
|
210 ;;; according to Google Code Search, as of Sat Mar 14 23:31:35 GMT 2009. |
| 2153 | 211 |
|
4677
8f1ee2d15784
Support full Common Lisp multiple values in C.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3355
diff
changeset
|
212 (make-obsolete 'multiple-value-apply 'multiple-value-call) |
| 428 | 213 |
| 214 ;;; Macros. | |
| 215 | |
| 216 ;; XEmacs: we renamed the internal function to macroexpand-internal | |
| 217 ;; to avoid doc-file problems. | |
| 218 (defvar cl-old-macroexpand (prog1 (symbol-function 'macroexpand-internal) | |
| 219 (defalias 'macroexpand 'cl-macroexpand))) | |
| 220 | |
| 221 (defun cl-macroexpand (cl-macro &optional cl-env) | |
| 222 "Return result of expanding macros at top level of FORM. | |
| 223 If FORM is not a macro call, it is returned unchanged. | |
| 224 Otherwise, the macro is expanded and the expansion is considered | |
| 225 in place of FORM. When a non-macro-call results, it is returned. | |
| 226 | |
| 442 | 227 The second optional arg ENVIRONMENT specifies an environment of macro |
| 428 | 228 definitions to shadow the loaded ones for use in file byte-compilation." |
|
5562
855b667dea13
Drop cl-macro-environment in favour of byte-compile-macro-environment.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5531
diff
changeset
|
229 (let ((byte-compile-macro-environment |
|
855b667dea13
Drop cl-macro-environment in favour of byte-compile-macro-environment.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5531
diff
changeset
|
230 (if byte-compile-macro-environment |
|
855b667dea13
Drop cl-macro-environment in favour of byte-compile-macro-environment.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5531
diff
changeset
|
231 (append cl-env byte-compile-macro-environment) cl-env)) |
|
5462
97ac18bd1fa3
Make sure distinct symbol macros with identical names expand distinctly.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5392
diff
changeset
|
232 eq-hash) |
|
97ac18bd1fa3
Make sure distinct symbol macros with identical names expand distinctly.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5392
diff
changeset
|
233 (while (progn (setq cl-macro |
|
5562
855b667dea13
Drop cl-macro-environment in favour of byte-compile-macro-environment.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5531
diff
changeset
|
234 (macroexpand-internal cl-macro |
|
855b667dea13
Drop cl-macro-environment in favour of byte-compile-macro-environment.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5531
diff
changeset
|
235 byte-compile-macro-environment)) |
| 428 | 236 (and (symbolp cl-macro) |
|
5462
97ac18bd1fa3
Make sure distinct symbol macros with identical names expand distinctly.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5392
diff
changeset
|
237 (setq eq-hash (eq-hash cl-macro)) |
|
5531
1b054bc2ac40
Allow disabling a symbol macro with a macro environment, #'cl-macroexpand
Aidan Kehoe <kehoea@parhasard.net>
parents:
5476
diff
changeset
|
238 (cdr (if (fixnump eq-hash) |
|
5562
855b667dea13
Drop cl-macro-environment in favour of byte-compile-macro-environment.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5531
diff
changeset
|
239 (assq eq-hash byte-compile-macro-environment) |
|
855b667dea13
Drop cl-macro-environment in favour of byte-compile-macro-environment.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5531
diff
changeset
|
240 (assoc eq-hash byte-compile-macro-environment))))) |
|
855b667dea13
Drop cl-macro-environment in favour of byte-compile-macro-environment.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5531
diff
changeset
|
241 (setq cl-macro (cadr (assoc* eq-hash byte-compile-macro-environment)))) |
| 428 | 242 cl-macro)) |
| 243 | |
| 244 ;;; Declarations. | |
| 245 | |
| 246 (defvar cl-compiling-file nil) | |
| 247 (defun cl-compiling-file () | |
| 248 (or cl-compiling-file | |
| 249 ;; XEmacs change | |
| 250 ; (and (boundp 'outbuffer) (bufferp (symbol-value 'outbuffer)) | |
| 251 ; (equal (buffer-name (symbol-value 'outbuffer)) | |
| 252 ; " *Compiler Output*")) | |
| 253 (and (boundp 'byte-compile-outbuffer) | |
| 254 (bufferp (symbol-value 'byte-compile-outbuffer)) | |
| 255 (equal (buffer-name (symbol-value 'byte-compile-outbuffer)) | |
| 256 " *Compiler Output*")) | |
| 257 )) | |
| 258 | |
| 259 (defvar cl-proclaims-deferred nil) | |
| 260 | |
| 261 (defun proclaim (spec) | |
| 262 (if (fboundp 'cl-do-proclaim) (cl-do-proclaim spec t) | |
| 263 (push spec cl-proclaims-deferred)) | |
| 264 nil) | |
| 265 | |
| 266 (defmacro declaim (&rest specs) | |
| 267 (let ((body (mapcar (function (lambda (x) (list 'proclaim (list 'quote x)))) | |
| 268 specs))) | |
| 269 (if (cl-compiling-file) (list* 'eval-when '(compile load eval) body) | |
| 270 (cons 'progn body)))) ; avoid loading cl-macs.el for eval-when | |
| 271 | |
| 272 ;;; Symbols. | |
| 273 | |
| 274 (defun cl-random-time () | |
| 275 (let* ((time (copy-sequence (current-time-string))) (i (length time)) (v 0)) | |
| 276 (while (>= (decf i) 0) (setq v (+ (* v 3) (aref time i)))) | |
| 2509 | 277 (if-fboundp 'coerce-number |
| 278 (coerce-number v 'fixnum) | |
| 1983 | 279 v))) |
| 428 | 280 |
| 281 (defvar *gensym-counter* (* (logand (cl-random-time) 1023) 100)) | |
| 282 | |
| 2153 | 283 ;; XEmacs change: gensym and gentemp moved here from cl-macs.el |
| 442 | 284 (defun gensym (&optional arg) |
| 285 "Generate a new uninterned symbol. | |
| 2071 | 286 The name is made by appending a number to a prefix. If ARG is a string, it |
| 287 is the prefix, otherwise the prefix defaults to \"G\". If ARG is an integer, | |
| 288 the internal counter is reset to that number before creating the name. | |
| 289 There is no way to specify both using this function." | |
| 442 | 290 (let ((prefix (if (stringp arg) arg "G")) |
| 291 (num (if (integerp arg) arg | |
| 292 (prog1 *gensym-counter* | |
| 293 (setq *gensym-counter* (1+ *gensym-counter*)))))) | |
| 294 (make-symbol (format "%s%d" prefix num)))) | |
| 295 | |
| 296 (defun gentemp (&optional arg) | |
| 297 "Generate a new interned symbol with a unique name. | |
| 2071 | 298 The name is made by appending a number to ARG, default \"G\". |
| 299 If ARG is not a string, it is ignored." | |
| 442 | 300 (let ((prefix (if (stringp arg) arg "G")) |
| 301 name) | |
| 302 (while (intern-soft (setq name (format "%s%d" prefix *gensym-counter*))) | |
| 303 (setq *gensym-counter* (1+ *gensym-counter*))) | |
| 304 (intern name))) | |
| 428 | 305 |
| 306 ;;; Numbers. | |
| 307 | |
|
4885
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4783
diff
changeset
|
308 ;; XEmacs change: ditch floatp-safe. |
| 428 | 309 |
| 446 | 310 (defun plusp (number) |
| 428 | 311 "Return t if NUMBER is positive." |
| 446 | 312 (> number 0)) |
| 313 | |
| 314 (defun minusp (number) | |
| 315 "Return t if NUMBER is negative." | |
| 316 (< number 0)) | |
| 428 | 317 |
| 446 | 318 (defun oddp (integer) |
| 428 | 319 "Return t if INTEGER is odd." |
|
5385
436e67ca8c79
Give docstrings to least-{positive,negative}-normalized-float, float-*epsilon
Aidan Kehoe <kehoea@parhasard.net>
parents:
5354
diff
changeset
|
320 (eql (logand integer 1) 1)) |
| 428 | 321 |
| 446 | 322 (defun evenp (integer) |
| 428 | 323 "Return t if INTEGER is even." |
|
5385
436e67ca8c79
Give docstrings to least-{positive,negative}-normalized-float, float-*epsilon
Aidan Kehoe <kehoea@parhasard.net>
parents:
5354
diff
changeset
|
324 (eql (logand integer 1) 0)) |
| 428 | 325 |
| 2153 | 326 ;; XEmacs addition |
| 327 (defalias 'cl-abs 'abs) | |
| 428 | 328 |
| 329 (defvar *random-state* (vector 'cl-random-state-tag -1 30 (cl-random-time))) | |
| 330 | |
| 331 ;;; The following are set by code in cl-extra.el | |
| 332 (defconst most-positive-float nil | |
| 333 "The float closest in value to positive infinity.") | |
| 334 (defconst most-negative-float nil | |
| 335 "The float closest in value to negative infinity.") | |
| 336 (defconst least-positive-float nil | |
|
5385
436e67ca8c79
Give docstrings to least-{positive,negative}-normalized-float, float-*epsilon
Aidan Kehoe <kehoea@parhasard.net>
parents:
5354
diff
changeset
|
337 "The positive float closest in value to zero.") |
| 428 | 338 (defconst least-negative-float nil |
|
5385
436e67ca8c79
Give docstrings to least-{positive,negative}-normalized-float, float-*epsilon
Aidan Kehoe <kehoea@parhasard.net>
parents:
5354
diff
changeset
|
339 "The negative float closest in value to zero.") |
|
436e67ca8c79
Give docstrings to least-{positive,negative}-normalized-float, float-*epsilon
Aidan Kehoe <kehoea@parhasard.net>
parents:
5354
diff
changeset
|
340 (defconst least-positive-normalized-float nil |
|
436e67ca8c79
Give docstrings to least-{positive,negative}-normalized-float, float-*epsilon
Aidan Kehoe <kehoea@parhasard.net>
parents:
5354
diff
changeset
|
341 "The normalized positive float closest in value to zero. |
|
436e67ca8c79
Give docstrings to least-{positive,negative}-normalized-float, float-*epsilon
Aidan Kehoe <kehoea@parhasard.net>
parents:
5354
diff
changeset
|
342 |
|
436e67ca8c79
Give docstrings to least-{positive,negative}-normalized-float, float-*epsilon
Aidan Kehoe <kehoea@parhasard.net>
parents:
5354
diff
changeset
|
343 A float is normalized if the most significant bit of its mantissa is 1. |
|
436e67ca8c79
Give docstrings to least-{positive,negative}-normalized-float, float-*epsilon
Aidan Kehoe <kehoea@parhasard.net>
parents:
5354
diff
changeset
|
344 Use of denormalized (equivalently, subnormal) floats in calculations will |
|
436e67ca8c79
Give docstrings to least-{positive,negative}-normalized-float, float-*epsilon
Aidan Kehoe <kehoea@parhasard.net>
parents:
5354
diff
changeset
|
345 lead to gradual underflow, though they can be more accurate in representing |
|
436e67ca8c79
Give docstrings to least-{positive,negative}-normalized-float, float-*epsilon
Aidan Kehoe <kehoea@parhasard.net>
parents:
5354
diff
changeset
|
346 individual small values. Normal and subnormal floats are as described in |
|
436e67ca8c79
Give docstrings to least-{positive,negative}-normalized-float, float-*epsilon
Aidan Kehoe <kehoea@parhasard.net>
parents:
5354
diff
changeset
|
347 IEEE 754.") |
|
436e67ca8c79
Give docstrings to least-{positive,negative}-normalized-float, float-*epsilon
Aidan Kehoe <kehoea@parhasard.net>
parents:
5354
diff
changeset
|
348 |
|
436e67ca8c79
Give docstrings to least-{positive,negative}-normalized-float, float-*epsilon
Aidan Kehoe <kehoea@parhasard.net>
parents:
5354
diff
changeset
|
349 (defconst least-negative-normalized-float nil |
|
436e67ca8c79
Give docstrings to least-{positive,negative}-normalized-float, float-*epsilon
Aidan Kehoe <kehoea@parhasard.net>
parents:
5354
diff
changeset
|
350 "The normalized negative float closest in value to zero. |
|
436e67ca8c79
Give docstrings to least-{positive,negative}-normalized-float, float-*epsilon
Aidan Kehoe <kehoea@parhasard.net>
parents:
5354
diff
changeset
|
351 |
|
436e67ca8c79
Give docstrings to least-{positive,negative}-normalized-float, float-*epsilon
Aidan Kehoe <kehoea@parhasard.net>
parents:
5354
diff
changeset
|
352 See `least-positive-normalized-float' for details of normal and denormalized |
|
436e67ca8c79
Give docstrings to least-{positive,negative}-normalized-float, float-*epsilon
Aidan Kehoe <kehoea@parhasard.net>
parents:
5354
diff
changeset
|
353 numbers.") |
|
436e67ca8c79
Give docstrings to least-{positive,negative}-normalized-float, float-*epsilon
Aidan Kehoe <kehoea@parhasard.net>
parents:
5354
diff
changeset
|
354 |
|
436e67ca8c79
Give docstrings to least-{positive,negative}-normalized-float, float-*epsilon
Aidan Kehoe <kehoea@parhasard.net>
parents:
5354
diff
changeset
|
355 (defconst float-epsilon nil |
|
436e67ca8c79
Give docstrings to least-{positive,negative}-normalized-float, float-*epsilon
Aidan Kehoe <kehoea@parhasard.net>
parents:
5354
diff
changeset
|
356 "The smallest float guaranteed not `eql' to 1.0 when added to 1.0. |
|
436e67ca8c79
Give docstrings to least-{positive,negative}-normalized-float, float-*epsilon
Aidan Kehoe <kehoea@parhasard.net>
parents:
5354
diff
changeset
|
357 |
|
436e67ca8c79
Give docstrings to least-{positive,negative}-normalized-float, float-*epsilon
Aidan Kehoe <kehoea@parhasard.net>
parents:
5354
diff
changeset
|
358 That is, (eql 1.0 (+ 1.0 X)) will always give nil if (<= float-epsilon X) , |
|
436e67ca8c79
Give docstrings to least-{positive,negative}-normalized-float, float-*epsilon
Aidan Kehoe <kehoea@parhasard.net>
parents:
5354
diff
changeset
|
359 but it may give t for smaller values.") |
|
436e67ca8c79
Give docstrings to least-{positive,negative}-normalized-float, float-*epsilon
Aidan Kehoe <kehoea@parhasard.net>
parents:
5354
diff
changeset
|
360 |
|
436e67ca8c79
Give docstrings to least-{positive,negative}-normalized-float, float-*epsilon
Aidan Kehoe <kehoea@parhasard.net>
parents:
5354
diff
changeset
|
361 (defconst float-negative-epsilon nil |
|
436e67ca8c79
Give docstrings to least-{positive,negative}-normalized-float, float-*epsilon
Aidan Kehoe <kehoea@parhasard.net>
parents:
5354
diff
changeset
|
362 "The smallest float guaranteed not `eql' to 1.0 when subtracted from 1.0. |
|
436e67ca8c79
Give docstrings to least-{positive,negative}-normalized-float, float-*epsilon
Aidan Kehoe <kehoea@parhasard.net>
parents:
5354
diff
changeset
|
363 |
|
436e67ca8c79
Give docstrings to least-{positive,negative}-normalized-float, float-*epsilon
Aidan Kehoe <kehoea@parhasard.net>
parents:
5354
diff
changeset
|
364 That is, (eql 1.0 (- 1.0 X)) will always give nil if (<= |
|
436e67ca8c79
Give docstrings to least-{positive,negative}-normalized-float, float-*epsilon
Aidan Kehoe <kehoea@parhasard.net>
parents:
5354
diff
changeset
|
365 float-negative-epsilon X) , but it may give t for smaller values.") |
| 428 | 366 |
| 367 ;;; Sequence functions. | |
| 368 | |
| 369 (defalias 'copy-seq 'copy-sequence) | |
| 370 | |
|
5219
2d0937dc83cf
Tidying of CL files; make docstrings read better, remove commented-out code
Aidan Kehoe <kehoea@parhasard.net>
parents:
5066
diff
changeset
|
371 ;; XEmacs; #'mapcar* is in C. |
|
2d0937dc83cf
Tidying of CL files; make docstrings read better, remove commented-out code
Aidan Kehoe <kehoea@parhasard.net>
parents:
5066
diff
changeset
|
372 |
|
2d0937dc83cf
Tidying of CL files; make docstrings read better, remove commented-out code
Aidan Kehoe <kehoea@parhasard.net>
parents:
5066
diff
changeset
|
373 (defalias 'svref 'aref) ;; Compiler macro in cl-macs.el |
| 428 | 374 |
| 375 ;;; List functions. | |
| 376 | |
| 377 ;; These functions are made known to the byte-compiler by cl-macs.el | |
| 378 ;; and turned into efficient car and cdr bytecodes. | |
| 379 | |
| 380 (defalias 'first 'car) | |
| 381 (defalias 'rest 'cdr) | |
|
5285
99de5fd48e87
Tighten up Common Lisp compatibility, #'butlast, #'nbutlast, #'tailp, #'ldiff
Aidan Kehoe <kehoea@parhasard.net>
parents:
5281
diff
changeset
|
382 |
|
99de5fd48e87
Tighten up Common Lisp compatibility, #'butlast, #'nbutlast, #'tailp, #'ldiff
Aidan Kehoe <kehoea@parhasard.net>
parents:
5281
diff
changeset
|
383 ;; XEmacs change; this needs to error if handed a non-list. |
|
99de5fd48e87
Tighten up Common Lisp compatibility, #'butlast, #'nbutlast, #'tailp, #'ldiff
Aidan Kehoe <kehoea@parhasard.net>
parents:
5281
diff
changeset
|
384 (defun endp (list) |
|
99de5fd48e87
Tighten up Common Lisp compatibility, #'butlast, #'nbutlast, #'tailp, #'ldiff
Aidan Kehoe <kehoea@parhasard.net>
parents:
5281
diff
changeset
|
385 "Return t if LIST is nil, or nil if LIST is a cons. Error otherwise." |
|
99de5fd48e87
Tighten up Common Lisp compatibility, #'butlast, #'nbutlast, #'tailp, #'ldiff
Aidan Kehoe <kehoea@parhasard.net>
parents:
5281
diff
changeset
|
386 (prog1 |
|
99de5fd48e87
Tighten up Common Lisp compatibility, #'butlast, #'nbutlast, #'tailp, #'ldiff
Aidan Kehoe <kehoea@parhasard.net>
parents:
5281
diff
changeset
|
387 (null list) |
|
99de5fd48e87
Tighten up Common Lisp compatibility, #'butlast, #'nbutlast, #'tailp, #'ldiff
Aidan Kehoe <kehoea@parhasard.net>
parents:
5281
diff
changeset
|
388 (and list (atom list) (error 'wrong-type-argument #'listp list)))) |
| 428 | 389 |
| 2153 | 390 ;; XEmacs change: make it a real function |
| 428 | 391 (defun second (x) |
| 392 "Return the second element of the list LIST." | |
| 393 (car (cdr x))) | |
| 394 | |
| 395 (defun third (x) | |
| 2153 | 396 "Return the third element of the list X." |
| 428 | 397 (car (cdr (cdr x)))) |
| 398 | |
| 399 (defun fourth (x) | |
| 2153 | 400 "Return the fourth element of the list X." |
| 428 | 401 (nth 3 x)) |
| 402 | |
| 403 (defun fifth (x) | |
| 2153 | 404 "Return the fifth element of the list X." |
| 428 | 405 (nth 4 x)) |
| 406 | |
| 407 (defun sixth (x) | |
| 2153 | 408 "Return the sixth element of the list X." |
| 428 | 409 (nth 5 x)) |
| 410 | |
| 411 (defun seventh (x) | |
| 2153 | 412 "Return the seventh element of the list X." |
| 428 | 413 (nth 6 x)) |
| 414 | |
| 415 (defun eighth (x) | |
| 2153 | 416 "Return the eighth element of the list X." |
| 428 | 417 (nth 7 x)) |
| 418 | |
| 419 (defun ninth (x) | |
| 2153 | 420 "Return the ninth element of the list X." |
| 428 | 421 (nth 8 x)) |
| 422 | |
| 423 (defun tenth (x) | |
| 2153 | 424 "Return the tenth element of the list X." |
| 428 | 425 (nth 9 x)) |
| 426 | |
| 2153 | 427 ;; XEmacs change: Emacs defines caar, cadr, cdar, and cddr in subr.el. |
| 428 | 428 (defun caar (x) |
| 429 "Return the `car' of the `car' of X." | |
| 430 (car (car x))) | |
| 431 | |
| 432 (defun cadr (x) | |
|
5392
25c10648ffba
#'cadr, #'caddr, #'cadddr; document some equivalences.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5385
diff
changeset
|
433 "Return the `car' of the `cdr' of X. Equivalent to `(second X)'." |
| 428 | 434 (car (cdr x))) |
| 435 | |
| 436 (defun cdar (x) | |
| 437 "Return the `cdr' of the `car' of X." | |
| 438 (cdr (car x))) | |
| 439 | |
| 440 (defun cddr (x) | |
| 441 "Return the `cdr' of the `cdr' of X." | |
| 442 (cdr (cdr x))) | |
| 443 | |
| 444 (defun caaar (x) | |
| 445 "Return the `car' of the `car' of the `car' of X." | |
| 446 (car (car (car x)))) | |
| 447 | |
| 448 (defun caadr (x) | |
| 449 "Return the `car' of the `car' of the `cdr' of X." | |
| 450 (car (car (cdr x)))) | |
| 451 | |
| 452 (defun cadar (x) | |
| 453 "Return the `car' of the `cdr' of the `car' of X." | |
| 454 (car (cdr (car x)))) | |
| 455 | |
| 456 (defun caddr (x) | |
|
5392
25c10648ffba
#'cadr, #'caddr, #'cadddr; document some equivalences.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5385
diff
changeset
|
457 "Return the `car' of the `cdr' of the `cdr' of X. |
|
25c10648ffba
#'cadr, #'caddr, #'cadddr; document some equivalences.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5385
diff
changeset
|
458 Equivalent to `(third X)'." |
| 428 | 459 (car (cdr (cdr x)))) |
| 460 | |
| 461 (defun cdaar (x) | |
| 462 "Return the `cdr' of the `car' of the `car' of X." | |
| 463 (cdr (car (car x)))) | |
| 464 | |
| 465 (defun cdadr (x) | |
| 466 "Return the `cdr' of the `car' of the `cdr' of X." | |
| 467 (cdr (car (cdr x)))) | |
| 468 | |
| 469 (defun cddar (x) | |
| 470 "Return the `cdr' of the `cdr' of the `car' of X." | |
| 471 (cdr (cdr (car x)))) | |
| 472 | |
| 473 (defun cdddr (x) | |
| 474 "Return the `cdr' of the `cdr' of the `cdr' of X." | |
| 475 (cdr (cdr (cdr x)))) | |
| 476 | |
| 477 (defun caaaar (x) | |
| 478 "Return the `car' of the `car' of the `car' of the `car' of X." | |
| 479 (car (car (car (car x))))) | |
| 480 | |
| 481 (defun caaadr (x) | |
| 482 "Return the `car' of the `car' of the `car' of the `cdr' of X." | |
| 483 (car (car (car (cdr x))))) | |
| 484 | |
| 485 (defun caadar (x) | |
| 486 "Return the `car' of the `car' of the `cdr' of the `car' of X." | |
| 487 (car (car (cdr (car x))))) | |
| 488 | |
| 489 (defun caaddr (x) | |
| 490 "Return the `car' of the `car' of the `cdr' of the `cdr' of X." | |
| 491 (car (car (cdr (cdr x))))) | |
| 492 | |
| 493 (defun cadaar (x) | |
| 494 "Return the `car' of the `cdr' of the `car' of the `car' of X." | |
| 495 (car (cdr (car (car x))))) | |
| 496 | |
| 497 (defun cadadr (x) | |
| 498 "Return the `car' of the `cdr' of the `car' of the `cdr' of X." | |
| 499 (car (cdr (car (cdr x))))) | |
| 500 | |
| 501 (defun caddar (x) | |
| 502 "Return the `car' of the `cdr' of the `cdr' of the `car' of X." | |
| 503 (car (cdr (cdr (car x))))) | |
| 504 | |
| 505 (defun cadddr (x) | |
|
5392
25c10648ffba
#'cadr, #'caddr, #'cadddr; document some equivalences.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5385
diff
changeset
|
506 "Return the `car' of the `cdr' of the `cdr' of the `cdr' of X. |
|
25c10648ffba
#'cadr, #'caddr, #'cadddr; document some equivalences.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5385
diff
changeset
|
507 Equivalent to `(fourth X)'." |
| 428 | 508 (car (cdr (cdr (cdr x))))) |
| 509 | |
| 510 (defun cdaaar (x) | |
| 511 "Return the `cdr' of the `car' of the `car' of the `car' of X." | |
| 512 (cdr (car (car (car x))))) | |
| 513 | |
| 514 (defun cdaadr (x) | |
| 515 "Return the `cdr' of the `car' of the `car' of the `cdr' of X." | |
| 516 (cdr (car (car (cdr x))))) | |
| 517 | |
| 518 (defun cdadar (x) | |
| 519 "Return the `cdr' of the `car' of the `cdr' of the `car' of X." | |
| 520 (cdr (car (cdr (car x))))) | |
| 521 | |
| 522 (defun cdaddr (x) | |
| 523 "Return the `cdr' of the `car' of the `cdr' of the `cdr' of X." | |
| 524 (cdr (car (cdr (cdr x))))) | |
| 525 | |
| 526 (defun cddaar (x) | |
| 527 "Return the `cdr' of the `cdr' of the `car' of the `car' of X." | |
| 528 (cdr (cdr (car (car x))))) | |
| 529 | |
| 530 (defun cddadr (x) | |
| 531 "Return the `cdr' of the `cdr' of the `car' of the `cdr' of X." | |
| 532 (cdr (cdr (car (cdr x))))) | |
| 533 | |
| 534 (defun cdddar (x) | |
| 535 "Return the `cdr' of the `cdr' of the `cdr' of the `car' of X." | |
| 536 (cdr (cdr (cdr (car x))))) | |
| 537 | |
| 538 (defun cddddr (x) | |
| 539 "Return the `cdr' of the `cdr' of the `cdr' of the `cdr' of X." | |
| 540 (cdr (cdr (cdr (cdr x))))) | |
| 541 | |
| 542 ;;; `last' is implemented as a C primitive, as of 1998-11 | |
| 543 | |
|
5281
aa20a889ff14
Remove a couple of redundant functions, backquote.el
Aidan Kehoe <kehoea@parhasard.net>
parents:
5219
diff
changeset
|
544 ;;; XEmacs: `list*' is in subr.el. |
| 428 | 545 |
|
5285
99de5fd48e87
Tighten up Common Lisp compatibility, #'butlast, #'nbutlast, #'tailp, #'ldiff
Aidan Kehoe <kehoea@parhasard.net>
parents:
5281
diff
changeset
|
546 ;; XEmacs; handle dotted lists properly, error on circularity and if LIST is |
|
99de5fd48e87
Tighten up Common Lisp compatibility, #'butlast, #'nbutlast, #'tailp, #'ldiff
Aidan Kehoe <kehoea@parhasard.net>
parents:
5281
diff
changeset
|
547 ;; not a list. |
| 428 | 548 (defun ldiff (list sublist) |
|
5285
99de5fd48e87
Tighten up Common Lisp compatibility, #'butlast, #'nbutlast, #'tailp, #'ldiff
Aidan Kehoe <kehoea@parhasard.net>
parents:
5281
diff
changeset
|
549 "Return a copy of LIST with the tail SUBLIST removed. |
|
99de5fd48e87
Tighten up Common Lisp compatibility, #'butlast, #'nbutlast, #'tailp, #'ldiff
Aidan Kehoe <kehoea@parhasard.net>
parents:
5281
diff
changeset
|
550 |
|
99de5fd48e87
Tighten up Common Lisp compatibility, #'butlast, #'nbutlast, #'tailp, #'ldiff
Aidan Kehoe <kehoea@parhasard.net>
parents:
5281
diff
changeset
|
551 If SUBLIST is the same Lisp object as LIST, return nil. If SUBLIST is |
|
99de5fd48e87
Tighten up Common Lisp compatibility, #'butlast, #'nbutlast, #'tailp, #'ldiff
Aidan Kehoe <kehoea@parhasard.net>
parents:
5281
diff
changeset
|
552 not present in the list structure of LIST (that is, it is not the cdr |
|
99de5fd48e87
Tighten up Common Lisp compatibility, #'butlast, #'nbutlast, #'tailp, #'ldiff
Aidan Kehoe <kehoea@parhasard.net>
parents:
5281
diff
changeset
|
553 of some cons making up LIST), this function is equivalent to |
|
99de5fd48e87
Tighten up Common Lisp compatibility, #'butlast, #'nbutlast, #'tailp, #'ldiff
Aidan Kehoe <kehoea@parhasard.net>
parents:
5281
diff
changeset
|
554 `copy-list'. LIST may be dotted." |
|
99de5fd48e87
Tighten up Common Lisp compatibility, #'butlast, #'nbutlast, #'tailp, #'ldiff
Aidan Kehoe <kehoea@parhasard.net>
parents:
5281
diff
changeset
|
555 (check-argument-type #'listp list) |
|
99de5fd48e87
Tighten up Common Lisp compatibility, #'butlast, #'nbutlast, #'tailp, #'ldiff
Aidan Kehoe <kehoea@parhasard.net>
parents:
5281
diff
changeset
|
556 (and list (not (eq list sublist)) |
|
99de5fd48e87
Tighten up Common Lisp compatibility, #'butlast, #'nbutlast, #'tailp, #'ldiff
Aidan Kehoe <kehoea@parhasard.net>
parents:
5281
diff
changeset
|
557 (let ((before list) (evenp t) result) |
|
99de5fd48e87
Tighten up Common Lisp compatibility, #'butlast, #'nbutlast, #'tailp, #'ldiff
Aidan Kehoe <kehoea@parhasard.net>
parents:
5281
diff
changeset
|
558 (prog1 |
|
99de5fd48e87
Tighten up Common Lisp compatibility, #'butlast, #'nbutlast, #'tailp, #'ldiff
Aidan Kehoe <kehoea@parhasard.net>
parents:
5281
diff
changeset
|
559 (setq result (list (car list))) |
|
99de5fd48e87
Tighten up Common Lisp compatibility, #'butlast, #'nbutlast, #'tailp, #'ldiff
Aidan Kehoe <kehoea@parhasard.net>
parents:
5281
diff
changeset
|
560 (while (and (setq list (cdr-safe list)) (not (eql list sublist))) |
|
5294
bbff29a01820
Add compiler macros and compilation sanity-checks for functions with keywords.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5285
diff
changeset
|
561 (setcdr result (if (consp list) (list (car list)) list)) |
|
bbff29a01820
Add compiler macros and compilation sanity-checks for functions with keywords.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5285
diff
changeset
|
562 (setq result (cdr result) |
|
5285
99de5fd48e87
Tighten up Common Lisp compatibility, #'butlast, #'nbutlast, #'tailp, #'ldiff
Aidan Kehoe <kehoea@parhasard.net>
parents:
5281
diff
changeset
|
563 evenp (not evenp)) |
|
99de5fd48e87
Tighten up Common Lisp compatibility, #'butlast, #'nbutlast, #'tailp, #'ldiff
Aidan Kehoe <kehoea@parhasard.net>
parents:
5281
diff
changeset
|
564 (if evenp (setq before (cdr before))) |
|
99de5fd48e87
Tighten up Common Lisp compatibility, #'butlast, #'nbutlast, #'tailp, #'ldiff
Aidan Kehoe <kehoea@parhasard.net>
parents:
5281
diff
changeset
|
565 (if (eq before list) (error 'circular-list list))))))) |
| 428 | 566 |
| 567 ;;; `copy-list' is implemented as a C primitive, as of 1998-11 | |
| 568 | |
| 569 (defalias 'cl-member 'memq) ; for compatibility with old CL package | |
| 570 (defalias 'cl-floor 'floor*) | |
| 571 (defalias 'cl-ceiling 'ceiling*) | |
| 572 (defalias 'cl-truncate 'truncate*) | |
| 573 (defalias 'cl-round 'round*) | |
| 574 (defalias 'cl-mod 'mod*) | |
| 575 | |
|
5354
22c4e67a2e69
Remove #'acons from cl.el, make the version in alloc.c visible to Lisp
Aidan Kehoe <kehoea@parhasard.net>
parents:
5353
diff
changeset
|
576 ;;; XEmacs; #'acons is in C. |
| 428 | 577 |
|
5219
2d0937dc83cf
Tidying of CL files; make docstrings read better, remove commented-out code
Aidan Kehoe <kehoea@parhasard.net>
parents:
5066
diff
changeset
|
578 (defun pairlis (keys values &optional alist) |
|
2d0937dc83cf
Tidying of CL files; make docstrings read better, remove commented-out code
Aidan Kehoe <kehoea@parhasard.net>
parents:
5066
diff
changeset
|
579 "Make an alist from KEYS and VALUES. |
|
2d0937dc83cf
Tidying of CL files; make docstrings read better, remove commented-out code
Aidan Kehoe <kehoea@parhasard.net>
parents:
5066
diff
changeset
|
580 Return a new alist composed by associating KEYS to corresponding VALUES; |
|
2d0937dc83cf
Tidying of CL files; make docstrings read better, remove commented-out code
Aidan Kehoe <kehoea@parhasard.net>
parents:
5066
diff
changeset
|
581 the process stops as soon as KEYS or VALUES run out. |
|
2d0937dc83cf
Tidying of CL files; make docstrings read better, remove commented-out code
Aidan Kehoe <kehoea@parhasard.net>
parents:
5066
diff
changeset
|
582 If ALIST is non-nil, the new pairs are prepended to it." |
|
2d0937dc83cf
Tidying of CL files; make docstrings read better, remove commented-out code
Aidan Kehoe <kehoea@parhasard.net>
parents:
5066
diff
changeset
|
583 (nconc (mapcar* 'cons keys values) alist)) |
| 428 | 584 |
| 585 ;;; Miscellaneous. | |
| 586 | |
| 587 ;; XEmacs change | |
| 588 (define-error 'cl-assertion-failed "Assertion failed") | |
| 589 | |
|
5318
203dcac81dae
Provide some milquetoast compatibility in our errors, type-error, program-error
Aidan Kehoe <kehoea@parhasard.net>
parents:
5294
diff
changeset
|
590 ;; XEmacs; provide a milquetoast amount of compatibility in our error symbols. |
|
203dcac81dae
Provide some milquetoast compatibility in our errors, type-error, program-error
Aidan Kehoe <kehoea@parhasard.net>
parents:
5294
diff
changeset
|
591 (define-error 'type-error "Wrong type" 'wrong-type-argument) |
|
203dcac81dae
Provide some milquetoast compatibility in our errors, type-error, program-error
Aidan Kehoe <kehoea@parhasard.net>
parents:
5294
diff
changeset
|
592 (define-error 'program-error "Error in your program" 'invalid-argument) |
|
203dcac81dae
Provide some milquetoast compatibility in our errors, type-error, program-error
Aidan Kehoe <kehoea@parhasard.net>
parents:
5294
diff
changeset
|
593 |
|
203dcac81dae
Provide some milquetoast compatibility in our errors, type-error, program-error
Aidan Kehoe <kehoea@parhasard.net>
parents:
5294
diff
changeset
|
594 (map-plist |
|
203dcac81dae
Provide some milquetoast compatibility in our errors, type-error, program-error
Aidan Kehoe <kehoea@parhasard.net>
parents:
5294
diff
changeset
|
595 #'(lambda (key value) |
|
203dcac81dae
Provide some milquetoast compatibility in our errors, type-error, program-error
Aidan Kehoe <kehoea@parhasard.net>
parents:
5294
diff
changeset
|
596 (mapc #'(lambda (error) |
|
203dcac81dae
Provide some milquetoast compatibility in our errors, type-error, program-error
Aidan Kehoe <kehoea@parhasard.net>
parents:
5294
diff
changeset
|
597 (put error 'error-conditions |
|
203dcac81dae
Provide some milquetoast compatibility in our errors, type-error, program-error
Aidan Kehoe <kehoea@parhasard.net>
parents:
5294
diff
changeset
|
598 (cons key (get error 'error-conditions)))) |
|
203dcac81dae
Provide some milquetoast compatibility in our errors, type-error, program-error
Aidan Kehoe <kehoea@parhasard.net>
parents:
5294
diff
changeset
|
599 value)) |
|
203dcac81dae
Provide some milquetoast compatibility in our errors, type-error, program-error
Aidan Kehoe <kehoea@parhasard.net>
parents:
5294
diff
changeset
|
600 '(program-error (wrong-number-of-arguments invalid-keyword-argument) |
|
203dcac81dae
Provide some milquetoast compatibility in our errors, type-error, program-error
Aidan Kehoe <kehoea@parhasard.net>
parents:
5294
diff
changeset
|
601 type-error (wrong-type-argument malformed-list circular-list))) |
|
203dcac81dae
Provide some milquetoast compatibility in our errors, type-error, program-error
Aidan Kehoe <kehoea@parhasard.net>
parents:
5294
diff
changeset
|
602 |
| 2153 | 603 ;; XEmacs change: omit the autoload rules; we handle those a different way |
| 428 | 604 |
| 605 ;;; Define data for indentation and edebug. | |
|
4995
8431b52e43b1
Move the various map* functions to C; add #'map-into.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4885
diff
changeset
|
606 (mapc |
| 428 | 607 #'(lambda (entry) |
|
4995
8431b52e43b1
Move the various map* functions to C; add #'map-into.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4885
diff
changeset
|
608 (mapc |
| 428 | 609 #'(lambda (func) |
| 610 (put func 'lisp-indent-function (nth 1 entry)) | |
| 611 (put func 'lisp-indent-hook (nth 1 entry)) | |
| 612 (or (get func 'edebug-form-spec) | |
| 613 (put func 'edebug-form-spec (nth 2 entry)))) | |
| 614 (car entry))) | |
| 615 '(((defun* defmacro*) defun) | |
| 616 ((function*) nil | |
| 617 (&or symbolp ([&optional 'macro] 'lambda (&rest sexp) &rest form))) | |
| 618 ((eval-when) 1 (sexp &rest form)) | |
| 619 ((when unless) 1 (&rest form)) | |
| 620 ((declare) nil (&rest sexp)) | |
| 621 ((the) 1 (sexp &rest form)) | |
| 622 ((case ecase typecase etypecase) 1 (form &rest (sexp &rest form))) | |
| 623 ((block return-from) 1 (sexp &rest form)) | |
| 624 ((return) nil (&optional form)) | |
| 625 ((do do*) 2 ((&rest &or symbolp (symbolp &optional form form)) | |
| 626 (form &rest form) | |
| 627 &rest form)) | |
| 628 ((dolist dotimes) 1 ((symbolp form &rest form) &rest form)) | |
| 629 ((do-symbols) 1 ((symbolp form &optional form form) &rest form)) | |
| 630 ((do-all-symbols) 1 ((symbolp form &optional form) &rest form)) | |
| 631 ((psetq setf psetf) nil edebug-setq-form) | |
| 632 ((progv) 2 (&rest form)) | |
| 633 ((flet labels macrolet) 1 | |
| 634 ((&rest (sexp sexp &rest form)) &rest form)) | |
| 635 ((symbol-macrolet lexical-let lexical-let*) 1 | |
| 636 ((&rest &or symbolp (symbolp form)) &rest form)) | |
| 637 ((multiple-value-bind) 2 ((&rest symbolp) &rest form)) | |
| 638 ((multiple-value-setq) 1 ((&rest symbolp) &rest form)) | |
| 639 ((incf decf remf pop push pushnew shiftf rotatef) nil (&rest form)) | |
| 640 ((letf letf*) 1 ((&rest (&rest form)) &rest form)) | |
| 641 ((callf destructuring-bind) 2 (sexp form &rest form)) | |
| 642 ((callf2) 3 (sexp form form &rest form)) | |
| 643 ((loop) defun (&rest &or symbolp form)) | |
| 644 ((ignore-errors) 0 (&rest form)))) | |
| 645 | |
| 646 ;;; This goes here so that cl-macs can find it if it loads right now. | |
|
5219
2d0937dc83cf
Tidying of CL files; make docstrings read better, remove commented-out code
Aidan Kehoe <kehoea@parhasard.net>
parents:
5066
diff
changeset
|
647 (provide 'cl-19) |
| 428 | 648 |
| 649 ;;; Things to do after byte-compiler is loaded. | |
| 650 ;;; As a side effect, we cause cl-macs to be loaded when compiling, so | |
| 651 ;;; that the compiler-macros defined there will be present. | |
| 652 | |
| 653 (defvar cl-hacked-flag nil) | |
| 654 (defun cl-hack-byte-compiler () | |
| 655 (if (and (not cl-hacked-flag) (fboundp 'byte-compile-file-form)) | |
| 656 (progn | |
| 2153 | 657 (setq cl-hacked-flag t) ; Do it first, to prevent recursion. |
| 442 | 658 (when (not (fboundp 'cl-compile-time-init)) |
| 659 (load "cl-macs" nil t)) | |
| 2153 | 660 (cl-compile-time-init)))) ; In cl-macs.el. |
| 428 | 661 |
| 662 ;;; Try it now in case the compiler has already been loaded. | |
| 663 (cl-hack-byte-compiler) | |
| 664 | |
|
4683
0cc9d22c3732
Be more reliable about loading cl-macs at byte-compile time, cl.el.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4677
diff
changeset
|
665 ;;; Also make a hook in case compiler is loaded after this file. |
|
0cc9d22c3732
Be more reliable about loading cl-macs at byte-compile time, cl.el.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4677
diff
changeset
|
666 (add-hook 'bytecomp-load-hook 'cl-hack-byte-compiler) |
| 428 | 667 |
| 668 ;;; The following ensures that packages which expect the old-style cl.el | |
| 669 ;;; will be happy with this one. | |
| 670 | |
| 671 (provide 'cl) | |
| 672 | |
| 673 (run-hooks 'cl-load-hook) | |
| 674 | |
| 2153 | 675 ;;; arch-tag: 5f07fa74-f153-4524-9303-21f5be125851 |
| 428 | 676 ;;; cl.el ends here |