Version française
Home     About     Download     Resources     Contact us    
Browse thread
camlp4 3.10: MLast.type_decl
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Nicolas Pouillard <nicolas.pouillard@g...>
Subject: Re: [Caml-list] camlp4 3.10: MLast.type_decl
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