64 |
(c1expr** (cadr args) info)) |
(c1expr** (cadr args) info)) |
65 |
(t (note-branch-elimination (car args) nil (cadr args)) |
(t (note-branch-elimination (car args) nil (cadr args)) |
66 |
(if (endp (cddr args)) (c1nil) (c1expr** (caddr args) info)))) |
(if (endp (cddr args)) (c1nil) (c1expr** (caddr args) info)))) |
67 |
(list 'if info |
(let ((tb (c1expr* (cadr args) info)) |
68 |
fmla |
(fb (if (endp (cddr args)) (c1nil) (c1expr* (caddr args) info)))) |
69 |
(c1expr* (cadr args) info) |
(setf (info-type info) (if (endp (cddr args)) (info-type (cadr tb)) |
70 |
(if (endp (cddr args)) (c1nil) (c1expr* (caddr args) info)))))))) |
(type-or1 (info-type (cadr tb)) (info-type (cadr fb))))) |
71 |
|
(list 'if info |
72 |
|
fmla tb fb))))))) |
73 |
|
|
74 |
(defvar *fmla-eval-const*) |
(defvar *fmla-eval-const*) |
75 |
(defun fmla-eval-const (fmla) |
(defun fmla-eval-const (fmla) |