Browse thread
camlp4 3.10: MLast.type_decl
-
Joel Reymont
-
Nicolas Pouillard
-
Joel Reymont
-
Nicolas Pouillard
-
Joel Reymont
- Nicolas Pouillard
-
Joel Reymont
-
Nicolas Pouillard
-
Joel Reymont
-
Nicolas Pouillard
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2007-04-30 (13:41) |
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