svn: r10843
This commit is contained in:
Jay McCarthy 2008-07-20 16:12:08 +00:00
parent 39af76b953
commit 258c569afe
2 changed files with 5 additions and 3 deletions

View File

@ -1,10 +1,11 @@
#lang scheme/base #lang scheme/base
(require (for-template scheme/base) (require (for-template scheme/base)
syntax/kerncase syntax/kerncase
#;syntax/free-vars
"freevars.ss"
mzlib/list mzlib/list
mzlib/plt-match mzlib/plt-match
"util.ss" "util.ss"
"freevars.ss"
"../private/closure.ss") "../private/closure.ss")
(provide defun) (provide defun)

View File

@ -53,5 +53,6 @@
(syntax-case stx () (syntax-case stx ()
[(_ ([wp ve] ...) e ...) [(_ ([wp ve] ...) e ...)
(with-syntax ([(v ...) (generate-temporaries (syntax->list #'(ve ...)))]) (with-syntax ([(v ...) (generate-temporaries (syntax->list #'(ve ...)))])
#'(let ([v ve] ...) (syntax/loc stx
(web-parameterize/values ([wp v] ...) e ...)))])) (let ([v ve] ...)
(web-parameterize/values ([wp v] ...) e ...))))]))