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

make ISL local' and letrec' expand more the old way

Browse Source 
That is, force expansion to use a single `letrec',
 instead of a mixture of `let' and `letrec' that an
 internal-definition expansion would now use.
This commit is contained in:
Matthew Flatt 2011-07-09 16:51:08 -06:00
parent d5b852c386
commit 0acf9834f7
1 changed files with 15 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
collects/lang/private/teach.rkt
View File

@ -1750,13 +1750,14 @@
(stepper-syntax-property
(quasisyntax/loc stx
(let ()
(define #,(gensym) 1) ; this ensures that the expansion of 'local' looks
; roughly the same, even if the local has no defs.
mapping ...
stx-def ...
(define-values (tmp-id ...) def-expr)
...
. exprs))
(#%stratified-body
(define #,(gensym) 1) ; this ensures that the expansion of 'local' looks
; roughly the same, even if the local has no defs.
mapping ...
stx-def ...
(define-values (tmp-id ...) def-expr)
...
. exprs)))
'stepper-hint
'comes-from-local)))))))]
[(_ def-non-seq . __)
@ -1805,12 +1806,13 @@
[(rhs-expr ...) (map allow-local-lambda
(syntax->list (syntax (rhs-expr ...))))])
(quasisyntax/loc stx
(letrec-syntaxes+values ([(name) (make-undefined-check
(quote-syntax check-not-undefined)
(quote-syntax tmp-id))]
...)
([(tmp-id) rhs-expr]
...)
(#%stratified-body
(define-syntaxes (name) (make-undefined-check
(quote-syntax check-not-undefined)
(quote-syntax tmp-id)))
...
(define-values (tmp-id) rhs-expr)
...
expr)))]
[_else (bad-let-form 'letrec stx stx)]))))