Mercurial > hg > xemacs-beta
annotate src/number.h @ 5619:75ad4969a16d
Replace the 'flush face property with the opposite 'shrink one.
lisp/ChangeLog addition:
2011-12-26 Didier Verna <didier@xemacs.org>
* cl-macs.el (face-flush-p): Removed.
* cl-macs.el (face-shrink-p): New.
* faces.el (face-flush-p): Removed.
* faces.el (face-shrink-p): New.
* faces.el (set-face-flush-p): Removed.
* faces.el (set-face-shrink-p): New.
* cus-face.el (custom-face-attributes):
* faces.el (set-face-property):
* faces.el (face-equal):
* x-faces.el (x-init-face-from-resources):
* x-faces.el (make-face-x-resource-internal): Replace the 'flush
property with the opposite 'shrink one.
src/ChangeLog addition:
2011-12-26 Didier Verna <didier@xemacs.org>
* lisp.h:
* faces.c (mark_face):
* faces.c (face_equal):
* faces.c (face_getprop):
* faces.c (face_putprop):
* faces.c (face_remprop):
* faces.c (face_plist):
* faces.c (reset_face):
* faces.c (update_face_inheritance_mapper):
* faces.c (Fmake_face):
* faces.c (update_face_cachel_data):
* faces.c (merge_face_cachel_data):
* faces.c (Fcopy_face):
* faces.c (syms_of_faces):
* faces.c (vars_of_faces):
* faces.c (complex_vars_of_faces):
* faces.h (struct Lisp_Face):
* faces.h (struct face_cachel):
* faces.h (WINDOW_FACE_CACHEL_SHRINK_P):
* faces.h (FACE_SHRINK_P):
* fontcolor.c (face_boolean_validate): Replace the 'flush property
with the opposite 'shrink one.
* redisplay.c (create_text_block):
* redisplay.c (create_string_text_block): Ditto. Invert the logic
for storing a new clear_findex in the display lines.
author | Didier Verna <didier@xemacs.org> |
---|---|
date | Mon, 26 Dec 2011 15:04:25 +0100 |
parents | 56144c8593a8 |
children | 3192994c49ca |
rev | line source |
---|---|
1983 | 1 /* Definitions of numeric types for XEmacs. |
2 Copyright (C) 2004 Jerry James. | |
3 | |
4 This file is part of XEmacs. | |
5 | |
5405
2aa9cd456ae7
Move src/ to GPLv3.
Mike Sperber <sperber@deinprogramm.de>
parents:
5234
diff
changeset
|
6 XEmacs is free software: you can redistribute it and/or modify it |
1983 | 7 under the terms of the GNU General Public License as published by the |
5405
2aa9cd456ae7
Move src/ to GPLv3.
Mike Sperber <sperber@deinprogramm.de>
parents:
5234
diff
changeset
|
8 Free Software Foundation, either version 3 of the License, or (at your |
2aa9cd456ae7
Move src/ to GPLv3.
Mike Sperber <sperber@deinprogramm.de>
parents:
5234
diff
changeset
|
9 option) any later version. |
1983 | 10 |
11 XEmacs is distributed in the hope that it will be useful, but WITHOUT | |
12 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
13 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
14 for more details. | |
15 | |
16 You should have received a copy of the GNU General Public License | |
5405
2aa9cd456ae7
Move src/ to GPLv3.
Mike Sperber <sperber@deinprogramm.de>
parents:
5234
diff
changeset
|
17 along with XEmacs. If not, see <http://www.gnu.org/licenses/>. */ |
1983 | 18 |
19 /* Synched up with: Not in FSF. */ | |
20 | |
21 #ifndef INCLUDED_number_h_ | |
22 #define INCLUDED_number_h_ | |
23 | |
24 /* The following types are always defined in the same manner: | |
25 fixnum = whatever fits in the Lisp_Object type | |
26 integer = union (fixnum, bignum) | |
27 rational = union (integer, ratio) | |
28 float = C double | |
29 floating = union(float, bigfloat) Anybody got a better name? | |
30 real = union (rational, floating) | |
31 number = real (should be union(real, complex) but no complex yet) | |
32 | |
33 It is up to the library-specific code to define the remaining types, | |
34 namely: bignum, ratio, and bigfloat. Not all of these types may be | |
35 available. The top-level configure script should define the symbols | |
36 HAVE_BIGNUM, HAVE_RATIO, and HAVE_BIGFLOAT to indicate which it provides. | |
37 If some type is not defined by the library, this is what happens: | |
38 | |
39 - bignum: bignump(x) is false for all x; any attempt to create a bignum | |
40 causes an error to be raised. | |
41 | |
42 - ratio: we define our own structure consisting of two Lisp_Objects, which | |
43 are presumed to be integers (i.e., either fixnums or bignums). We do our | |
44 own GCD calculation, which is bound to be slow, to keep the ratios | |
45 reduced to canonical form. (FIXME: Not yet implemented.) | |
46 | |
47 - bigfloat: bigfloat(x) is false for all x; any attempt to create a | |
48 bigfloat causes an error to be raised. | |
49 | |
50 We (provide) the following symbols, so that Lisp code has some hope of | |
51 using this correctly: | |
52 | |
53 - (provide 'bignum) if HAVE_BIGNUM | |
54 - (provde 'ratio) if HAVE_RATIO | |
55 - (provide 'bigfloat) if HAVE_BIGFLOAT | |
56 */ | |
57 | |
58 /* Load the library definitions */ | |
59 #ifdef WITH_GMP | |
60 #include "number-gmp.h" | |
61 #endif | |
62 #ifdef WITH_MP | |
63 #include "number-mp.h" | |
64 #endif | |
65 | |
66 | |
67 /********************************* Bignums **********************************/ | |
68 #ifdef HAVE_BIGNUM | |
69 | |
70 struct Lisp_Bignum | |
71 { | |
5120
d1247f3cc363
latest work on lisp-object workspace;
Ben Wing <ben@xemacs.org>
parents:
5118
diff
changeset
|
72 FROB_BLOCK_LISP_OBJECT_HEADER lheader; |
1983 | 73 bignum data; |
74 }; | |
75 typedef struct Lisp_Bignum Lisp_Bignum; | |
76 | |
5118
e0db3c197671
merge up to latest default branch, doesn't compile yet
Ben Wing <ben@xemacs.org>
parents:
4678
diff
changeset
|
77 DECLARE_LISP_OBJECT (bignum, Lisp_Bignum); |
1983 | 78 #define XBIGNUM(x) XRECORD (x, bignum, Lisp_Bignum) |
79 #define wrap_bignum(p) wrap_record (p, bignum) | |
80 #define BIGNUMP(x) RECORDP (x, bignum) | |
81 #define CHECK_BIGNUM(x) CHECK_RECORD (x, bignum) | |
82 #define CONCHECK_BIGNUM(x) CONCHECK_RECORD (x, bignum) | |
83 | |
84 #define bignum_data(b) (b)->data | |
85 #define XBIGNUM_DATA(x) bignum_data (XBIGNUM (x)) | |
86 | |
87 #define BIGNUM_ARITH_RETURN(b,op) do \ | |
88 { \ | |
89 Lisp_Object retval = make_bignum (0); \ | |
90 bignum_##op (XBIGNUM_DATA (retval), XBIGNUM_DATA (b)); \ | |
91 return Fcanonicalize_number (retval); \ | |
92 } while (0) | |
93 | |
94 #define BIGNUM_ARITH_RETURN1(b,op,arg) do \ | |
95 { \ | |
96 Lisp_Object retval = make_bignum(0); \ | |
97 bignum_##op (XBIGNUM_DATA (retval), XBIGNUM_DATA (b), arg); \ | |
98 return Fcanonicalize_number (retval); \ | |
99 } while (0) | |
100 | |
3391 | 101 #if SIZEOF_EMACS_INT == SIZEOF_LONG |
102 # define bignum_fits_emacs_int_p(b) bignum_fits_long_p(b) | |
103 # define bignum_to_emacs_int(b) bignum_to_long(b) | |
104 #elif SIZEOF_EMACS_INT == SIZEOF_INT | |
105 # define bignum_fits_emacs_int_p(b) bignum_fits_int_p(b) | |
106 # define bignum_to_emacs_int(b) bignum_to_int(b) | |
107 #else | |
108 # error Bignums currently do not work with long long Emacs integers. | |
109 #endif | |
110 | |
1983 | 111 extern Lisp_Object make_bignum (long); |
112 extern Lisp_Object make_bignum_bg (bignum); | |
113 extern bignum scratch_bignum, scratch_bignum2; | |
114 | |
115 #else /* !HAVE_BIGNUM */ | |
116 | |
117 #define BIGNUMP(x) 0 | |
118 #define CHECK_BIGNUM(x) dead_wrong_type_argument (Qbignump, x) | |
119 #define CONCHECK_BIGNUM(x) dead_wrong_type_argument (Qbignump, x) | |
120 typedef void bignum; | |
121 #define make_bignum(l) This XEmacs does not support bignums | |
122 #define make_bignum_bg(b) This XEmacs does not support bignums | |
123 | |
124 #endif /* HAVE_BIGNUM */ | |
125 | |
2092 | 126 extern Lisp_Object Qbignump; |
1983 | 127 EXFUN (Fbignump, 1); |
128 | |
129 | |
130 /********************************* Integers *********************************/ | |
4932 | 131 /* Qintegerp in lisp.h */ |
5581
56144c8593a8
Mechanically change INT to FIXNUM in our sources.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5438
diff
changeset
|
132 #define INTEGERP(x) (FIXNUMP(x) || BIGNUMP(x)) |
1983 | 133 #define CHECK_INTEGER(x) do { \ |
134 if (!INTEGERP (x)) \ | |
135 dead_wrong_type_argument (Qintegerp, x); \ | |
136 } while (0) | |
137 #define CONCHECK_INTEGER(x) do { \ | |
138 if (!INTEGERP (x)) \ | |
139 x = wrong_type_argument (Qintegerp, x); \ | |
140 } while (0) | |
141 | |
142 #ifdef HAVE_BIGNUM | |
143 #define make_integer(x) \ | |
5581
56144c8593a8
Mechanically change INT to FIXNUM in our sources.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5438
diff
changeset
|
144 (NUMBER_FITS_IN_A_FIXNUM (x) ? make_fixnum (x) : make_bignum (x)) |
1983 | 145 #else |
5581
56144c8593a8
Mechanically change INT to FIXNUM in our sources.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5438
diff
changeset
|
146 #define make_integer(x) make_fixnum (x) |
1983 | 147 #endif |
148 | |
149 extern Fixnum Vmost_negative_fixnum, Vmost_positive_fixnum; | |
150 EXFUN (Fintegerp, 1); | |
151 EXFUN (Fevenp, 1); | |
152 EXFUN (Foddp, 1); | |
153 | |
5307
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
154 /* There are varying mathematical definitions of what a natural number is, |
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
155 differing about whether 0 is inside or outside the set. The Oxford |
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
156 English Dictionary, second edition, does say that they are whole numbers, |
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
157 not fractional, but it doesn't give a bound, and gives a quotation |
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
158 talking about the natural numbers from 1 to 100. Since 100 is certainly |
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
159 *not* the upper bound on natural numbers, we can't take 1 as the lower |
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
160 bound from that example. The Real Academia Española's dictionary, not of |
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
161 English but certainly sharing the western academic tradition, says of |
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
162 "número natural": |
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
163 |
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
164 1. m. Mat. Cada uno de los elementos de la sucesión 0, 1, 2, 3... |
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
165 |
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
166 that is, "each of the elements of the succession 0, 1, 2, 3 ...". The |
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
167 various Wikipedia articles in languages I can read agree. It's |
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
168 reasonable to call this macro and the associated Lisp function |
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
169 NATNUMP. */ |
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
170 |
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
171 #ifdef HAVE_BIGNUM |
5581
56144c8593a8
Mechanically change INT to FIXNUM in our sources.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5438
diff
changeset
|
172 #define NATNUMP(x) ((FIXNUMP (x) && XFIXNUM (x) >= 0) || \ |
5307
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
173 (BIGNUMP (x) && bignum_sign (XBIGNUM_DATA (x)) >= 0)) |
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
174 #else |
5581
56144c8593a8
Mechanically change INT to FIXNUM in our sources.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5438
diff
changeset
|
175 #define NATNUMP(x) (FIXNUMP (x) && XFIXNUM (x) >= 0) |
5307
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
176 #endif |
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
177 |
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
178 #define CHECK_NATNUM(x) do { \ |
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
179 if (!NATNUMP (x)) \ |
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
180 dead_wrong_type_argument (Qnatnump, x); \ |
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
181 } while (0) |
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
182 |
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
183 #define CONCHECK_NATNUM(x) do { \ |
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
184 if (!NATNUMP (x)) \ |
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
185 x = wrong_type_argument (Qnatnump, x); \ |
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
186 } while (0) |
c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
Aidan Kehoe <kehoea@parhasard.net>
parents:
5286
diff
changeset
|
187 |
1983 | 188 |
189 /********************************** Ratios **********************************/ | |
190 #ifdef HAVE_RATIO | |
191 | |
192 struct Lisp_Ratio | |
193 { | |
5120
d1247f3cc363
latest work on lisp-object workspace;
Ben Wing <ben@xemacs.org>
parents:
5118
diff
changeset
|
194 FROB_BLOCK_LISP_OBJECT_HEADER lheader; |
1983 | 195 ratio data; |
196 }; | |
197 typedef struct Lisp_Ratio Lisp_Ratio; | |
198 | |
5118
e0db3c197671
merge up to latest default branch, doesn't compile yet
Ben Wing <ben@xemacs.org>
parents:
4678
diff
changeset
|
199 DECLARE_LISP_OBJECT (ratio, Lisp_Ratio); |
1983 | 200 #define XRATIO(x) XRECORD (x, ratio, Lisp_Ratio) |
201 #define wrap_ratio(p) wrap_record (p, ratio) | |
202 #define RATIOP(x) RECORDP (x, ratio) | |
203 #define CHECK_RATIO(x) CHECK_RECORD (x, ratio) | |
204 #define CONCHECK_RATIO(x) CONCHECK_RECORD (x, ratio) | |
205 | |
206 #define ratio_data(r) (r)->data | |
207 | |
208 #define XRATIO_DATA(r) ratio_data (XRATIO (r)) | |
209 #define XRATIO_NUMERATOR(r) ratio_numerator (XRATIO_DATA (r)) | |
210 #define XRATIO_DENOMINATOR(r) ratio_denominator (XRATIO_DATA (r)) | |
211 | |
212 #define RATIO_ARITH_RETURN(r,op) do \ | |
213 { \ | |
214 Lisp_Object retval = make_ratio (0L, 1UL); \ | |
215 ratio_##op (XRATIO_DATA (retval), XRATIO_DATA (r)); \ | |
216 return Fcanonicalize_number (retval); \ | |
217 } while (0) | |
218 | |
219 #define RATIO_ARITH_RETURN1(r,op,arg) do \ | |
220 { \ | |
221 Lisp_Object retval = make_ratio (0L, 1UL); \ | |
222 ratio_##op (XRATIO_DATA (retval), XRATIO_DATA (r), arg); \ | |
223 return Fcanonicalize_number (retval); \ | |
224 } while (0) | |
225 | |
226 extern Lisp_Object make_ratio (long, unsigned long); | |
227 extern Lisp_Object make_ratio_bg (bignum, bignum); | |
228 extern Lisp_Object make_ratio_rt (ratio); | |
4678
b5e1d4f6b66f
Make #'floor, #'ceiling, #'round, #'truncate conform to Common Lisp.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3391
diff
changeset
|
229 extern ratio scratch_ratio, scratch_ratio2; |
1983 | 230 |
231 #else /* !HAVE_RATIO */ | |
232 | |
233 #define RATIOP(x) 0 | |
234 #define CHECK_RATIO(x) dead_wrong_type_argument (Qratiop, x) | |
235 #define CONCHECK_RATIO(x) dead_wrong_type_argument (Qratiop, x) | |
236 typedef void ratio; | |
237 #define make_ratio(n,d) This XEmacs does not support ratios | |
238 #define make_ratio_bg(n,d) This XEmacs does not support ratios | |
239 | |
240 #endif /* HAVE_RATIO */ | |
241 | |
2092 | 242 extern Lisp_Object Qratiop; |
1983 | 243 EXFUN (Fratiop, 1); |
244 | |
245 | |
246 /******************************** Rationals *********************************/ | |
247 extern Lisp_Object Qrationalp; | |
248 | |
249 #define RATIONALP(x) (INTEGERP(x) || RATIOP(x)) | |
250 #define CHECK_RATIONAL(x) do { \ | |
251 if (!RATIONALP (x)) \ | |
252 dead_wrong_type_argument (Qrationalp, x); \ | |
253 } while (0) | |
254 #define CONCHECK_RATIONAL(x) do { \ | |
255 if (!RATIONALP (x)) \ | |
256 x = wrong_type_argument (Qrationalp, x); \ | |
257 } while (0) | |
258 | |
259 EXFUN (Frationalp, 1); | |
260 EXFUN (Fnumerator, 1); | |
261 EXFUN (Fdenominator, 1); | |
262 | |
263 | |
264 /******************************** Bigfloats *********************************/ | |
265 #ifdef HAVE_BIGFLOAT | |
266 struct Lisp_Bigfloat | |
267 { | |
5120
d1247f3cc363
latest work on lisp-object workspace;
Ben Wing <ben@xemacs.org>
parents:
5118
diff
changeset
|
268 FROB_BLOCK_LISP_OBJECT_HEADER lheader; |
1983 | 269 bigfloat bf; |
270 }; | |
271 typedef struct Lisp_Bigfloat Lisp_Bigfloat; | |
272 | |
5118
e0db3c197671
merge up to latest default branch, doesn't compile yet
Ben Wing <ben@xemacs.org>
parents:
4678
diff
changeset
|
273 DECLARE_LISP_OBJECT (bigfloat, Lisp_Bigfloat); |
1983 | 274 #define XBIGFLOAT(x) XRECORD (x, bigfloat, Lisp_Bigfloat) |
275 #define wrap_bigfloat(p) wrap_record (p, bigfloat) | |
276 #define BIGFLOATP(x) RECORDP (x, bigfloat) | |
277 #define CHECK_BIGFLOAT(x) CHECK_RECORD (x, bigfloat) | |
278 #define CONCHECK_BIGFLOAT(x) CONCHECK_RECORD (x, bigfloat) | |
279 | |
280 #define bigfloat_data(f) ((f)->bf) | |
281 #define XBIGFLOAT_DATA(x) bigfloat_data (XBIGFLOAT (x)) | |
282 #define XBIGFLOAT_GET_PREC(x) bigfloat_get_prec (XBIGFLOAT_DATA (x)) | |
283 #define XBIGFLOAT_SET_PREC(x,p) bigfloat_set_prec (XBIGFLOAT_DATA (x), p) | |
284 | |
4678
b5e1d4f6b66f
Make #'floor, #'ceiling, #'round, #'truncate conform to Common Lisp.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3391
diff
changeset
|
285 #define BIGFLOAT_ARITH_RETURN(f,op) do \ |
b5e1d4f6b66f
Make #'floor, #'ceiling, #'round, #'truncate conform to Common Lisp.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3391
diff
changeset
|
286 { \ |
b5e1d4f6b66f
Make #'floor, #'ceiling, #'round, #'truncate conform to Common Lisp.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3391
diff
changeset
|
287 Lisp_Object retval = make_bigfloat (0.0, bigfloat_get_default_prec()); \ |
1983 | 288 bigfloat_##op (XBIGFLOAT_DATA (retval), XBIGFLOAT_DATA (f)); \ |
289 return retval; \ | |
290 } while (0) | |
291 | |
292 #define BIGFLOAT_ARITH_RETURN1(f,op,arg) do \ | |
293 { \ | |
4678
b5e1d4f6b66f
Make #'floor, #'ceiling, #'round, #'truncate conform to Common Lisp.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3391
diff
changeset
|
294 Lisp_Object retval = make_bigfloat (0.0, bigfloat_get_default_prec()); \ |
1983 | 295 bigfloat_##op (XBIGFLOAT_DATA (retval), XBIGFLOAT_DATA (f), arg); \ |
296 return retval; \ | |
297 } while (0) | |
298 | |
299 extern Lisp_Object make_bigfloat (double, unsigned long); | |
300 extern Lisp_Object make_bigfloat_bf (bigfloat); | |
301 extern Lisp_Object Vdefault_float_precision; | |
302 extern bigfloat scratch_bigfloat, scratch_bigfloat2; | |
303 | |
304 #else /* !HAVE_BIGFLOAT */ | |
305 | |
306 #define BIGFLOATP(x) 0 | |
307 #define CHECK_BIGFLOAT(x) dead_wrong_type_argument (Qbigfloatp, x) | |
308 #define CONCHECK_BIGFLOAT(x) dead_wrong_type_argument (Qbigfloatp, x) | |
309 typedef void bigfloat; | |
310 #define make_bigfloat(f) This XEmacs does not support bigfloats | |
311 #define make_bigfloat_bf(f) This XEmacs does not support bigfloast | |
312 | |
313 #endif /* HAVE_BIGFLOAT */ | |
314 | |
2092 | 315 extern Lisp_Object Qbigfloatp; |
1983 | 316 EXFUN (Fbigfloatp, 1); |
317 | |
318 /********************************* Floating *********************************/ | |
4932 | 319 extern Lisp_Object Qfloatingp; |
1983 | 320 extern Lisp_Object Qread_default_float_format, Vread_default_float_format; |
321 | |
322 #define FLOATINGP(x) (FLOATP (x) || BIGFLOATP (x)) | |
323 #define CHECK_FLOATING(x) do { \ | |
324 if (!FLOATINGP (x)) \ | |
325 dead_wrong_type_argument (Qfloatingp, x); \ | |
326 } while (0) | |
327 #define CONCHECK_FLOATING(x) do { \ | |
328 if (!FLOATINGP (x)) \ | |
329 x = wrong_type_argument (Qfloating, x); \ | |
330 } while (0) | |
331 | |
2057 | 332 extern Lisp_Object make_floating (double); |
1983 | 333 EXFUN (Ffloatp, 1); |
334 | |
335 | |
336 /********************************** Reals ***********************************/ | |
337 extern Lisp_Object Qrealp; | |
338 | |
339 #define REALP(x) (RATIONALP (x) || FLOATINGP (x)) | |
340 #define CHECK_REAL(x) do { \ | |
341 if (!REALP (x)) \ | |
342 dead_wrong_type_argument (Qrealp, x); \ | |
343 } while (0) | |
344 #define CONCHECK_REAL(x) do { \ | |
345 if (!REALP (x)) \ | |
346 x = wrong_type_argument (Qrealp, x); \ | |
347 } while (0) | |
348 | |
349 EXFUN (Frealp, 1); | |
350 | |
351 | |
352 /********************************* Numbers **********************************/ | |
4932 | 353 /* Qnumberp in lisp.h */ |
1983 | 354 #define NUMBERP(x) REALP (x) |
355 #define CHECK_NUMBER(x) do { \ | |
356 if (!NUMBERP (x)) \ | |
357 dead_wrong_type_argument (Qnumberp, x); \ | |
358 } while (0) | |
359 #define CONCHECK_NUMBER(x) do { \ | |
360 if (!NUMBERP (x)) \ | |
361 x = wrong_type_argument (Qnumberp, x); \ | |
362 } while (0) | |
363 | |
364 EXFUN (Fcanonicalize_number, 1); | |
365 | |
366 enum number_type {FIXNUM_T, BIGNUM_T, RATIO_T, FLOAT_T, BIGFLOAT_T}; | |
367 | |
1995 | 368 extern enum number_type get_number_type (Lisp_Object); |
1983 | 369 extern enum number_type promote_args (Lisp_Object *, Lisp_Object *); |
370 | |
4885
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
371 #ifdef WITH_NUMBER_TYPES |
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
372 DECLARE_INLINE_HEADER ( |
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
373 int |
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
374 non_fixnum_number_p (Lisp_Object object)) |
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
375 { |
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
376 if (LRECORDP (object)) |
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
377 { |
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
378 switch (XRECORD_LHEADER (object)->type) |
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
379 { |
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
380 case lrecord_type_float: |
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
381 #ifdef HAVE_BIGNUM |
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
382 case lrecord_type_bignum: |
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
383 #endif |
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
384 #ifdef HAVE_RATIO |
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
385 case lrecord_type_ratio: |
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
386 #endif |
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
387 #ifdef HAVE_BIGFLOAT |
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
388 case lrecord_type_bigfloat: |
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
389 #endif |
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
390 return 1; |
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
391 } |
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
392 } |
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
393 return 0; |
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
394 } |
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
395 #define NON_FIXNUM_NUMBER_P(X) non_fixnum_number_p (X) |
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
396 |
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
397 #else |
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
398 #define NON_FIXNUM_NUMBER_P FLOATP |
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
399 #endif |
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
400 |
6772ce4d982b
Fix hash tables, #'member*, #'assoc*, #'eql compiler macros if bignums
Aidan Kehoe <kehoea@parhasard.net>
parents:
4802
diff
changeset
|
401 |
1983 | 402 #endif /* INCLUDED_number_h_ */ |