Changeset 17918 in project


Ignore:
Timestamp:
04/26/10 09:18:43 (9 years ago)
Author:
iraikov
Message:

varsubst save

File:
1 edited

Legend:

Unmodified
Added
Removed
  • release/4/varsubst/trunk/varsubst.scm

    r14600 r17918  
    7373                          (let* ((vs (list-tabulate (length as) (lambda (x) (gensym prefix))))
    7474                                 (ksubst-term  (lambda (t tsubst) (subst-term t tsubst k)))
    75                                  (subst1 (fold (lambda (a v subst) (subst-compose a v subst var ksubst-term))
     75                                 (subst1 (fold (lambda (a v subst)
     76                                                 (subst-compose a v subst var ksubst-term))
    7677                                               subst as vs)))
    77                             (bind vs (map (lambda (u) (subst-term u  subst1 k)) us) (subst-term expr subst1 k)))))))
     78                            (let ((bnds1 (map (lambda (u) (subst-term u  subst1 k)) us))
     79                                  (expr1 (subst-term expr subst1 k)))
     80                              (bind vs bnds1 expr1)))))))
    7881                   (else (subst-term t subst k))))))
    7982     k)))
Note: See TracChangeset for help on using the changeset viewer.