Mercurial > hg > xemacs-beta
annotate lisp/cl.el @ 5940:c608d4b0b75e cygwin64 tip
rescue lost branch from 64bit.backup
| author | Henry Thompson <ht@markup.co.uk> |
|---|---|
| date | Thu, 16 Dec 2021 18:48:58 +0000 |
| parents | ae2fdb1fd9e0 |
| children |
| 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) | |
|
5651
ae2fdb1fd9e0
Improve for-effect handling in a few places, lisp/
Aidan Kehoe <kehoea@parhasard.net>
parents:
5632
diff
changeset
|
155 `(car-safe (prog1 ,place (setq ,place (cdr ,place)))) |
| 428 | 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 | |
|
4677
8f1ee2d15784
Support full Common Lisp multiple values in C.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3355
diff
changeset
|
204 ;;; XEmacs; multiple values are in eval.c and cl-macs.el. |
| 2153 | 205 |
|
4677
8f1ee2d15784
Support full Common Lisp multiple values in C.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3355
diff
changeset
|
206 ;;; 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
|
207 ;;; 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
|
208 ;;; according to Google Code Search, as of Sat Mar 14 23:31:35 GMT 2009. |
| 2153 | 209 |
|
4677
8f1ee2d15784
Support full Common Lisp multiple values in C.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3355
diff
changeset
|
210 (make-obsolete 'multiple-value-apply 'multiple-value-call) |
| 428 | 211 |
| 212 ;;; Macros. | |
| 213 | |
|
5615
5f4f92a31875
Move the functionality of #'cl-macroexpand into Fmacroexpand, eval.c
Aidan Kehoe <kehoea@parhasard.net>
parents:
5562
diff
changeset
|
214 ;; XEmacs: incorporate the functionality of #'cl-macroexpand into |
|
5f4f92a31875
Move the functionality of #'cl-macroexpand into Fmacroexpand, eval.c
Aidan Kehoe <kehoea@parhasard.net>
parents:
5562
diff
changeset
|
215 ;; #'macroexpand, in eval.c. |
|
5f4f92a31875
Move the functionality of #'cl-macroexpand into Fmacroexpand, eval.c
Aidan Kehoe <kehoea@parhasard.net>
parents:
5562
diff
changeset
|
216 (defalias 'cl-macroexpand 'macroexpand) |
|
5f4f92a31875
Move the functionality of #'cl-macroexpand into Fmacroexpand, eval.c
Aidan Kehoe <kehoea@parhasard.net>
parents:
5562
diff
changeset
|
217 (defalias 'macroexpand-internal 'macroexpand) |
| 428 | 218 |
| 219 (defvar cl-compiling-file nil) | |
| 220 (defun cl-compiling-file () | |
| 221 (or cl-compiling-file | |
| 222 ;; XEmacs change | |
| 223 ; (and (boundp 'outbuffer) (bufferp (symbol-value 'outbuffer)) | |
| 224 ; (equal (buffer-name (symbol-value 'outbuffer)) | |
| 225 ; " *Compiler Output*")) | |
| 226 (and (boundp 'byte-compile-outbuffer) | |
| 227 (bufferp (symbol-value 'byte-compile-outbuffer)) | |
| 228 (equal (buffer-name (symbol-value 'byte-compile-outbuffer)) | |
| 229 " *Compiler Output*")) | |
| 230 )) | |
| 231 | |
| 232 (defvar cl-proclaims-deferred nil) | |
| 233 | |
| 234 (defun proclaim (spec) | |
| 235 (if (fboundp 'cl-do-proclaim) (cl-do-proclaim spec t) | |
| 236 (push spec cl-proclaims-deferred)) | |
| 237 nil) | |
| 238 | |
| 239 (defmacro declaim (&rest specs) | |
| 240 (let ((body (mapcar (function (lambda (x) (list 'proclaim (list 'quote x)))) | |
| 241 specs))) | |
| 242 (if (cl-compiling-file) (list* 'eval-when '(compile load eval) body) | |
| 243 (cons 'progn body)))) ; avoid loading cl-macs.el for eval-when | |
| 244 | |
| 245 ;;; Symbols. | |
| 246 | |
| 247 (defun cl-random-time () | |
| 248 (let* ((time (copy-sequence (current-time-string))) (i (length time)) (v 0)) | |
| 249 (while (>= (decf i) 0) (setq v (+ (* v 3) (aref time i)))) | |
|
5632
bd80d9103fc8
Integrate CL code better into core, remove obsolete compatibility code.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5615
diff
changeset
|
250 (if (fboundp 'coerce-number) |
| 2509 | 251 (coerce-number v 'fixnum) |
| 1983 | 252 v))) |
| 428 | 253 |
| 254 (defvar *gensym-counter* (* (logand (cl-random-time) 1023) 100)) | |
| 255 | |
| 2153 | 256 ;; XEmacs change: gensym and gentemp moved here from cl-macs.el |
| 442 | 257 (defun gensym (&optional arg) |
| 258 "Generate a new uninterned symbol. | |
| 2071 | 259 The name is made by appending a number to a prefix. If ARG is a string, it |
| 260 is the prefix, otherwise the prefix defaults to \"G\". If ARG is an integer, | |
| 261 the internal counter is reset to that number before creating the name. | |
| 262 There is no way to specify both using this function." | |
| 442 | 263 (let ((prefix (if (stringp arg) arg "G")) |
| 264 (num (if (integerp arg) arg | |
| 265 (prog1 *gensym-counter* | |
| 266 (setq *gensym-counter* (1+ *gensym-counter*)))))) | |
| 267 (make-symbol (format "%s%d" prefix num)))) | |
| 268 | |
| 269 (defun gentemp (&optional arg) | |
| 270 "Generate a new interned symbol with a unique name. | |
| 2071 | 271 The name is made by appending a number to ARG, default \"G\". |
| 272 If ARG is not a string, it is ignored." | |
| 442 | 273 (let ((prefix (if (stringp arg) arg "G")) |
| 274 name) | |
| 275 (while (intern-soft (setq name (format "%s%d" prefix *gensym-counter*))) | |
| 276 (setq *gensym-counter* (1+ *gensym-counter*))) | |
| 277 (intern name))) | |
| 428 | 278 |
| 279 ;;; Numbers. | |
| 280 | |
|
4885
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4783
diff
changeset
|
281 ;; XEmacs change: ditch floatp-safe. |
| 428 | 282 |
| 446 | 283 (defun plusp (number) |
| 428 | 284 "Return t if NUMBER is positive." |
| 446 | 285 (> number 0)) |
| 286 | |
| 287 (defun minusp (number) | |
| 288 "Return t if NUMBER is negative." | |
| 289 (< number 0)) | |
| 428 | 290 |
| 446 | 291 (defun oddp (integer) |
| 428 | 292 "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
|
293 (eql (logand integer 1) 1)) |
| 428 | 294 |
| 446 | 295 (defun evenp (integer) |
| 428 | 296 "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
|
297 (eql (logand integer 1) 0)) |
| 428 | 298 |
| 2153 | 299 ;; XEmacs addition |
| 300 (defalias 'cl-abs 'abs) | |
| 428 | 301 |
| 302 (defvar *random-state* (vector 'cl-random-state-tag -1 30 (cl-random-time))) | |
| 303 | |
| 304 ;;; The following are set by code in cl-extra.el | |
| 305 (defconst most-positive-float nil | |
| 306 "The float closest in value to positive infinity.") | |
| 307 (defconst most-negative-float nil | |
| 308 "The float closest in value to negative infinity.") | |
| 309 (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
|
310 "The positive float closest in value to zero.") |
| 428 | 311 (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
|
312 "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
|
313 (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
|
314 "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
|
315 |
|
436e67ca8c79
Give docstrings to least-{positive,negative}-normalized-float, float-*epsilon
Aidan Kehoe <kehoea@parhasard.net>
parents:
5354
diff
changeset
|
316 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
|
317 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
|
318 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
|
319 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
|
320 IEEE 754.") |
|
436e67ca8c79
Give docstrings to least-{positive,negative}-normalized-float, float-*epsilon
Aidan Kehoe <kehoea@parhasard.net>
parents:
5354
diff
changeset
|
321 |
|
436e67ca8c79
Give docstrings to least-{positive,negative}-normalized-float, float-*epsilon
Aidan Kehoe <kehoea@parhasard.net>
parents:
5354
diff
changeset
|
322 (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
|
323 "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
|
324 |
|
436e67ca8c79
Give docstrings to least-{positive,negative}-normalized-float, float-*epsilon
Aidan Kehoe <kehoea@parhasard.net>
parents:
5354
diff
changeset
|
325 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
|
326 numbers.") |
|
436e67ca8c79
Give docstrings to least-{positive,negative}-normalized-float, float-*epsilon
Aidan Kehoe <kehoea@parhasard.net>
parents:
5354
diff
changeset
|
327 |
|
436e67ca8c79
Give docstrings to least-{positive,negative}-normalized-float, float-*epsilon
Aidan Kehoe <kehoea@parhasard.net>
parents:
5354
diff
changeset
|
328 (defconst float-epsilon nil |
|
436e67ca8c79
Give docstrings to least-{positive,negative}-normalized-float, float-*epsilon
Aidan Kehoe <kehoea@parhasard.net>
parents:
5354
diff
changeset
|
329 "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
|
330 |
|
436e67ca8c79
Give docstrings to least-{positive,negative}-normalized-float, float-*epsilon
Aidan Kehoe <kehoea@parhasard.net>
parents:
5354
diff
changeset
|
331 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
|
332 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
|
333 |
|
436e67ca8c79
Give docstrings to least-{positive,negative}-normalized-float, float-*epsilon
Aidan Kehoe <kehoea@parhasard.net>
parents:
5354
diff
changeset
|
334 (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
|
335 "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
|
336 |
|
436e67ca8c79
Give docstrings to least-{positive,negative}-normalized-float, float-*epsilon
Aidan Kehoe <kehoea@parhasard.net>
parents:
5354
diff
changeset
|
337 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
|
338 float-negative-epsilon X) , but it may give t for smaller values.") |
| 428 | 339 |
| 340 ;;; Sequence functions. | |
| 341 | |
| 342 (defalias 'copy-seq 'copy-sequence) | |
| 343 | |
|
5219
2d0937dc83cf
Tidying of CL files; make docstrings read better, remove commented-out code
Aidan Kehoe <kehoea@parhasard.net>
parents:
5066
diff
changeset
|
344 ;; 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
|
345 |
|
2d0937dc83cf
Tidying of CL files; make docstrings read better, remove commented-out code
Aidan Kehoe <kehoea@parhasard.net>
parents:
5066
diff
changeset
|
346 (defalias 'svref 'aref) ;; Compiler macro in cl-macs.el |
| 428 | 347 |
| 348 ;;; List functions. | |
| 349 | |
| 350 ;; These functions are made known to the byte-compiler by cl-macs.el | |
| 351 ;; and turned into efficient car and cdr bytecodes. | |
| 352 | |
| 353 (defalias 'first 'car) | |
| 354 (defalias 'rest 'cdr) | |
|
5285
99de5fd48e87
Tighten up Common Lisp compatibility, #'butlast, #'nbutlast, #'tailp, #'ldiff
Aidan Kehoe <kehoea@parhasard.net>
parents:
5281
diff
changeset
|
355 |
|
99de5fd48e87
Tighten up Common Lisp compatibility, #'butlast, #'nbutlast, #'tailp, #'ldiff
Aidan Kehoe <kehoea@parhasard.net>
parents:
5281
diff
changeset
|
356 ;; 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
|
357 (defun endp (list) |
|
99de5fd48e87
Tighten up Common Lisp compatibility, #'butlast, #'nbutlast, #'tailp, #'ldiff
Aidan Kehoe <kehoea@parhasard.net>
parents:
5281
diff
changeset
|
358 "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
|
359 (prog1 |
|
99de5fd48e87
Tighten up Common Lisp compatibility, #'butlast, #'nbutlast, #'tailp, #'ldiff
Aidan Kehoe <kehoea@parhasard.net>
parents:
5281
diff
changeset
|
360 (null list) |
|
99de5fd48e87
Tighten up Common Lisp compatibility, #'butlast, #'nbutlast, #'tailp, #'ldiff
Aidan Kehoe <kehoea@parhasard.net>
parents:
5281
diff
changeset
|
361 (and list (atom list) (error 'wrong-type-argument #'listp list)))) |
| 428 | 362 |
| 2153 | 363 ;; XEmacs change: make it a real function |
| 428 | 364 (defun second (x) |
| 365 "Return the second element of the list LIST." | |
| 366 (car (cdr x))) | |
| 367 | |
| 368 (defun third (x) | |
| 2153 | 369 "Return the third element of the list X." |
| 428 | 370 (car (cdr (cdr x)))) |
| 371 | |
| 372 (defun fourth (x) | |
| 2153 | 373 "Return the fourth element of the list X." |
| 428 | 374 (nth 3 x)) |
| 375 | |
| 376 (defun fifth (x) | |
| 2153 | 377 "Return the fifth element of the list X." |
| 428 | 378 (nth 4 x)) |
| 379 | |
| 380 (defun sixth (x) | |
| 2153 | 381 "Return the sixth element of the list X." |
| 428 | 382 (nth 5 x)) |
| 383 | |
| 384 (defun seventh (x) | |
| 2153 | 385 "Return the seventh element of the list X." |
| 428 | 386 (nth 6 x)) |
| 387 | |
| 388 (defun eighth (x) | |
| 2153 | 389 "Return the eighth element of the list X." |
| 428 | 390 (nth 7 x)) |
| 391 | |
| 392 (defun ninth (x) | |
| 2153 | 393 "Return the ninth element of the list X." |
| 428 | 394 (nth 8 x)) |
| 395 | |
| 396 (defun tenth (x) | |
| 2153 | 397 "Return the tenth element of the list X." |
| 428 | 398 (nth 9 x)) |
| 399 | |
| 2153 | 400 ;; XEmacs change: Emacs defines caar, cadr, cdar, and cddr in subr.el. |
| 428 | 401 (defun caar (x) |
| 402 "Return the `car' of the `car' of X." | |
| 403 (car (car x))) | |
| 404 | |
| 405 (defun cadr (x) | |
|
5392
25c10648ffba
#'cadr, #'caddr, #'cadddr; document some equivalences.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5385
diff
changeset
|
406 "Return the `car' of the `cdr' of X. Equivalent to `(second X)'." |
| 428 | 407 (car (cdr x))) |
| 408 | |
| 409 (defun cdar (x) | |
| 410 "Return the `cdr' of the `car' of X." | |
| 411 (cdr (car x))) | |
| 412 | |
| 413 (defun cddr (x) | |
| 414 "Return the `cdr' of the `cdr' of X." | |
| 415 (cdr (cdr x))) | |
| 416 | |
| 417 (defun caaar (x) | |
| 418 "Return the `car' of the `car' of the `car' of X." | |
| 419 (car (car (car x)))) | |
| 420 | |
| 421 (defun caadr (x) | |
| 422 "Return the `car' of the `car' of the `cdr' of X." | |
| 423 (car (car (cdr x)))) | |
| 424 | |
| 425 (defun cadar (x) | |
| 426 "Return the `car' of the `cdr' of the `car' of X." | |
| 427 (car (cdr (car x)))) | |
| 428 | |
| 429 (defun caddr (x) | |
|
5392
25c10648ffba
#'cadr, #'caddr, #'cadddr; document some equivalences.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5385
diff
changeset
|
430 "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
|
431 Equivalent to `(third X)'." |
| 428 | 432 (car (cdr (cdr x)))) |
| 433 | |
| 434 (defun cdaar (x) | |
| 435 "Return the `cdr' of the `car' of the `car' of X." | |
| 436 (cdr (car (car x)))) | |
| 437 | |
| 438 (defun cdadr (x) | |
| 439 "Return the `cdr' of the `car' of the `cdr' of X." | |
| 440 (cdr (car (cdr x)))) | |
| 441 | |
| 442 (defun cddar (x) | |
| 443 "Return the `cdr' of the `cdr' of the `car' of X." | |
| 444 (cdr (cdr (car x)))) | |
| 445 | |
| 446 (defun cdddr (x) | |
| 447 "Return the `cdr' of the `cdr' of the `cdr' of X." | |
| 448 (cdr (cdr (cdr x)))) | |
| 449 | |
| 450 (defun caaaar (x) | |
| 451 "Return the `car' of the `car' of the `car' of the `car' of X." | |
| 452 (car (car (car (car x))))) | |
| 453 | |
| 454 (defun caaadr (x) | |
| 455 "Return the `car' of the `car' of the `car' of the `cdr' of X." | |
| 456 (car (car (car (cdr x))))) | |
| 457 | |
| 458 (defun caadar (x) | |
| 459 "Return the `car' of the `car' of the `cdr' of the `car' of X." | |
| 460 (car (car (cdr (car x))))) | |
| 461 | |
| 462 (defun caaddr (x) | |
| 463 "Return the `car' of the `car' of the `cdr' of the `cdr' of X." | |
| 464 (car (car (cdr (cdr x))))) | |
| 465 | |
| 466 (defun cadaar (x) | |
| 467 "Return the `car' of the `cdr' of the `car' of the `car' of X." | |
| 468 (car (cdr (car (car x))))) | |
| 469 | |
| 470 (defun cadadr (x) | |
| 471 "Return the `car' of the `cdr' of the `car' of the `cdr' of X." | |
| 472 (car (cdr (car (cdr x))))) | |
| 473 | |
| 474 (defun caddar (x) | |
| 475 "Return the `car' of the `cdr' of the `cdr' of the `car' of X." | |
| 476 (car (cdr (cdr (car x))))) | |
| 477 | |
| 478 (defun cadddr (x) | |
|
5392
25c10648ffba
#'cadr, #'caddr, #'cadddr; document some equivalences.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5385
diff
changeset
|
479 "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
|
480 Equivalent to `(fourth X)'." |
| 428 | 481 (car (cdr (cdr (cdr x))))) |
| 482 | |
| 483 (defun cdaaar (x) | |
| 484 "Return the `cdr' of the `car' of the `car' of the `car' of X." | |
| 485 (cdr (car (car (car x))))) | |
| 486 | |
| 487 (defun cdaadr (x) | |
| 488 "Return the `cdr' of the `car' of the `car' of the `cdr' of X." | |
| 489 (cdr (car (car (cdr x))))) | |
| 490 | |
| 491 (defun cdadar (x) | |
| 492 "Return the `cdr' of the `car' of the `cdr' of the `car' of X." | |
| 493 (cdr (car (cdr (car x))))) | |
| 494 | |
| 495 (defun cdaddr (x) | |
| 496 "Return the `cdr' of the `car' of the `cdr' of the `cdr' of X." | |
| 497 (cdr (car (cdr (cdr x))))) | |
| 498 | |
| 499 (defun cddaar (x) | |
| 500 "Return the `cdr' of the `cdr' of the `car' of the `car' of X." | |
| 501 (cdr (cdr (car (car x))))) | |
| 502 | |
| 503 (defun cddadr (x) | |
| 504 "Return the `cdr' of the `cdr' of the `car' of the `cdr' of X." | |
| 505 (cdr (cdr (car (cdr x))))) | |
| 506 | |
| 507 (defun cdddar (x) | |
| 508 "Return the `cdr' of the `cdr' of the `cdr' of the `car' of X." | |
| 509 (cdr (cdr (cdr (car x))))) | |
| 510 | |
| 511 (defun cddddr (x) | |
| 512 "Return the `cdr' of the `cdr' of the `cdr' of the `cdr' of X." | |
| 513 (cdr (cdr (cdr (cdr x))))) | |
| 514 | |
| 515 ;;; `last' is implemented as a C primitive, as of 1998-11 | |
| 516 | |
|
5632
bd80d9103fc8
Integrate CL code better into core, remove obsolete compatibility code.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5615
diff
changeset
|
517 (defun list* (first &rest rest) ; See compiler macro in cl-macs.el |
|
bd80d9103fc8
Integrate CL code better into core, remove obsolete compatibility code.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5615
diff
changeset
|
518 "Return a new list with specified args as elements, cons'd to last arg. |
|
bd80d9103fc8
Integrate CL code better into core, remove obsolete compatibility code.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5615
diff
changeset
|
519 Thus, `(list* A B C D)' is equivalent to `(nconc (list A B C) D)', or to |
|
bd80d9103fc8
Integrate CL code better into core, remove obsolete compatibility code.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5615
diff
changeset
|
520 `(cons A (cons B (cons C D)))'." |
|
bd80d9103fc8
Integrate CL code better into core, remove obsolete compatibility code.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5615
diff
changeset
|
521 (if rest (cons first (reduce #'cons rest :from-end t)) first)) |
| 428 | 522 |
|
5285
99de5fd48e87
Tighten up Common Lisp compatibility, #'butlast, #'nbutlast, #'tailp, #'ldiff
Aidan Kehoe <kehoea@parhasard.net>
parents:
5281
diff
changeset
|
523 ;; 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
|
524 ;; not a list. |
| 428 | 525 (defun ldiff (list sublist) |
|
5285
99de5fd48e87
Tighten up Common Lisp compatibility, #'butlast, #'nbutlast, #'tailp, #'ldiff
Aidan Kehoe <kehoea@parhasard.net>
parents:
5281
diff
changeset
|
526 "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
|
527 |
|
99de5fd48e87
Tighten up Common Lisp compatibility, #'butlast, #'nbutlast, #'tailp, #'ldiff
Aidan Kehoe <kehoea@parhasard.net>
parents:
5281
diff
changeset
|
528 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
|
529 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
|
530 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
|
531 `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
|
532 (check-argument-type #'listp list) |
|
99de5fd48e87
Tighten up Common Lisp compatibility, #'butlast, #'nbutlast, #'tailp, #'ldiff
Aidan Kehoe <kehoea@parhasard.net>
parents:
5281
diff
changeset
|
533 (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
|
534 (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
|
535 (prog1 |
|
99de5fd48e87
Tighten up Common Lisp compatibility, #'butlast, #'nbutlast, #'tailp, #'ldiff
Aidan Kehoe <kehoea@parhasard.net>
parents:
5281
diff
changeset
|
536 (setq result (list (car list))) |
|
99de5fd48e87
Tighten up Common Lisp compatibility, #'butlast, #'nbutlast, #'tailp, #'ldiff
Aidan Kehoe <kehoea@parhasard.net>
parents:
5281
diff
changeset
|
537 (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
|
538 (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
|
539 (setq result (cdr result) |
|
5285
99de5fd48e87
Tighten up Common Lisp compatibility, #'butlast, #'nbutlast, #'tailp, #'ldiff
Aidan Kehoe <kehoea@parhasard.net>
parents:
5281
diff
changeset
|
540 evenp (not evenp)) |
|
99de5fd48e87
Tighten up Common Lisp compatibility, #'butlast, #'nbutlast, #'tailp, #'ldiff
Aidan Kehoe <kehoea@parhasard.net>
parents:
5281
diff
changeset
|
541 (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
|
542 (if (eq before list) (error 'circular-list list))))))) |
| 428 | 543 |
| 544 ;;; `copy-list' is implemented as a C primitive, as of 1998-11 | |
| 545 | |
|
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
|
546 ;;; XEmacs; #'acons is in C. |
| 428 | 547 |
|
5219
2d0937dc83cf
Tidying of CL files; make docstrings read better, remove commented-out code
Aidan Kehoe <kehoea@parhasard.net>
parents:
5066
diff
changeset
|
548 (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
|
549 "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
|
550 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
|
551 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
|
552 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
|
553 (nconc (mapcar* 'cons keys values) alist)) |
| 428 | 554 |
| 555 ;;; Miscellaneous. | |
| 556 | |
| 557 ;; XEmacs change | |
| 558 (define-error 'cl-assertion-failed "Assertion failed") | |
| 559 | |
|
5318
203dcac81dae
Provide some milquetoast compatibility in our errors, type-error, program-error
Aidan Kehoe <kehoea@parhasard.net>
parents:
5294
diff
changeset
|
560 ;; 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
|
561 (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
|
562 (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
|
563 |
|
203dcac81dae
Provide some milquetoast compatibility in our errors, type-error, program-error
Aidan Kehoe <kehoea@parhasard.net>
parents:
5294
diff
changeset
|
564 (map-plist |
|
203dcac81dae
Provide some milquetoast compatibility in our errors, type-error, program-error
Aidan Kehoe <kehoea@parhasard.net>
parents:
5294
diff
changeset
|
565 #'(lambda (key value) |
|
203dcac81dae
Provide some milquetoast compatibility in our errors, type-error, program-error
Aidan Kehoe <kehoea@parhasard.net>
parents:
5294
diff
changeset
|
566 (mapc #'(lambda (error) |
|
203dcac81dae
Provide some milquetoast compatibility in our errors, type-error, program-error
Aidan Kehoe <kehoea@parhasard.net>
parents:
5294
diff
changeset
|
567 (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
|
568 (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
|
569 value)) |
|
203dcac81dae
Provide some milquetoast compatibility in our errors, type-error, program-error
Aidan Kehoe <kehoea@parhasard.net>
parents:
5294
diff
changeset
|
570 '(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
|
571 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
|
572 |
| 2153 | 573 ;; XEmacs change: omit the autoload rules; we handle those a different way |
| 428 | 574 |
| 575 ;;; 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
|
576 (mapc |
| 428 | 577 #'(lambda (entry) |
|
4995
8431b52e43b1
Move the various map* functions to C; add #'map-into.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4885
diff
changeset
|
578 (mapc |
| 428 | 579 #'(lambda (func) |
| 580 (put func 'lisp-indent-function (nth 1 entry)) | |
| 581 (put func 'lisp-indent-hook (nth 1 entry)) | |
| 582 (or (get func 'edebug-form-spec) | |
| 583 (put func 'edebug-form-spec (nth 2 entry)))) | |
| 584 (car entry))) | |
| 585 '(((defun* defmacro*) defun) | |
| 586 ((function*) nil | |
| 587 (&or symbolp ([&optional 'macro] 'lambda (&rest sexp) &rest form))) | |
| 588 ((eval-when) 1 (sexp &rest form)) | |
| 589 ((when unless) 1 (&rest form)) | |
| 590 ((declare) nil (&rest sexp)) | |
| 591 ((the) 1 (sexp &rest form)) | |
| 592 ((case ecase typecase etypecase) 1 (form &rest (sexp &rest form))) | |
| 593 ((block return-from) 1 (sexp &rest form)) | |
| 594 ((return) nil (&optional form)) | |
| 595 ((do do*) 2 ((&rest &or symbolp (symbolp &optional form form)) | |
| 596 (form &rest form) | |
| 597 &rest form)) | |
| 598 ((dolist dotimes) 1 ((symbolp form &rest form) &rest form)) | |
| 599 ((do-symbols) 1 ((symbolp form &optional form form) &rest form)) | |
| 600 ((do-all-symbols) 1 ((symbolp form &optional form) &rest form)) | |
| 601 ((psetq setf psetf) nil edebug-setq-form) | |
| 602 ((progv) 2 (&rest form)) | |
| 603 ((flet labels macrolet) 1 | |
| 604 ((&rest (sexp sexp &rest form)) &rest form)) | |
| 605 ((symbol-macrolet lexical-let lexical-let*) 1 | |
| 606 ((&rest &or symbolp (symbolp form)) &rest form)) | |
| 607 ((multiple-value-bind) 2 ((&rest symbolp) &rest form)) | |
| 608 ((multiple-value-setq) 1 ((&rest symbolp) &rest form)) | |
| 609 ((incf decf remf pop push pushnew shiftf rotatef) nil (&rest form)) | |
| 610 ((letf letf*) 1 ((&rest (&rest form)) &rest form)) | |
| 611 ((callf destructuring-bind) 2 (sexp form &rest form)) | |
| 612 ((callf2) 3 (sexp form form &rest form)) | |
| 613 ((loop) defun (&rest &or symbolp form)) | |
| 614 ((ignore-errors) 0 (&rest form)))) | |
| 615 | |
|
5632
bd80d9103fc8
Integrate CL code better into core, remove obsolete compatibility code.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5615
diff
changeset
|
616 ;;; Things to do after byte-compiler is loaded. XEmacs; no longer done here |
|
bd80d9103fc8
Integrate CL code better into core, remove obsolete compatibility code.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5615
diff
changeset
|
617 ;;; using bytecomp-load-hook, done explicitly in bytecomp.el |
|
bd80d9103fc8
Integrate CL code better into core, remove obsolete compatibility code.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5615
diff
changeset
|
618 ;;; instead. |
|
bd80d9103fc8
Integrate CL code better into core, remove obsolete compatibility code.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5615
diff
changeset
|
619 ;;; cl-load-hook is also gone; given that cl.el is dumped it is not |
|
bd80d9103fc8
Integrate CL code better into core, remove obsolete compatibility code.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5615
diff
changeset
|
620 ;;; available to non-dumped code, and dumped code should not be and is not |
|
bd80d9103fc8
Integrate CL code better into core, remove obsolete compatibility code.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5615
diff
changeset
|
621 ;;; using it anyway. |
| 428 | 622 |
| 623 (provide 'cl) | |
| 624 | |
| 2153 | 625 ;;; arch-tag: 5f07fa74-f153-4524-9303-21f5be125851 |
| 428 | 626 ;;; cl.el ends here |