syntax/parse: made link to pattern-directive docs more prominent, indexed

Closes PR 11882
This commit is contained in:
Ryan Culpepper 2011-05-05 02:12:06 -06:00
parent d9f05a61a3
commit abb8f63036
2 changed files with 7 additions and 5 deletions

View File

@ -44,6 +44,10 @@ pattern matches, its attributes are bound to the corresponding
subterms of the syntax object and that clause's side conditions and subterms of the syntax object and that clause's side conditions and
@scheme[expr] is evaluated. The result is the result of @scheme[expr]. @scheme[expr] is evaluated. The result is the result of @scheme[expr].
Each clause consists of a @tech{syntax pattern}, an optional sequence
of @tech{pattern directives}, and a non-empty sequence of body
expressions.
If the syntax object fails to match any of the patterns (or all If the syntax object fails to match any of the patterns (or all
matches fail the corresponding clauses' side conditions), a syntax matches fail the corresponding clauses' side conditions), a syntax
error is raised. error is raised.
@ -120,11 +124,6 @@ conventions can be in the scope of syntax-class parameter
bindings. See the section on @tech{conventions} for examples. bindings. See the section on @tech{conventions} for examples.
} }
Each clause consists of a @tech{syntax pattern}, an optional sequence
of @tech{pattern directives}, and a non-empty sequence of body
expressions.
}
@specsubform[(code:line #:disable-colon-notation)]{ @specsubform[(code:line #:disable-colon-notation)]{
Suppresses the ``colon notation'' for annotated pattern variables. Suppresses the ``colon notation'' for annotated pattern variables.
@ -136,6 +135,7 @@ Suppresses the ``colon notation'' for annotated pattern variables.
[(x:y ...) 'ok]) [(x:y ...) 'ok])
] ]
} }
}
@defform[(syntax-parser parse-option ... clause ...+)]{ @defform[(syntax-parser parse-option ... clause ...+)]{

View File

@ -163,6 +163,8 @@ the pattern variables.
@section{Pattern directives} @section{Pattern directives}
@section-index{pattern-directive}
Both the parsing forms and syntax class definition forms support Both the parsing forms and syntax class definition forms support
@deftech{pattern directives} for annotating syntax patterns and @deftech{pattern directives} for annotating syntax patterns and
specifying side conditions. The grammar for pattern directives specifying side conditions. The grammar for pattern directives