From e807e848f9e85276d6a3b7c47746b7540776884d Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 9 Apr 2015 15:54:33 -0600 Subject: [PATCH] fix docs for `syntax-case` Clarify that if `stx-expr` produces a value other than a syntax object, it is coerced to one using `datum->syntax`. --- pkgs/racket-doc/scribblings/reference/stx-patterns.scrbl | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/pkgs/racket-doc/scribblings/reference/stx-patterns.scrbl b/pkgs/racket-doc/scribblings/reference/stx-patterns.scrbl index 00b6adad7b..0e2ff04eac 100644 --- a/pkgs/racket-doc/scribblings/reference/stx-patterns.scrbl +++ b/pkgs/racket-doc/scribblings/reference/stx-patterns.scrbl @@ -160,6 +160,10 @@ A syntax object matches a @racket[pattern] as follows: when its datum is @racket[equal?] to the @racket[quote]d @racket[const].} +If @racket[stx-expr] produces a non-@tech{syntax object}, then its +result is converted to a syntax object using @racket[datum->syntax] +and the lexical context and source location of the @racket[stx-expr]. + If @racket[stx-expr] produces a syntax object that is @tech{tainted} or @tech{armed}, then any syntax object bound by a @racket[pattern] are @tech{tainted}---unless the binding corresponds to the whole