suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

minor fix to Redex docs

Browse Source
This commit is contained in:
Matthew Flatt 2013-09-29 17:05:46 -04:00
parent 6d4ff30909
commit 214aba2930
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/redex-pkgs/redex-doc/redex/scribblings/ref.scrbl
View File

@ -665,7 +665,8 @@ produce variables that are always distinct.
@declare-exporting[redex/reduction-semantics redex] @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-def (non-terminal-name ...+ ::= @#,ttpattern ...+) ([non-terminal-def (non-terminal-name ...+ ::= @#,ttpattern ...+)
(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. 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-def (non-terminal-name ...+ ::= @#,ttpattern ...+) ([non-terminal-def (non-terminal-name ...+ ::= @#,ttpattern ...+)
(non-terminal-name @#,ttpattern ...+) (non-terminal-name @#,ttpattern ...+)