From 4eb0d3dcac435b9a057d9f5eb3edced0ec506f59 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 15 Jun 2012 05:29:28 +0800 Subject: [PATCH] minor guide corrections on parts that Eli asked me to check --- collects/scribblings/guide/named-let.scrbl | 6 +++--- collects/scribblings/guide/syntax-taints.scrbl | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/collects/scribblings/guide/named-let.scrbl b/collects/scribblings/guide/named-let.scrbl index 3cc6ca9ebd..434093d6d7 100644 --- a/collects/scribblings/guide/named-let.scrbl +++ b/collects/scribblings/guide/named-let.scrbl @@ -8,9 +8,9 @@ same syntactic keyword @racket[let] as for local binding, but an identifier after the @racket[let] (instead of an immediate open parenthesis) triggers a different parsing. -@racketblock[ -(let _proc-id ([_arg-id _init-expr] ...) - _body ...+) +@specform[ +(let proc-id ([arg-id init-expr] ...) + body ...+) ] A named @racket[let] form is equivalent to diff --git a/collects/scribblings/guide/syntax-taints.scrbl b/collects/scribblings/guide/syntax-taints.scrbl index 9bcea1ab8e..be2db48673 100644 --- a/collects/scribblings/guide/syntax-taints.scrbl +++ b/collects/scribblings/guide/syntax-taints.scrbl @@ -60,7 +60,7 @@ with a @deftech{dye pack}. When a syntax object is armed, then @racket[syntax-e] taints any syntax object in its result. Similarly, @racket[datum->syntax] taints its result when its first argument is armed. Finally, if any part of a quoted syntax object is armed, then -the corresponding part taints the resulting syntax constant. +the corresponding part is tainted in the resulting syntax constant. Of course, the macro expander itself must be able to @deftech{disarm} a taint on a syntax object, so that it can further expand an