suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

make subst work with non-symbols as variables

Browse Source 
svn: r364
This commit is contained in:
Robby Findler 2005-07-06 19:34:55 +00:00
parent a80f9b7081
commit 1987bb134b
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/reduction-semantics/subst.ss
View File

@ -80,7 +80,7 @@
(make-subst plt-subst plt:match)
(define (subst/proc var val exp separate)
(let* ([free-vars-cache (make-hash-table)]
(let* ([free-vars-cache (make-hash-table 'equal)]
[fv-val (free-vars/memoize free-vars-cache val separate)])
(let loop ([exp exp])
(let ([fv-exp (free-vars/memoize free-vars-cache exp separate)]
@ -88,7 +88,7 @@
(lambda (x) x)]
[handle-variable
(lambda (rebuild var-name)
(if (eq? var-name var)
(if (equal? var-name var)
val
(rebuild var-name)))]
[handle-complex
@ -114,7 +114,7 @@
sub-term
(loop sub-term))))
subpieces))]))])
(if (memq var fv-exp)
(if (member var fv-exp)
(separate
exp
handle-constant