6 |
(in-package :cl-test) |
(in-package :cl-test) |
7 |
|
|
8 |
(deftest complement.1 |
(deftest complement.1 |
9 |
(not (funcall (complement #'identity) nil)) |
(notnot-mv (funcall (complement #'identity) nil)) |
10 |
nil) |
t) |
11 |
|
|
12 |
(deftest complement.2 |
(deftest complement.2 |
13 |
(funcall (complement #'identity) t) |
(funcall (complement #'identity) t) |
28 |
t) |
t) |
29 |
|
|
30 |
(deftest complement.5 |
(deftest complement.5 |
31 |
|
(notnot-mv (complement #'identity)) |
32 |
|
t) |
33 |
|
|
34 |
|
(deftest complement.error.1 |
35 |
(classify-error (complement)) |
(classify-error (complement)) |
36 |
program-error) |
program-error) |
37 |
|
|
38 |
(deftest complement.6 |
(deftest complement.error.2 |
39 |
(classify-error (complement #'not t)) |
(classify-error (complement #'not t)) |
40 |
program-error) |
program-error) |
|
|
|
|
|
|