/[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.32 by pfdietz, Sat Mar 1 12:21:34 2003 UTC revision 1.33 by pfdietz, Sat Mar 1 19:29:29 2003 UTC
# Line 368  Line 368 
368  (deftest typep.6  (deftest typep.6
369    (typep 'a '(or (eql b)))    (typep 'a '(or (eql b)))
370    nil)    nil)
371    
372    (deftest typep.7
373      (notnot-mv (typep 'a '(satisfies symbolp)))
374      t)
375    
376    (deftest typep.8
377      (typep 10 '(satisfies symbolp))
378      nil)
379    
380    (deftest typep.9
381      (let ((class (find-class 'symbol)))
382        (notnot-mv (typep 'a class)))
383      t)
384    
385    (deftest typep.10
386      (let ((class (find-class 'symbol)))
387        (notnot-mv (typep 'a `(and ,class))))
388      t)
389    
390    (deftest typep.11
391      (let ((class (find-class 'symbol)))
392        (typep 10 class))
393      nil)
394    
395    (deftest typep.12
396      (let ((class (find-class 'symbol)))
397        (typep 10 `(and ,class)))
398      nil)
399    
400    (deftest typep.13
401      (typep 'a '(and symbol integer))
402      nil)
403    
404    (deftest typep.14
405      (notnot-mv (typep 'a '(or symbol integer)))
406      t)
407    
408    (deftest typep.15
409      (notnot-mv (typep 'a '(or integer symbol)))
410      t)
411    
412    (deftest typep.16
413      (let ((c1 (find-class 'number))
414            (c2 (find-class 'symbol)))
415        (notnot-mv (typep 'a `(or ,c1 ,c2))))
416      t)
417    
418    (deftest typep.17
419      (let ((c1 (find-class 'number))
420            (c2 (find-class 'symbol)))
421        (notnot-mv (typep 'a `(or ,c2 ,c1))))
422      t)

Legend:
Removed from v.1.32  
changed lines
  Added in v.1.33

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