/[gcl]/gcl/ansi-tests/subtypep-float.lsp
ViewVC logotype

Diff of /gcl/ansi-tests/subtypep-float.lsp

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.2 by pfdietz, Thu Apr 24 00:55:43 2003 UTC revision 1.3 by pfdietz, Thu Apr 24 09:50:08 2003 UTC
# Line 226  Line 226 
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)
# Line 283  Line 267 
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))
# Line 333  Line 317 
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))
# Line 383  Line 367 
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))

Legend:
Removed from v.1.2  
changed lines
  Added in v.1.3

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26