X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Ftype.impure.lisp;h=441f6fffee3e2d1208207330ce33ff959dbcba1f;hb=60d2531e0a12daa5a43e390affe9260688b17d21;hp=d07044f2b7b784364df1ffa1108476cb2d95cced;hpb=086927c64682b73e00cb5090ec72e1a72fb30ece;p=sbcl.git

diff --git a/tests/type.impure.lisp b/tests/type.impure.lisp
index d07044f..441f6ff 100644
--- 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 '(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))))
 
 ;;;; 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
+					   sb-pcl::slot-object
 					   sb-kernel:instance
 					   t))))