Comment on freshen*
This commit is contained in:
parent
830c598aa4
commit
b4fe8dfa21
|
@ -164,6 +164,10 @@
|
||||||
(and s (apply-subst s a-env)))
|
(and s (apply-subst s a-env)))
|
||||||
|
|
||||||
;; Utility used by freshen and canonicalize below.
|
;; Utility used by freshen and canonicalize below.
|
||||||
|
;; Must visit the term in the order specified by canonicalize
|
||||||
|
;; below. Here we rely both upon Racket's left-to-right evaluation
|
||||||
|
;; order and upon defined struct-mappers traversing their arguments in
|
||||||
|
;; some deterministic order.
|
||||||
(define (freshen* t var-handler canon-handler)
|
(define (freshen* t var-handler canon-handler)
|
||||||
(define env (make-hash)) ;; cheeky use of mutation
|
(define env (make-hash)) ;; cheeky use of mutation
|
||||||
(let walk ((t t))
|
(let walk ((t t))
|
||||||
|
|
Loading…
Reference in New Issue