113 |
(and (symbolp proc) proc))))) |
(and (symbolp proc) proc))))) |
114 |
(t t))) |
(t t))) |
115 |
|
|
116 |
|
(defun coerce-to-one-value (type) |
117 |
|
(if (and (consp type) (eq (car type) 'values)) |
118 |
|
(cadr type) |
119 |
|
type)) |
120 |
|
|
121 |
(defun binding-decls (bindings body star) |
(defun binding-decls (bindings body star) |
122 |
(cond ((atom bindings) nil) |
(cond ((atom bindings) nil) |
123 |
((atom (car bindings)) (binding-decls (cdr bindings) body star)) |
((atom (car bindings)) (binding-decls (cdr bindings) body star)) |
129 |
(exp (and (consp (cadr bf)) (eq (caadr bf) 'the) (cadadr bf))) |
(exp (and (consp (cadr bf)) (eq (caadr bf) 'the) (cadadr bf))) |
130 |
(frt (and (consp (cadr bf)) |
(frt (and (consp (cadr bf)) |
131 |
(symbolp (caadr bf)) |
(symbolp (caadr bf)) |
132 |
(t-to-nil (fun-ret-type (cadr bf))))) |
(t-to-nil (coerce-to-one-value (fun-ret-type (cadr bf)))))) |
133 |
(dec (var-is-declared var body)) |
(dec (var-is-declared var body)) |
134 |
(chb (var-is-changed var body)) |
(chb (var-is-changed var body)) |
135 |
(chc (and star (var-is-changed var (cdr bindings))))) |
(chc (and star (var-is-changed var (cdr bindings))))) |