chiark
/
gitweb
/
~mdw
/
sod
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
cac85e0
)
doc/parsing.tex: Document `parsing' macro.
author
Mark Wooding
<mdw@distorted.org.uk>
Sun, 30 Aug 2015 09:58:38 +0000
(10:58 +0100)
committer
Mark Wooding
<mdw@distorted.org.uk>
Tue, 22 Sep 2015 10:27:41 +0000
(11:27 +0100)
doc/parsing.tex
patch
|
blob
|
blame
|
history
diff --git
a/doc/parsing.tex
b/doc/parsing.tex
index 2bf9105fe671f15ac9c5b0b25e1ccfc32a36c5a1..0d2a0ce68cee12b3e319cb2c5a77289a82989c66 100644
(file)
--- a/
doc/parsing.tex
+++ b/
doc/parsing.tex
@@
-465,6
+465,13
@@
file-location protocols.
{parse @<parser> @> @<result> @<success-flag> @<consumed-flag>}
\end{describe}
+\begin{describe}{mac}
+ {parser @<lambda-list>
+ @[[ @<declaration>^* @! @<doc-string> @]]
+ @<parser>
+ @> @<function>}
+\end{describe}
+
\begin{describe}{gf}{parser-at-eof-p @<context> @> @<form>}
\end{describe}