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:
>
> On Apr 30, 2007, at 2:08 PM, Nicolas Pouillard wrote:
>
> > Look at camlp4/Camlp4/Camlp4Ast.partial.ml for the AST.
> >
> > camlp4/Camlp4/Sig.ml contains almost all signatures.
>
> I understand the "give a man a fish" approach and much prefer to be
> taught fishing.
>
> Next question... Is this the right translation?
>
> (* Old *)
>
> val add_generator :
>    string ->
>    (MLast.type_decl -> (MLast.patt * MLast.expr) list *
> MLast.type_decl list)
>    -> unit
>
> (* New *)
>
> val add_generator :
>    string ->
>    (ctyp -> (patt * expr) list * ctyp list)
>    -> unit
>

Seems good.

-- 
Nicolas Pouillard