411 |
|
|
412 |
(deftype complex (&optional (rp 'real)) `(complex ,(if (eq rp '*) 'real rp))) |
(deftype complex (&optional (rp 'real)) `(complex ,(if (eq rp '*) 'real rp))) |
413 |
(deftype cons (&optional (car t) (cdr t)) `(cons ,(if (eq car '*) t car) ,(if (eq cdr '*) t cdr))) |
(deftype cons (&optional (car t) (cdr t)) `(cons ,(if (eq car '*) t car) ,(if (eq cdr '*) t cdr))) |
414 |
|
(deftype structure-object () `(structure)) |
415 |
|
|
416 |
(defun non-keyword-symbol-p (x) |
(defun non-keyword-symbol-p (x) |
417 |
(and (symbolp x) (not (keywordp x)))) |
(and (symbolp x) (not (keywordp x)))) |
1001 |
(cond ((not x)) |
(cond ((not x)) |
1002 |
((eq x t)) |
((eq x t)) |
1003 |
((and (consp x) |
((and (consp x) |
1004 |
(consp (car x)) (= (length (car x)) 3) |
(consp (car x)) (listp (caar x)) (= (length (car x)) 3) |
1005 |
(consp (cdr x)) (= (length (cdr x)) 3))))) |
(consp (cdr x)) (listp (cadr x)) (= (length (cdr x)) 3))))) |
1006 |
|
|
1007 |
(defun cons^ (x y) |
(defun cons^ (x y) |
1008 |
(cond ((eq x t) y) |
(cond ((eq x t) y) |
1022 |
(cond ((not (cadr x))) |
(cond ((not (cadr x))) |
1023 |
((eq (cadr x) t) nil) |
((eq (cadr x) t) nil) |
1024 |
((cons-atm (cadr x)) |
((cons-atm (cadr x)) |
1025 |
(let ((car (ntp-to-nil (ntp-not (caadr x))));FIXME |
(let ((car (ntp-to-nil (ntp-not (copy-tree (caadr x)))));FIXME |
1026 |
(cdr (ntp-to-nil (ntp-not (cdadr x))))) |
(cdr (ntp-to-nil (ntp-not (copy-tree (cdadr x)))))) |
1027 |
(cond ((and car cdr) |
(cond ((and car cdr) |
1028 |
(cons-to-nil |
(cons-to-nil |
1029 |
(sigalg-op 'or `(,car . ,(nprocess-type '(t))) |
(sigalg-op 'or `(,car . ,(nprocess-type '(t))) |