Changeset 27288 in project for release/4/varsubst/trunk/varsubst.scm


Ignore:
Timestamp:
08/24/12 04:25:57 (9 years ago)
Author:
Ivan Raikov
Message:

varsubst: use string->symbol for symbols produced by gensym

File:
1 edited

Legend:

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

    r27090 r27288  
    7575                      (let ((bnds (car be)) (expr (cadr be)))
    7676                        (let-values (((as us) (unzip2 bnds)))
    77                           (let* ((vs (list-tabulate (length as) (lambda (x) (gensym prefix))))
     77                          (let* ((vs (list-tabulate (length as) (lambda (x) (string->symbol (symbol->string (gensym prefix))))))
    7878                                 (ksubst-term  (lambda (t tsubst) (subst-term t tsubst k)))
    7979                                 (subst1 (fold (lambda (a v subst)
Note: See TracChangeset for help on using the changeset viewer.