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

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

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

revision 1.8 by pfdietz, Fri Feb 14 05:55:54 2003 UTC revision 1.9 by pfdietz, Fri Feb 14 06:05:59 2003 UTC
# Line 392  Line 392 
392    (subtypep* '(long-float 0.0l0 10.0l0) '(long-float 0.0l0 (10.0l0)))    (subtypep* '(long-float 0.0l0 10.0l0) '(long-float 0.0l0 (10.0l0)))
393    nil t)    nil t)
394    
395    (deftest subtypep.float.24
396      (check-equivalence '(and (short-float 0.0s0 2.0s0)
397                               (short-float 1.0s0 3.0s0))
398                         '(short-float 1.0s0 2.0s0))
399      nil)
400    
401    (deftest subtypep.float.25
402      (check-equivalence '(and (single-float 0.0f0 2.0f0)
403                               (single-float 1.0f0 3.0f0))
404                         '(single-float 1.0f0 2.0f0))
405      nil)
406    
407    (deftest subtypep.float.26
408      (check-equivalence '(and (double-float 0.0d0 2.0d0)
409                               (double-float 1.0d0 3.0d0))
410                         '(double-float 1.0d0 2.0d0))
411      nil)
412    
413    (deftest subtypep.float.27
414      (check-equivalence '(and (long-float 0.0l0 2.0l0)
415                               (long-float 1.0l0 3.0l0))
416                         '(long-float 1.0l0 2.0l0))
417      nil)
418    
419    
420    
421    
422  ;;; SUBTYPEP on CONS types  ;;; SUBTYPEP on CONS types
423    
# Line 528  Line 554 
554         (t (check-disjointness t1 t2)))))         (t (check-disjointness t1 t2)))))
555    nil)    nil)
556    
557    (deftest subtypep.member.19
558      (let ((i1 (1+ most-positive-fixnum))
559            (i2 (1+ most-positive-fixnum)))
560        (check-equivalence `(member 0 ,i1) `(member 0 ,i2)))
561      nil)
562    
563  ;;; Tests of EQL types  ;;; Tests of EQL types
564    
565  (deftest subtypep.eql.1  (deftest subtypep.eql.1
# Line 552  Line 584 
584         (t (check-disjointness t1 t2)))))         (t (check-disjointness t1 t2)))))
585    nil)    nil)
586    
587    (deftest subtypep.eql.3
588      (let ((i1 (1+ most-positive-fixnum))
589            (i2 (1+ most-positive-fixnum)))
590        (check-equivalence `(eql ,i1) `(eql ,i2)))
591      nil)
592    
593    
594            

Legend:
Removed from v.1.8  
changed lines
  Added in v.1.9

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