Lines Matching defs:form
3 ;;; proper internal form; and then we untranslate into pretty user-level
48 (defun merge-lets-lst (form)
49 (cond ((atom form) form)
50 (t (cons (merge-lets (car form) nil)
51 (merge-lets-lst (cdr form))))))
53 (defun merge-lets (form bindings)
59 ; Form is an untranslated form. We feel secure in replacing repeated (let
63 (case-match form
67 (let ((new-form (cond ((atom form) form)
68 (t (cons (car form)
69 (merge-lets-lst (cdr form)))))))
72 ,new-form))
75 ,new-form))
76 (t new-form))))))
80 (defun untranslate-form (form ctx wrld)
81 (case-match form
86 '(:error "translate-form didn't find a value.")
92 "Unrecognized form (expected (defun ...): ~x0"
93 form))))
95 (defun untranslate-form-lst (lst ctx wrld acc)
98 (t (untranslate-form-lst (cdr lst) ctx wrld
99 (cons (untranslate-form (car lst) ctx wrld)
134 (untranslate-form-lst forms ctx (w state) nil))