add letrec-syntaxes+values' to kernel-syntax-case'

Do not merge to 5.1.2; the implications for backward
 compatibility are not clear to me.
This commit is contained in:
Matthew Flatt 2011-07-15 19:24:59 -06:00
parent d718a2b128
commit f40dc87c29
2 changed files with 5 additions and 4 deletions

View File

@ -17,7 +17,7 @@
(quote
quote-syntax #%top
#%plain-lambda case-lambda
let-values letrec-values
let-values letrec-values letrec-syntaxes+values
begin begin0 set!
with-continuation-mark
if #%plain-app #%expression

View File

@ -17,7 +17,8 @@
A syntactic form like @racket[syntax-case*], except that the literals
are built-in as the names of the primitive Racket forms as
exported by @racketmodname[scheme/base]; see @secref[#:doc refman
exported by @racketmodname[scheme/base], including
@racket[letrec-syntaxes+values]; see @secref[#:doc refman
"fully-expanded"].
The @racket[trans?-expr] boolean expression replaces the comparison
@ -28,8 +29,8 @@ or transformer-phase comparisons. The @racket[clause]s are the same as in
The primitive syntactic forms must have their normal bindings in the
context of the @racket[kernel-syntax-case] expression. Beware that
@racket[kernel-syntax-case] does not work in a module whose language
is @racket[mzscheme], since the binding of @mzscheme-if from
@racket[mzscheme] is different than the primitive @racket[if].}
is @racketmodname[mzscheme], since the binding of @mzscheme-if from
@racketmodname[mzscheme] is different than the primitive @racket[if].}
@defform[(kernel-syntax-case* stx-expr trans?-expr (extra-id ...) clause ...)]{