~mdw
/
sod
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
342ff69
)
doc/syntax.tex: Give the REASON in a `code' definition a name.
author
Mark Wooding
<mdw@distorted.org.uk>
Thu, 22 Aug 2019 11:54:50 +0000
(12:54 +0100)
committer
Mark Wooding
<mdw@distorted.org.uk>
Thu, 22 Aug 2019 12:12:02 +0000
(13:12 +0100)
doc/syntax.tex
patch
|
blob
|
blame
|
history
diff --git
a/doc/syntax.tex
b/doc/syntax.tex
index
c50608c
..
0b415d2
100644
(file)
--- a/
doc/syntax.tex
+++ b/
doc/syntax.tex
@@
-670,9
+670,11
@@
declarations instead.
\begin{grammar}
<code-definition> ::=
- "code" <
identifier
> ":" <item-name> @[<constraints>@]
+ "code" <
reason
> ":" <item-name> @[<constraints>@]
"{" <c-fragment> "}"
+<reason> ::= <identifier>
+
<constraints> ::= "[" <list>$[\mbox{@<constraint>}]$ "]"
<constraint> ::= @<item-name>^+