Equivalent of Quotation.ExStr in new camlp4?

Equivalent of Quotation.ExStr in new camlp4?

[Harrison, John R]

[-- Attachment #1: Type: text/plain, Size: 279 bytes --]

In the old camlp4 one could set up a quotation parser to just apply a
string

transformation and thereafter parse with the usual OCaml parser, e.g.

 

  Quotation.add name (Quotation.ExStr expander)

 

What is the equivalent in the new camlp4?

 

John.

 


[-- Attachment #2: Type: text/html, Size: 2375 bytes --]

Re: [Caml-list] Equivalent of Quotation.ExStr in new camlp4?

[Gabriel Kerneis]

[-- Attachment #1: Type: text/plain, Size: 598 bytes --]

Le Tue, 24 Jul 2007 14:23:34 -0700, "Harrison, John R"
<john.r.harrison@intel.com> a écrit :
> In the old camlp4 one could set up a quotation parser to just apply a
> string
> transformation and thereafter parse with the usual OCaml parser, e.g.
>   Quotation.add name (Quotation.ExStr expander)
> What is the equivalent in the new camlp4?

In Ocsigen,
Quotation.add "xml" (Quotation.ExAst (xml_exp, xml_pat))
became
open Camlp4.PreCast ;
Syntax.Quotation.add "xml" Syntax.Quotation.DynAst.expr_tag
Parser.xml_exp

Maybe this can give you a clue ?

Regards,
-- 
Gabriel Kerneis

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 189 bytes --]

RE: [Caml-list] Equivalent of Quotation.ExStr in new camlp4?

[Harrison, John R]

| In Ocsigen,
| Quotation.add "xml" (Quotation.ExAst (xml_exp, xml_pat))
| became
| open Camlp4.PreCast ;
| Syntax.Quotation.add "xml" Syntax.Quotation.DynAst.expr_tag
| Parser.xml_exp
| 
| Maybe this can give you a clue ?

Maybe, but I was looking for the equivalent of Quotation.ExStr
rather than Quotation.ExAst, i.e. apply a string transform then
the usual OCaml parser rather than my own parser producing an
AST.

John.

Re: [Caml-list] Equivalent of Quotation.ExStr in new camlp4?

[Nicolas Pouillard]

Hello,

No ExStr is no more supported. But you can do it your self by calling
the parser on your string if you really don't want switch to an AST
based quotation expander.

Regards,

On 7/24/07, Harrison, John R <john.r.harrison@intel.com> wrote:
>
>
>
>
> In the old camlp4 one could set up a quotation parser to just apply a string
>
> transformation and thereafter parse with the usual OCaml parser, e.g.
>
>
>
>   Quotation.add name (Quotation.ExStr expander)
>
>
>
> What is the equivalent in the new camlp4?
>
>
>
> John.
>
-- 
Nicolas Pouillard

RE: [Caml-list] Equivalent of Quotation.ExStr in new camlp4?

[Harrison, John R]

| No ExStr is no more supported. But you can do it your self by calling
| the parser on your string if you really don't want switch to an AST
| based quotation expander.

OK, that's fine. But how do I do that? Concretely, this is what I had
before, so what should I have now?

  Quotation.add "" (Quotation.ExStr (fun x -> quotexpander));;

I don't mind in principle writing an AST-producing expander, but at the
moment the priority is to get my code working in 3.10 with minimal
expenditure of effort.

John.

Re: [Caml-list] Equivalent of Quotation.ExStr in new camlp4?

[Nicolas Pouillard]

On 7/25/07, Harrison, John R <john.r.harrison@intel.com> wrote:
> | No ExStr is no more supported. But you can do it your self by calling
> | the parser on your string if you really don't want switch to an AST
> | based quotation expander.
>
> OK, that's fine. But how do I do that? Concretely, this is what I had
> before, so what should I have now?
>
>   Quotation.add "" (Quotation.ExStr (fun x -> quotexpander));;
>
> I don't mind in principle writing an AST-producing expander, but at the
> moment the priority is to get my code working in 3.10 with minimal
> expenditure of effort.
>

You can instanciate an OCaml parser that way:

$ cat ex_str.mlmodule Caml =
  Camlp4OCamlParser.Make
    (Camlp4OCamlRevisedParser.Make
      (Camlp4.OCamlInitSyntax.Make(Ast)(Gram)(Quotation)));;

let quotexpander str =
  "[1; 2; 3]" (* ... do some real code on str *)

let patt_quotexpander loc _loc_name_opt str =
  Gram.parse_string Caml.patt loc (quotexpander str)

let expr_quotexpander loc _loc_name_opt str =
  Gram.parse_string Caml.expr loc (quotexpander str)

let str_item_quotexpander loc loc_name_opt str =
  <:str_item@loc< $exp: expr_quotexpander loc loc_name_opt str$ >>

let () =
  Syntax.Quotation.add "" Syntax.Quotation.DynAst.expr_tag expr_quotexpander;
  Syntax.Quotation.add "" Syntax.Quotation.DynAst.str_item_tag
str_item_quotexpander;
  Syntax.Quotation.add "" Syntax.Quotation.DynAst.patt_tag patt_quotexpander

$ ocamlc -pp camlp4of -I +camlp4 -c ex_str.ml
$ camlp4o ./ex_str.cmo -str '<<>>;;'

HTH

-- 
Nicolas Pouillard

RE: [Caml-list] Equivalent of Quotation.ExStr in new camlp4?

[Harrison, John R]

Trying your example in 3.10.0, I get the following:

| $ ocamlc -pp camlp4of -I +camlp4 -c ex_str.ml
| File "ex_str.ml", line 2, characters 2-24:
| Unbound module Camlp4OCamlParser.Make

I get a similar error in the toplevel even after #load "camlp4o.cma".
Do I need to load and/or open something else?

John.

-----Original Message-----
From: Nicolas Pouillard [mailto:nicolas.pouillard@gmail.com] 
Sent: Thursday, July 26, 2007 1:44 AM
To: Harrison, John R
Cc: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] Equivalent of Quotation.ExStr in new camlp4?

On 7/25/07, Harrison, John R <john.r.harrison@intel.com> wrote:
> | No ExStr is no more supported. But you can do it your self by
calling
> | the parser on your string if you really don't want switch to an AST
> | based quotation expander.
>
> OK, that's fine. But how do I do that? Concretely, this is what I had
> before, so what should I have now?
>
>   Quotation.add "" (Quotation.ExStr (fun x -> quotexpander));;
>
> I don't mind in principle writing an AST-producing expander, but at
the
> moment the priority is to get my code working in 3.10 with minimal
> expenditure of effort.
>

You can instanciate an OCaml parser that way:

$ cat ex_str.mlmodule Caml =
  Camlp4OCamlParser.Make
    (Camlp4OCamlRevisedParser.Make
      (Camlp4.OCamlInitSyntax.Make(Ast)(Gram)(Quotation)));;

let quotexpander str =
  "[1; 2; 3]" (* ... do some real code on str *)

let patt_quotexpander loc _loc_name_opt str =
  Gram.parse_string Caml.patt loc (quotexpander str)

let expr_quotexpander loc _loc_name_opt str =
  Gram.parse_string Caml.expr loc (quotexpander str)

let str_item_quotexpander loc loc_name_opt str =
  <:str_item@loc< $exp: expr_quotexpander loc loc_name_opt str$ >>

let () =
  Syntax.Quotation.add "" Syntax.Quotation.DynAst.expr_tag
expr_quotexpander;
  Syntax.Quotation.add "" Syntax.Quotation.DynAst.str_item_tag
str_item_quotexpander;
  Syntax.Quotation.add "" Syntax.Quotation.DynAst.patt_tag
patt_quotexpander

$ ocamlc -pp camlp4of -I +camlp4 -c ex_str.ml
$ camlp4o ./ex_str.cmo -str '<<>>;;'

HTH

-- 
Nicolas Pouillard

RE: [Caml-list] Equivalent of Quotation.ExStr in new camlp4?

[Nicolas Pouillard]

Sorry, I used ocamlbuild to use this example and show it without ;(

I forgot -I +camlp4/Camlp4Parsers

Excerpts from Harrison, John R's message of Thu Jul 26 18:49:19 +0200 2007:
> Trying your example in 3.10.0, I get the following:
> 
> | $ ocamlc -pp camlp4of -I +camlp4 -c ex_str.ml
> | File "ex_str.ml", line 2, characters 2-24:
> | Unbound module Camlp4OCamlParser.Make
> 
> I get a similar error in the toplevel even after #load "camlp4o.cma".
> Do I need to load and/or open something else?
> 
> John.
> 
> -----Original Message-----
> From: Nicolas Pouillard [mailto:nicolas.pouillard@gmail.com] 
> Sent: Thursday, July 26, 2007 1:44 AM
> To: Harrison, John R
> Cc: caml-list@yquem.inria.fr
> Subject: Re: [Caml-list] Equivalent of Quotation.ExStr in new camlp4?
> 
> On 7/25/07, Harrison, John R <john.r.harrison@intel.com> wrote:
> > | No ExStr is no more supported. But you can do it your self by
> calling
> > | the parser on your string if you really don't want switch to an AST
> > | based quotation expander.
> >
> > OK, that's fine. But how do I do that? Concretely, this is what I had
> > before, so what should I have now?
> >
> >   Quotation.add "" (Quotation.ExStr (fun x -> quotexpander));;
> >
> > I don't mind in principle writing an AST-producing expander, but at
> the
> > moment the priority is to get my code working in 3.10 with minimal
> > expenditure of effort.
> >
> 
> You can instanciate an OCaml parser that way:
> 
> $ cat ex_str.mlmodule Caml =
>   Camlp4OCamlParser.Make
>     (Camlp4OCamlRevisedParser.Make
>       (Camlp4.OCamlInitSyntax.Make(Ast)(Gram)(Quotation)));;
> 
> let quotexpander str =
>   "[1; 2; 3]" (* ... do some real code on str *)
> 
> let patt_quotexpander loc _loc_name_opt str =
>   Gram.parse_string Caml.patt loc (quotexpander str)
> 
> let expr_quotexpander loc _loc_name_opt str =
>   Gram.parse_string Caml.expr loc (quotexpander str)
> 
> let str_item_quotexpander loc loc_name_opt str =
>   <:str_item@loc< $exp: expr_quotexpander loc loc_name_opt str$ >>
> 
> let () =
>   Syntax.Quotation.add "" Syntax.Quotation.DynAst.expr_tag
> expr_quotexpander;
>   Syntax.Quotation.add "" Syntax.Quotation.DynAst.str_item_tag
> str_item_quotexpander;
>   Syntax.Quotation.add "" Syntax.Quotation.DynAst.patt_tag
> patt_quotexpander
> 
> $ ocamlc -pp camlp4of -I +camlp4 -c ex_str.ml
> $ camlp4o ./ex_str.cmo -str '<<>>;;'
> 
> HTH
> 
> -- 
> Nicolas Pouillard

-- 
Nicolas Pouillard aka Ertai

RE: [Caml-list] Equivalent of Quotation.ExStr in new camlp4?

[Harrison, John R]

Thanks; unfortunately in the gap between your two messages I really
needed
to get my code running, so I just took the path of least resistance and
switched to camlp5. But I'll re-examine this in the future when I have
more
time.

John.

-----Original Message-----
From: Nicolas Pouillard [mailto:nicolas.pouillard@gmail.com] 
Sent: Thursday, August 09, 2007 11:31 AM
To: Harrison, John R
Cc: O'Caml Mailing List
Subject: RE: [Caml-list] Equivalent of Quotation.ExStr in new camlp4?

Sorry, I used ocamlbuild to use this example and show it without ;(

I forgot -I +camlp4/Camlp4Parsers

Excerpts from Harrison, John R's message of Thu Jul 26 18:49:19 +0200
2007:
> Trying your example in 3.10.0, I get the following:
> 
> | $ ocamlc -pp camlp4of -I +camlp4 -c ex_str.ml
> | File "ex_str.ml", line 2, characters 2-24:
> | Unbound module Camlp4OCamlParser.Make
> 
> I get a similar error in the toplevel even after #load "camlp4o.cma".
> Do I need to load and/or open something else?
> 
> John.
> 
> -----Original Message-----
> From: Nicolas Pouillard [mailto:nicolas.pouillard@gmail.com] 
> Sent: Thursday, July 26, 2007 1:44 AM
> To: Harrison, John R
> Cc: caml-list@yquem.inria.fr
> Subject: Re: [Caml-list] Equivalent of Quotation.ExStr in new camlp4?
> 
> On 7/25/07, Harrison, John R <john.r.harrison@intel.com> wrote:
> > | No ExStr is no more supported. But you can do it your self by
> calling
> > | the parser on your string if you really don't want switch to an
AST
> > | based quotation expander.
> >
> > OK, that's fine. But how do I do that? Concretely, this is what I
had
> > before, so what should I have now?
> >
> >   Quotation.add "" (Quotation.ExStr (fun x -> quotexpander));;
> >
> > I don't mind in principle writing an AST-producing expander, but at
> the
> > moment the priority is to get my code working in 3.10 with minimal
> > expenditure of effort.
> >
> 
> You can instanciate an OCaml parser that way:
> 
> $ cat ex_str.mlmodule Caml =
>   Camlp4OCamlParser.Make
>     (Camlp4OCamlRevisedParser.Make
>       (Camlp4.OCamlInitSyntax.Make(Ast)(Gram)(Quotation)));;
> 
> let quotexpander str =
>   "[1; 2; 3]" (* ... do some real code on str *)
> 
> let patt_quotexpander loc _loc_name_opt str =
>   Gram.parse_string Caml.patt loc (quotexpander str)
> 
> let expr_quotexpander loc _loc_name_opt str =
>   Gram.parse_string Caml.expr loc (quotexpander str)
> 
> let str_item_quotexpander loc loc_name_opt str =
>   <:str_item@loc< $exp: expr_quotexpander loc loc_name_opt str$ >>
> 
> let () =
>   Syntax.Quotation.add "" Syntax.Quotation.DynAst.expr_tag
> expr_quotexpander;
>   Syntax.Quotation.add "" Syntax.Quotation.DynAst.str_item_tag
> str_item_quotexpander;
>   Syntax.Quotation.add "" Syntax.Quotation.DynAst.patt_tag
> patt_quotexpander
> 
> $ ocamlc -pp camlp4of -I +camlp4 -c ex_str.ml
> $ camlp4o ./ex_str.cmo -str '<<>>;;'
> 
> HTH
> 
> -- 
> Nicolas Pouillard

-- 
Nicolas Pouillard aka Ertai