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) |