diff options
Diffstat (limited to 'stdlib/parsing.mli')
| -rw-r--r-- | stdlib/parsing.mli | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/stdlib/parsing.mli b/stdlib/parsing.mli index c6dc8e321..c323922cf 100644 --- a/stdlib/parsing.mli +++ b/stdlib/parsing.mli @@ -59,6 +59,13 @@ exception Parse_error Can also be raised from the action part of a grammar rule, to initiate error recovery. *) +val set_trace: bool -> bool +(** Control debugging support for [ocamlyacc]-generated parsers. + After [Parsing.set_trace true], the pushdown automaton that + executes the parsers prints a trace of its actions (reading a token, + shifting a state, reducing by a rule) on standard output. + [Parsing.set_trace false] turns this debugging trace off. + The boolean returned is the previous state of the trace flag. *) (**/**) |