Parent Directory | Revision Log | Patch
revision 1.9 by pfdietz, Wed Jun 15 12:52:58 2005 UTC | revision 1.10 by pfdietz, Sun Jun 26 14:52:06 2005 UTC | |
---|---|---|
# | Line 14 | Line 14 |
14 | nil) | nil) |
15 | ||
16 | (deftest complement.3 | (deftest complement.3 |
17 | (every #'(lambda (x) (eql (funcall (cl::complement #'not) x) | (check-predicate |
18 | (not (not x)))) | #'(lambda (x) (eql (funcall (cl::complement #'not) x) |
19 | *universe*) | (not (not x))))) |
20 | t) | nil) |
21 | ||
22 | (deftest complement.4 | (deftest complement.4 |
23 | (let ((x '(#\b))) | (let ((x '(#\b))) |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |