chiark / gitweb /
doc/parsing.tex: Document missing `:ignore-unconsumed' flag to `error'.
authorMark Wooding <mdw@distorted.org.uk>
Sun, 5 Jun 2016 22:08:08 +0000 (23:08 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sat, 22 Jul 2017 17:13:31 +0000 (18:13 +0100)
doc/parsing.tex

index 3170cf47ec0b9986cffcd53654c9de8f523d5d5f..20ade826aa4471bf4fa33714c641c06d10edefa3 100644 (file)
@@ -775,7 +775,9 @@ file-location protocols.
     {skip-until (@[[ :keep-end @<keep-end-flag> @]]) @<token-type>^*}
 \end{describe}
 
-\begin{describe}{parseform}{error () @<sub-parser> @<recover-parser>}
+\begin{describe}{parseform}
+    {error (@[[ :ignore-unconsumed @<flag> @]])                 \\ \ind
+      @<sub-parser> @<recover-parser>}
 \end{describe}
 
 \begin{describe}{fun}