Cleanups.
svn: r13884 original commit: 837906b7834c8b42c94db219fd04ebdba188c277
This commit is contained in:
parent
87b0915ce1
commit
2a58f8d016
|
@ -1263,16 +1263,16 @@
|
||||||
(define rename-bindings
|
(define rename-bindings
|
||||||
(get-member-bindings def-table os #'(#%variable-reference)))
|
(get-member-bindings def-table os #'(#%variable-reference)))
|
||||||
(map (λ (tb i v c)
|
(map (λ (tb i v c)
|
||||||
#`(let ([v/c (#,tb)])
|
(if c
|
||||||
#,(if c
|
(with-syntax ([ctc-stx
|
||||||
(with-syntax ([ctc-stx
|
(syntax-property
|
||||||
(syntax-property
|
#`(letrec-syntax #,rename-bindings #,c)
|
||||||
#`(letrec-syntax #,rename-bindings #,c)
|
'inferred-name v)])
|
||||||
'inferred-name v)])
|
#`(let ([v/c (#,tb)])
|
||||||
#`(contract ctc-stx (car v/c) (cdr v/c)
|
(contract ctc-stx (car v/c) (cdr v/c)
|
||||||
(current-contract-region)
|
(current-contract-region)
|
||||||
#,(id->contract-src-info v)))
|
#,(id->contract-src-info v))))
|
||||||
#'v/c)))
|
#`(#,tb)))
|
||||||
tbs
|
tbs
|
||||||
(iota (length (car os)))
|
(iota (length (car os)))
|
||||||
(map car (car os))
|
(map car (car os))
|
||||||
|
|
Loading…
Reference in New Issue
Block a user