From 214aba29305e655412f9d2bb910f59f8aa12a17f Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sun, 29 Sep 2013 17:05:46 -0400 Subject: [PATCH] minor fix to Redex docs --- pkgs/redex-pkgs/redex-doc/redex/scribblings/ref.scrbl | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/pkgs/redex-pkgs/redex-doc/redex/scribblings/ref.scrbl b/pkgs/redex-pkgs/redex-doc/redex/scribblings/ref.scrbl index 78e3106e91..4b7249e2f6 100644 --- a/pkgs/redex-pkgs/redex-doc/redex/scribblings/ref.scrbl +++ b/pkgs/redex-pkgs/redex-doc/redex/scribblings/ref.scrbl @@ -665,7 +665,8 @@ produce variables that are always distinct. @declare-exporting[redex/reduction-semantics redex] -@defform/subs[(define-language lang-name +@defform/subs[#:literals (::=) + (define-language lang-name non-terminal-def ...) ([non-terminal-def (non-terminal-name ...+ ::= @#,ttpattern ...+) (non-terminal-name @#,ttpattern ...+) @@ -704,7 +705,8 @@ A non-terminal's names and productions may be separated by the keyword @racket[: Use of the @racket[::=] keyword outside a language definition is a syntax error. } -@defform/subs[(define-extended-language extended-lang base-lang +@defform/subs[#:literals (::=) + (define-extended-language extended-lang base-lang non-terminal-def ...) ([non-terminal-def (non-terminal-name ...+ ::= @#,ttpattern ...+) (non-terminal-name @#,ttpattern ...+)