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

Timestamp:

08/24/12 04:25:57 (9 years ago)

Author:

Ivan Raikov

Message:

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

File:

• release/4/varsubst/trunk/varsubst.scm (modified) (1 diff)

release/4/varsubst/trunk/varsubst.scm

@@ -75 +75 @@
                       (let ((bnds (car be)) (expr (cadr be)))
                         (let-values (((as us) (unzip2 bnds)))
-                          (let* ((vs (list-tabulate (length as) (lambda (x) (gensym prefix))))
+                          (let* ((vs (list-tabulate (length as) (lambda (x) (string->symbol (symbol->string (gensym prefix))))))
                                  (ksubst-term  (lambda (t tsubst) (subst-term t tsubst k)))
                                  (subst1 (fold (lambda (a v subst)