From 60b1a5c55dcfb465edd5f9abbea6a8c8a7e6e828 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 21 Nov 2007 02:12:44 +0000 Subject: [PATCH] typo fixes from Sam svn: r7795 --- collects/scribblings/reference/syntax.scrbl | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/collects/scribblings/reference/syntax.scrbl b/collects/scribblings/reference/syntax.scrbl index d12ecb68ef..264f544f1c 100644 --- a/collects/scribblings/reference/syntax.scrbl +++ b/collects/scribblings/reference/syntax.scrbl @@ -1434,16 +1434,16 @@ pre-defined forms are as follows. @scheme[struct-out] for export.} @defsubform[(protect-out provide-spec ...)]{ Like the union of the - @scheme[provide-spec]s, except that theexports are protected; see + @scheme[provide-spec]s, except that the exports are protected; see @secref["modprotect"]. The @scheme[provide-spec] must specify only bindings that are defined within the exporting module.} @specsubform[#:literals (for-syntax) (for-syntax provide-spec ...)]{ Like the union of the - @scheme[provide-spec]s, but adjusted to apply to @scheme{phase level} + @scheme[provide-spec]s, but adjusted to apply to @tech{phase level} 1. In particular, an @scheme[id] or @scheme[rename-out] formas a - @scheme[provide-spec] refers to a @scheme{phase-level} 1 binding, an - @scheme[all-define-out] exports only @scheme{phase level} 1 + @scheme[provide-spec] refers to a @tech{phase-level}-1 binding, an + @scheme[all-define-out] exports only @tech{phase-level}-1 definitions, and an @scheme[all-from-out] exports only bindings imported with a shift to @tech{phase level} 1.}