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

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

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

revision 1.1 by pfdietz, Tue May 6 12:13:26 2003 UTC revision 1.2 by pfdietz, Tue May 6 13:00:15 2003 UTC
# Line 25  Line 25 
25          unless (and x (not (cdr x)) (eql (car x) e))          unless (and x (not (cdr x)) (eql (car x) e))
26          collect e)          collect e)
27    nil)    nil)
28    
29    (deftest the.5
30      (loop for e in *universe*
31            for x = (multiple-value-list (eval `(the (values ,(type-of e))
32                                                  (quote ,e))))
33            unless (and x (not (cdr x)) (eql (car x) e))
34            collect e)
35      nil)
36    
37    (deftest the.6
38      (loop for e in *universe*
39            for x = (multiple-value-list (eval `(the (values ,(type-of e) t)
40                                                  (quote ,e))))
41            unless (and x (not (cdr x)) (eql (car x) e))
42            collect e)
43      nil)
44    
45    (deftest the.7
46      (loop for e in *universe*
47            for x = (multiple-value-list (eval `(the (values ,(type-of e))
48                                                  (values (quote ,e) :ignored))))
49            unless (and (eql (length x) 2)
50                        (eql (car x) e)
51                        (eql (cadr x) :ignored))
52            collect e)
53      nil)

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

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