camlp4 3.10: MLast.type_decl

camlp4 3.10: MLast.type_decl

[Joel Reymont]

What magic flags do I need to get hold of MLast.type_decl?

This doesn't seem to do it:

ocamlc -c -I +camlp4 -pp camlp4of -for-pack Sexplib pa_sexp_conv.mli
File "pa_sexp_conv.mli", line 38, characters 8-18:
Unbound type constructor MLast.type_decl

	Thanks, Joel

--
http://wagerlabs.com/

Re: [Caml-list] camlp4 3.10: MLast.type_decl

[Nicolas Pouillard]

On 4/30/07, Joel Reymont <joelr1@gmail.com> wrote:
> What magic flags do I need to get hold of MLast.type_decl?
>
> This doesn't seem to do it:
>
> ocamlc -c -I +camlp4 -pp camlp4of -for-pack Sexplib pa_sexp_conv.mli
> File "pa_sexp_conv.mli", line 38, characters 8-18:
> Unbound type constructor MLast.type_decl

MLast is the old module that is now replaced by Camlp4.PreCast.Ast

In fact pa_sexp_conv.ml is not yet up to date for OCaml 3.10.

-- 
Nicolas Pouillard

Re: [Caml-list] camlp4 3.10: MLast.type_decl

[Joel Reymont]

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.

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?

	Thanks, Joel

--
http://wagerlabs.com/

Re: [Caml-list] camlp4 3.10: MLast.type_decl

[Nicolas Pouillard]

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

Re: [Caml-list] camlp4 3.10: MLast.type_decl

[Joel Reymont]

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/

Re: [Caml-list] camlp4 3.10: MLast.type_decl

[Nicolas Pouillard]

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