226 |
|
|
227 |
;;; |
;;; |
228 |
|
|
|
(deftest subtypep.float.zero.1 |
|
|
(check-equivalence '(float 0.0 *) |
|
|
'(or (float (0.0) *) |
|
|
(member -0.0 0.0))) |
|
|
nil) |
|
|
|
|
|
(unless (eql 0.0 -0.0) |
|
|
(deftest subtypep.float.zero.2 |
|
|
(values (subtypep '(float 0.0) |
|
|
'(or (float (0.0)) (member 0.0)))) |
|
|
nil) |
|
|
(deftest subtypep.float.zero. |
|
|
(values (subtypep '(float 0.0) |
|
|
'(or (float (0.0)) (member -0.0)))) |
|
|
nil)) |
|
|
|
|
229 |
(deftest subtypep.float.zero.3 |
(deftest subtypep.float.zero.3 |
230 |
(subtypep* '(float -0.0 *) '(float 0.0 *)) |
(subtypep* '(float -0.0 *) '(float 0.0 *)) |
231 |
t t) |
t t) |
267 |
nil) |
nil) |
268 |
|
|
269 |
(unless (eql 0.0f0 -0.0f0) |
(unless (eql 0.0f0 -0.0f0) |
270 |
(deftest subtypep.single-float.zero.2 |
(deftest subtypep.single-float.zero.2a |
271 |
(values (subtypep '(single-float 0.0f0) |
(values (subtypep '(single-float 0.0f0) |
272 |
'(or (single-float (0.0f0)) (member 0.0f0)))) |
'(or (single-float (0.0f0)) (member 0.0f0)))) |
273 |
nil) |
nil) |
274 |
(deftest subtypep.single-float.zero. |
(deftest subtypep.single-float.zero.2b |
275 |
(values (subtypep '(single-float 0.0f0) |
(values (subtypep '(single-float 0.0f0) |
276 |
'(or (single-float (0.0f0)) (member -0.0f0)))) |
'(or (single-float (0.0f0)) (member -0.0f0)))) |
277 |
nil)) |
nil)) |
317 |
nil) |
nil) |
318 |
|
|
319 |
(unless (eql 0.0l0 -0.0l0) |
(unless (eql 0.0l0 -0.0l0) |
320 |
(deftest subtypep.long-float.zero.2 |
(deftest subtypep.long-float.zero.2a |
321 |
(values (subtypep '(long-float 0.0l0) |
(values (subtypep '(long-float 0.0l0) |
322 |
'(or (long-float (0.0l0)) (member 0.0l0)))) |
'(or (long-float (0.0l0)) (member 0.0l0)))) |
323 |
nil) |
nil) |
324 |
(deftest subtypep.long-float.zero. |
(deftest subtypep.long-float.zero.2b |
325 |
(values (subtypep '(long-float 0.0l0) |
(values (subtypep '(long-float 0.0l0) |
326 |
'(or (long-float (0.0l0)) (member -0.0l0)))) |
'(or (long-float (0.0l0)) (member -0.0l0)))) |
327 |
nil)) |
nil)) |
367 |
nil) |
nil) |
368 |
|
|
369 |
(unless (eql 0.0d0 -0.0d0) |
(unless (eql 0.0d0 -0.0d0) |
370 |
(deftest subtypep.double-float.zero.2 |
(deftest subtypep.double-float.zero.2a |
371 |
(values (subtypep '(double-float 0.0d0) |
(values (subtypep '(double-float 0.0d0) |
372 |
'(or (double-float (0.0d0)) (member 0.0d0)))) |
'(or (double-float (0.0d0)) (member 0.0d0)))) |
373 |
nil) |
nil) |
374 |
(deftest subtypep.double-float.zero. |
(deftest subtypep.double-float.zero.2b |
375 |
(values (subtypep '(double-float 0.0d0) |
(values (subtypep '(double-float 0.0d0) |
376 |
'(or (double-float (0.0d0)) (member -0.0d0)))) |
'(or (double-float (0.0d0)) (member -0.0d0)))) |
377 |
nil)) |
nil)) |