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

	Thanks, Joel

--
http://wagerlabs.com/