On 4/30/07, Joel Reymont <joelr1@gmail.com> wrote:
> Nicolas,
>
> On Apr 30, 2007, at 1:47 PM, Nicolas Pouillard wrote:
>
> > MLast is the old module that is now replaced by Camlp4.PreCast.Ast
>
> Just what I've been looking for.
>
> module Ast = Struct.Camlp4Ast.Make Loc;
>
> > In fact pa_sexp_conv.ml is not yet up to date for OCaml 3.10.
>
> I'm trying to update it as a way of learning camlp4.

Hum good idea.

> The issue is with the following...
>
> val add_generator :
>    string ->
>    (MLast.type_decl -> (MLast.patt * MLast.expr) list *
> MLast.type_decl list)
>
> I'm looking at various *Ast* files under Camlp4/Struct/ but I can't
> figure out the types for the above. Could you point me in the right
> direction?

Look at camlp4/Camlp4/Camlp4Ast.partial.ml for the AST.

camlp4/Camlp4/Sig.ml contains almost all signatures.

Here is a traduction of a similar extension:
http://gallium.inria.fr/~pouillar/pub/camlp4/rosetta/pa_json_static/

-- 
Nicolas Pouillard