1125 |
(cond ((eq t (cadr x)) `(cons t t)) |
(cond ((eq t (cadr x)) `(cons t t)) |
1126 |
((atom (cadr x)) nil) |
((atom (cadr x)) nil) |
1127 |
((cons-atm (cadr x)) |
((cons-atm (cadr x)) |
1128 |
(let ((car (nreconstruct-type-int (caadr x))) |
(let ((car (nreconstruct-type-int (copy-tree (caadr x))));FIXME |
1129 |
(cdr (nreconstruct-type-int (cdadr x)))) |
(cdr (nreconstruct-type-int (copy-tree (cdadr x))))) |
1130 |
(and car cdr `(cons ,car ,cdr)))) |
(and car cdr `(cons ,car ,cdr)))) |
1131 |
((eq (caadr x) 'or) |
((eq (caadr x) 'or) |
1132 |
(let ((z (lremove-if 'not (mapcar (lambda (x) (cons-recon `(cons ,x))) (cdadr x))))) |
(let ((z (lremove-if 'not (mapcar (lambda (x) (cons-recon `(cons ,x))) (cdadr x))))) |