original commit: 908b2a76be0fcbf51b9337155ea29672d00a970f
This commit is contained in:
Matthew Flatt 2003-09-02 16:35:24 +00:00
parent 6ce8cf0651
commit 934b4700da

View File

@ -198,12 +198,14 @@
name))))))
(get-renames (syntax-local-introduce name) err)))
(define (walk-path path env+rns+subs stx rename)
(define (walk-path path env+rns+subs stx rename cp-rename)
(let loop ([path path][env+rns+subs env+rns+subs][rename rename])
(cond
[(null? path) (values env+rns+subs rename)]
[else (let* ([new-name (stx-assoc (syntax-local-introduce (car path))
(cadr env+rns+subs))]
[else (let* ([id (cp-rename (syntax-local-introduce (car path)))]
[new-name (if (caddr env+rns+subs)
(cons id id)
(stx-assoc id (cadr env+rns+subs)))]
[v (and new-name
(if (caddr env+rns+subs)
(bound-identifier-mapping-get (caddr env+rns+subs)