/[gcl]/gcl/ansi-tests/types-and-class.lsp
ViewVC logotype

Diff of /gcl/ansi-tests/types-and-class.lsp

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

revision 1.14 by pfdietz, Sat Jan 25 17:36:45 2003 UTC revision 1.15 by pfdietz, Tue Jan 28 03:05:19 2003 UTC
# Line 430  Line 430 
430       (type-error-expected-type c nil)))       (type-error-expected-type c nil)))
431    program-error)    program-error)
432    
433    ;;; Tests of env arguments to typep, subtypep
434    
435    (deftest typep.env.1
436      (notnot-mv (typep 0 'bit nil))
437      t)
438    
439    (deftest typep.env.2
440      (macrolet ((%foo (&environment env)
441                       (notnot (typep 0 'bit env))))
442        (%foo))
443      t)
444    
445    (deftest typep.env.3
446      (macrolet ((%foo (&environment env)
447                       (notnot (typep env (type-of env)))))
448        (%foo))
449      t)
450    
451    (deftest subtype.env.1
452      (mapcar #'notnot
453              (multiple-value-list (subtypep 'bit 'integer nil)))
454      (t t))
455    
456    (deftest subtype.env.2
457      (macrolet
458          ((%foo (&environment env)
459                 (list 'quote
460                       (mapcar #'notnot
461                               (multiple-value-list
462                                (subtypep 'bit 'integer env))))))
463        (%foo))
464      (t t))
465    
466    (deftest subtype.env.3
467      (macrolet
468          ((%foo (&environment env)
469                 (multiple-value-bind (sub good)
470                     (subtypep nil (type-of env))
471                   (or (not good) (notnot sub)))))
472        (%foo))
473      t)
474    
475    (deftest subtype.env.4
476      (macrolet
477          ((%foo (&environment env)
478                 (multiple-value-bind (sub good)
479                     (subtypep (type-of env) (type-of env))
480                   (or (not good) (notnot sub)))))
481        (%foo))
482      t)
483    
484    (deftest subtype.env.5
485      (macrolet
486          ((%foo (&environment env)
487                 (multiple-value-bind (sub good)
488                     (subtypep (type-of env) t)
489                   (or (not good) (notnot sub)))))
490        (%foo))
491      t)
492    

Legend:
Removed from v.1.14  
changed lines
  Added in v.1.15

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