368 |
(deftest typep.6 |
(deftest typep.6 |
369 |
(typep 'a '(or (eql b))) |
(typep 'a '(or (eql b))) |
370 |
nil) |
nil) |
371 |
|
|
372 |
|
(deftest typep.7 |
373 |
|
(notnot-mv (typep 'a '(satisfies symbolp))) |
374 |
|
t) |
375 |
|
|
376 |
|
(deftest typep.8 |
377 |
|
(typep 10 '(satisfies symbolp)) |
378 |
|
nil) |
379 |
|
|
380 |
|
(deftest typep.9 |
381 |
|
(let ((class (find-class 'symbol))) |
382 |
|
(notnot-mv (typep 'a class))) |
383 |
|
t) |
384 |
|
|
385 |
|
(deftest typep.10 |
386 |
|
(let ((class (find-class 'symbol))) |
387 |
|
(notnot-mv (typep 'a `(and ,class)))) |
388 |
|
t) |
389 |
|
|
390 |
|
(deftest typep.11 |
391 |
|
(let ((class (find-class 'symbol))) |
392 |
|
(typep 10 class)) |
393 |
|
nil) |
394 |
|
|
395 |
|
(deftest typep.12 |
396 |
|
(let ((class (find-class 'symbol))) |
397 |
|
(typep 10 `(and ,class))) |
398 |
|
nil) |
399 |
|
|
400 |
|
(deftest typep.13 |
401 |
|
(typep 'a '(and symbol integer)) |
402 |
|
nil) |
403 |
|
|
404 |
|
(deftest typep.14 |
405 |
|
(notnot-mv (typep 'a '(or symbol integer))) |
406 |
|
t) |
407 |
|
|
408 |
|
(deftest typep.15 |
409 |
|
(notnot-mv (typep 'a '(or integer symbol))) |
410 |
|
t) |
411 |
|
|
412 |
|
(deftest typep.16 |
413 |
|
(let ((c1 (find-class 'number)) |
414 |
|
(c2 (find-class 'symbol))) |
415 |
|
(notnot-mv (typep 'a `(or ,c1 ,c2)))) |
416 |
|
t) |
417 |
|
|
418 |
|
(deftest typep.17 |
419 |
|
(let ((c1 (find-class 'number)) |
420 |
|
(c2 (find-class 'symbol))) |
421 |
|
(notnot-mv (typep 'a `(or ,c2 ,c1)))) |
422 |
|
t) |