590 |
|
|
591 |
table)) |
table)) |
592 |
|
|
593 |
(defvar *disjoint-types-list* |
(defparameter *disjoint-types-list* |
594 |
'(cons symbol array |
'(cons symbol array |
595 |
number character hash-table function readtable package |
number character hash-table function readtable package |
596 |
pathname stream random-state condition restart)) |
pathname stream random-state condition restart)) |
597 |
|
|
598 |
|
(defparameter *disjoint-types-list2* |
599 |
|
`((cons (cons t t) (cons t (cons t t))) |
600 |
|
(symbol keyword boolean null) |
601 |
|
(array vector simple-array simple-vector string simple-string |
602 |
|
base-string simple-base-string) |
603 |
|
(character base-char standard-char extended-char) |
604 |
|
(function compiled-function generic-function standard-generic-function) |
605 |
|
(package) |
606 |
|
(pathname logical-pathname) |
607 |
|
(stream broadcast-stream concatenated-stream echo-stream |
608 |
|
file-stream string-stream synonym-stream two-way-stream) |
609 |
|
(number real complex float integer rational ratio |
610 |
|
bit (integer 0 100) (float 0.0 100.0) (integer 0 *) |
611 |
|
(rational 0 *) (mod 10)) |
612 |
|
(random-state) |
613 |
|
,*condition-types* |
614 |
|
(restart) |
615 |
|
(readtable))) |
616 |
|
|
617 |
(defun is-t-or-nil (e) |
(defun is-t-or-nil (e) |
618 |
(or (eqt e t) (eqt e nil))) |
(or (eqt e t) (eqt e nil))) |
619 |
|
|
628 |
(format t "~%Problem! Did not find to be an atomic type: ~S" tp) |
(format t "~%Problem! Did not find to be an atomic type: ~S" tp) |
629 |
t)))) |
t)))) |
630 |
|
|
631 |
(defvar *type-list* nil) |
(defparameter *type-list* nil) |
632 |
(defvar *supertype-table* nil) |
(defparameter *supertype-table* nil) |
633 |
(declaim (special *subtype-table*)) |
(declaim (special *subtype-table*)) |
634 |
|
|
635 |
(defun types-9-body () |
(defun types-9-body () |