9 |
(loop for x in *universe* |
(loop for x in *universe* |
10 |
for type = (type-of x) |
for type = (type-of x) |
11 |
unless (and (consp type) (eqt (car type) 'function)) |
unless (and (consp type) (eqt (car type) 'function)) |
12 |
count (not (eq (coerce x type) x))) |
count (not (eql (coerce x type) x))) |
13 |
0) |
0) |
14 |
|
|
15 |
(deftest coerce.2 |
(deftest coerce.2 |
16 |
(loop for x in *universe* |
(loop for x in *universe* |
17 |
count (not (eq (coerce x t) x))) |
count (not (eql (coerce x t) x))) |
18 |
0) |
0) |
19 |
|
|
20 |
(deftest coerce.3 |
(deftest coerce.3 |
21 |
(loop for x in *universe* |
(loop for x in *universe* |
22 |
for class = (class-of x) |
for class = (class-of x) |
23 |
count (and class (not (eq (coerce x class) x)))) |
count (and class (not (eql (coerce x class) x)))) |
24 |
0) |
0) |
25 |
|
|
26 |
(deftest coerce.4 |
(deftest coerce.4 |