Re: [Caml-list] how (within camlp4 printer) can I traverse AST ?

[Gabriel Scherer <gabriel.scherer@gmail.com>]

Sig.Ast is the most general structure available, that you use if you
want to manipulate any kind of grammar for Camlp4. If you know the AST
you're manipulating corresponds to an OCaml program, you should use
the more specific Sig.Camlp4Ast signature (as advertized in the
documentation page for Sig.Ast, btw.). Registering a printer for
Sig.Camlp4Ast is done with Register.OcamlPrinter, and if you want to
see a full-blown example of printer, you just have too look at
camlp4/Camlp4/Printers/OCaml.ml in the ocaml source.

On Tue, Jan 31, 2012 at 10:26 PM, Matej Košík
<5764c029b688c1c0d24a2e97cd764f@gmail.com> wrote:
> Hello,
>
> I would like to write a (camlp4 pluggable) printer.
>
> My starting-point is this:
>
> http://brion.inria.fr/gallium/index.php/Setup_a_new_printer
>
> It was easy to figure out that "ast" arguments have type "Ast.sig_item"
> or "Ast.str_item" respectively which are both abstract types
> http://camlunity.ru/doc/camlp4-3.12/Camlp4.Sig.Ast.html
> so I cannot try to match them---I cannot use any of the constructors
> defined in:
>
> http://camlunity.ru/doc/camlp4-3.12/Camlp4.Sig.Camlp4Ast.html
>
> What is thus a proper way of traversing ASTs?
>
> --
> Caml-list mailing list.  Subscription management and archives:
> https://sympa-roc.inria.fr/wws/info/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>