[Caml-list] debugging ocamlyacc grammars

[Caml-list] debugging ocamlyacc grammars

[Rafael 'Dido' Sevilla]

I'm attempting to debug a grammar for ocamlyacc i'm in the process of
writing, and am wondering if there's a feature there similar to what
happens when you #define YYDEBUG 1 and set yydebug = 1 with Bison or
Yacc, giving a dump of the parser's state, stack, and read tokens, which
is invaluable for debugging.

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Re: [Caml-list] debugging ocamlyacc grammars

[James Leifer]

"Rafael 'Dido' Sevilla" <dido@imperium.ph> writes:

> I'm attempting to debug a grammar for ocamlyacc i'm in the process of
> writing, and am wondering if there's a feature there similar to what
> happens when you #define YYDEBUG 1 and set yydebug = 1 with Bison or
> Yacc, giving a dump of the parser's state, stack, and read tokens, which
> is invaluable for debugging.

Do you mean the parser.output file produced when you use the -v
option?

    ocamlyacc -v foo.mly

-James

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Re: [Caml-list] debugging ocamlyacc grammars

[Rafael 'Dido' Sevilla]

On Mon, Sep 29, 2003 at 03:27:24PM +0200, James Leifer wrote:
> Do you mean the parser.output file produced when you use the -v
> option?
> 
>     ocamlyacc -v foo.mly
> 

No.  I mean that once the parser is *already running*, you get a
complete trace of the entire action of the parser for some particular
input.  What states it enters as it reads particular input tokens, the
contents of its stack as it enters and leaves states, and so on.  This
is possible with Bison and Yacc, and I've used it before to debug
grammars written with those tools.  I read nothing in Ocamlyacc's (very
meager) documentation that indicates how one should do this or if it is
even possible at all.

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Re: [Caml-list] debugging ocamlyacc grammars

[Kenneth Knowles]

>From the manual:

"At run-time, the ocamlyacc-generated parser can be debugged by setting the p
option in the OCAMLRUNPARAM environment variable (see section 10.2). This causes
the pushdown automaton executing the parser to print a trace of its action
(tokens shifted, rules reduced, etc). The trace mentions rule numbers and state
numbers that can be interpreted by looking at the file grammar.output generated
by ocamlyacc -v."

-Kenn

On Tue, Sep 30, 2003 at 12:45:14PM +0800, Rafael 'Dido' Sevilla wrote:
> On Mon, Sep 29, 2003 at 03:27:24PM +0200, James Leifer wrote:
> > Do you mean the parser.output file produced when you use the -v
> > option?
> > 
> >     ocamlyacc -v foo.mly
> > 
> 
> No.  I mean that once the parser is *already running*, you get a
> complete trace of the entire action of the parser for some particular
> input.  What states it enters as it reads particular input tokens, the
> contents of its stack as it enters and leaves states, and so on.  This
> is possible with Bison and Yacc, and I've used it before to debug
> grammars written with those tools.  I read nothing in Ocamlyacc's (very
> meager) documentation that indicates how one should do this or if it is
> even possible at all.
> 
> -------------------
> To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
> Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners