430 |
(type-error-expected-type c nil))) |
(type-error-expected-type c nil))) |
431 |
program-error) |
program-error) |
432 |
|
|
433 |
|
;;; Tests of env arguments to typep, subtypep |
434 |
|
|
435 |
|
(deftest typep.env.1 |
436 |
|
(notnot-mv (typep 0 'bit nil)) |
437 |
|
t) |
438 |
|
|
439 |
|
(deftest typep.env.2 |
440 |
|
(macrolet ((%foo (&environment env) |
441 |
|
(notnot (typep 0 'bit env)))) |
442 |
|
(%foo)) |
443 |
|
t) |
444 |
|
|
445 |
|
(deftest typep.env.3 |
446 |
|
(macrolet ((%foo (&environment env) |
447 |
|
(notnot (typep env (type-of env))))) |
448 |
|
(%foo)) |
449 |
|
t) |
450 |
|
|
451 |
|
(deftest subtype.env.1 |
452 |
|
(mapcar #'notnot |
453 |
|
(multiple-value-list (subtypep 'bit 'integer nil))) |
454 |
|
(t t)) |
455 |
|
|
456 |
|
(deftest subtype.env.2 |
457 |
|
(macrolet |
458 |
|
((%foo (&environment env) |
459 |
|
(list 'quote |
460 |
|
(mapcar #'notnot |
461 |
|
(multiple-value-list |
462 |
|
(subtypep 'bit 'integer env)))))) |
463 |
|
(%foo)) |
464 |
|
(t t)) |
465 |
|
|
466 |
|
(deftest subtype.env.3 |
467 |
|
(macrolet |
468 |
|
((%foo (&environment env) |
469 |
|
(multiple-value-bind (sub good) |
470 |
|
(subtypep nil (type-of env)) |
471 |
|
(or (not good) (notnot sub))))) |
472 |
|
(%foo)) |
473 |
|
t) |
474 |
|
|
475 |
|
(deftest subtype.env.4 |
476 |
|
(macrolet |
477 |
|
((%foo (&environment env) |
478 |
|
(multiple-value-bind (sub good) |
479 |
|
(subtypep (type-of env) (type-of env)) |
480 |
|
(or (not good) (notnot sub))))) |
481 |
|
(%foo)) |
482 |
|
t) |
483 |
|
|
484 |
|
(deftest subtype.env.5 |
485 |
|
(macrolet |
486 |
|
((%foo (&environment env) |
487 |
|
(multiple-value-bind (sub good) |
488 |
|
(subtypep (type-of env) t) |
489 |
|
(or (not good) (notnot sub))))) |
490 |
|
(%foo)) |
491 |
|
t) |
492 |
|
|