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

Error in elim-letrec

Browse Source 
svn: r12386
This commit is contained in:
Jay McCarthy 2008-11-11 17:46:43 +00:00
parent cbb4985996
commit ab1da92ee9
1 changed files with 8 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
collects/web-server/lang/elim-letrec.ss
View File

@ -13,7 +13,7 @@
; elim-letrec : (listof identifier-syntax?)[3] -> syntax?[2] -> syntax?[3]
; Eliminates letrec-values from syntax[2] and correctly handles references to
; letrec-bound variables [3] therein.
(define ((elim-letrec ids) stx)
(define ((elim-letrec ids) stx)
(recertify
stx
(kernel-syntax-case
@ -69,10 +69,14 @@
(with-syntax ([(be ...) (map (elim-letrec ids) (syntax->list #'(be ...)))])
(syntax/loc stx
(#%plain-lambda formals be ...)))]
[(case-lambda [formals be ...] ...)
(with-syntax ([((be ...) ...) (map (elim-letrec ids) (syntax->list #'((be ...) ...)))])
[(case-lambda [formals be] ...)
(with-syntax ([(be ...) (map (elim-letrec ids) (syntax->list #'(be ...)))])
(syntax/loc stx
(case-lambda [formals be ...] ...)))]
(case-lambda [formals be] ...)))]
[(case-lambda [formals be ...] ...)
((elim-letrec ids)
(syntax/loc stx
(case-lambda [formals (begin be ...)] ...)))]
[(if te ce ae)
(with-syntax ([te ((elim-letrec ids) #'te)]
[ce ((elim-letrec ids) #'ce)]