projects
/
sbcl.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
0.8.0.25:
[sbcl.git]
/
tests
/
type.impure.lisp
diff --git
a/tests/type.impure.lisp
b/tests/type.impure.lisp
index
d07044f
..
441f6ff
100644
(file)
--- a/
tests/type.impure.lisp
+++ b/
tests/type.impure.lisp
@@
-224,6
+224,11
@@
(assert-t-t (subtypep '(not (single-float 0.0 0.0)) '(not (member 0.0))))
(assert-t-t (subtypep '(not (double-float 0.0d0 0.0d0)) '(not (member 0.0d0))))
(assert-t-t (subtypep '(not (single-float 0.0 0.0)) '(not (member 0.0))))
(assert-t-t (subtypep '(not (double-float 0.0d0 0.0d0)) '(not (member 0.0d0))))
+
+(assert-t-t (subtypep '(float -0.0) '(float 0.0)))
+(assert-t-t (subtypep '(float 0.0) '(float -0.0)))
+(assert-t-t (subtypep '(float (0.0)) '(float (-0.0))))
+(assert-t-t (subtypep '(float (-0.0)) '(float (0.0))))
\f
;;;; Douglas Thomas Crosher rewrote the CMU CL type test system to
;;;; allow inline type tests for CONDITIONs and STANDARD-OBJECTs, and
\f
;;;; Douglas Thomas Crosher rewrote the CMU CL type test system to
;;;; allow inline type tests for CONDITIONs and STANDARD-OBJECTs, and
@@
-332,6
+337,7
@@
(find-class 'simple-condition))
(mapcar #'find-class '(simple-condition
condition
(find-class 'simple-condition))
(mapcar #'find-class '(simple-condition
condition
+ sb-pcl::slot-object
sb-kernel:instance
t))))
sb-kernel:instance
t))))