Mercurial > hg > xemacs-beta
annotate lisp/cl.el @ 5887:6eca500211f4
Prototype for X509_check_host() has changed, detect this in configure.ac
ChangeLog addition:
2015-04-09 Aidan Kehoe <kehoea@parhasard.net>
* configure.ac:
If X509_check_host() is available, check the number of arguments
it takes. Don't use it if it takes any number of arguments other
than five. Also don't use it if <openssl/x509v3.h> does not
declare it, since if that is so there is no portable way to tell
how many arguments it should take, and so we would end up smashing
the stack.
* configure: Regenerate.
src/ChangeLog addition:
2015-04-09 Aidan Kehoe <kehoea@parhasard.net>
* tls.c:
#include <openssl/x509v3.h> for its prototype for
X509_check_host().
* tls.c (tls_open):
Pass the new fifth argument to X509_check_host().
| author | Aidan Kehoe <kehoea@parhasard.net> |
|---|---|
| date | Thu, 09 Apr 2015 14:27:02 +0100 |
| 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 |