Changeset 17918 in project
 Timestamp:
 04/26/10 09:18:43 (9 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

release/4/varsubst/trunk/varsubst.scm
r14600 r17918 73 73 (let* ((vs (listtabulate (length as) (lambda (x) (gensym prefix)))) 74 74 (ksubstterm (lambda (t tsubst) (substterm t tsubst k))) 75 (subst1 (fold (lambda (a v subst) (substcompose a v subst var ksubstterm)) 75 (subst1 (fold (lambda (a v subst) 76 (substcompose a v subst var ksubstterm)) 76 77 subst as vs))) 77 (bind vs (map (lambda (u) (substterm u subst1 k)) us) (substterm expr subst1 k))))))) 78 (let ((bnds1 (map (lambda (u) (substterm u subst1 k)) us)) 79 (expr1 (substterm expr subst1 k))) 80 (bind vs bnds1 expr1))))))) 78 81 (else (substterm t subst k)))))) 79 82 k)))
Note: See TracChangeset
for help on using the changeset viewer.