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