Update grammar in the syntax class page, s/subdefthing/defsubthing/

This commit is contained in:
Sorawee Porncharoenwase 2019-06-04 20:38:04 -07:00 committed by Sam Tobin-Hochstadt
parent 3043dbd35c
commit cc76761c1f
3 changed files with 11 additions and 6 deletions

View File

@ -32,7 +32,7 @@
#'(defproc #:kind "syntax class" datum @#,tech{syntax class} . pre-flows)])
(define-syntax-parser defattribute
[(_ name:id . pre-flows)
#'(subdefthing #:kind "attribute" #:link-target? #f name
#'(defsubthing #:kind "attribute" #:link-target? #f name
. pre-flows)]))
@defstxclass[expr]{

View File

@ -104,13 +104,13 @@
(racket id)
#|(superscript (symbol->string 'suffix)) ...|# )]))
(define-syntax-rule (subdefthing . xs)
(define-syntax-rule (defsubthing . xs)
(nested #:style "leftindent" (defthing . xs)))
(provide defhere
ref
def
subdefthing)
defsubthing)
;; ----

View File

@ -145,6 +145,10 @@ variant patterns and their immediate @racket[#:with] clauses. Patterns
occurring within subexpressions of the syntax class (for example, on
the right-hand side of a @racket[#:fail-when] clause) are not
affected.
}
@specsubform[(code:line #:local-conventions (convention-rule ...))]
@specsubform[(code:line #:disable-colon-notation)]{
These options have the same meaning as in @racket[syntax-parse].
}
@ -236,16 +240,17 @@ specifying side conditions. The grammar for pattern directives
follows:
@racketgrammar[pattern-directive
(code:line #:declare pattern-id stxclass maybe-role)
(code:line #:declare pvar-id stxclass maybe-role)
(code:line #:post action-pattern)
(code:line #:and action-pattern)
(code:line #:with syntax-pattern expr)
(code:line #:with syntax-pattern stx-expr)
(code:line #:attr attr-arity-decl expr)
(code:line #:fail-when condition-expr message-expr)
(code:line #:fail-unless condition-expr message-expr)
(code:line #:when condition-expr)
(code:line #:do [def-or-expr ...])
(code:line #:undo [def-or-expr ...])]
(code:line #:undo [def-or-expr ...])
(code:line #:cut)]
@sub-kw-form[[#:declare pvar-id stxclass maybe-role]
#:grammar