camlp4: str_item quotations for normal syntax

camlp4: str_item quotations for normal syntax

[Hendrik Tews]

Hi,

I am trying to use (anti-) quotations for the normal ocaml syntax
and run into the following problems:

1. when pattern matching over str_item, what's the antiquotation
   to use to get the list of all str_item's in a structure or in
   a compilation unit?

   One can use Ast.list_of_str_item, for instance

    | <:str_item@loc< module $uid:mname$ = struct $items$ end >> -> 
           .... (Ast.list_of_str_item items)

   but what's the antiquotation for directly getting the list?

   I found str_items in Camlp4OCamlRevisedParser, and tried

    (match ast with
       | <:str_items< $list:tops$ >> ->
    	 Printf.printf "%s has %d top level decls\n"
    	   (opt_string input_file) (List.length tops));

   but there is no quotation expander for str_items. 

   Further, str_items appears in module_expr but not in implem or
   top_phrase. Why not?

2. Ast.list_of_str_item is defined but never used, right? I am
   guessing that there is a line missing in
   Camlp4QuotationCommon.ml, similar to the one with
   Ast.stSem_of_list. Right?

3. The str_item quotations for the ocaml syntax seem to produce
   always Ast.StSem(...,..., Ast.StNil...), for instance

    | <:str_item@loc< type $lid:name$ = $lid:oname$ >> ->

   gives

      | Ast.StSem (loc,
          (Ast.StTyp (_,
             (Ast.TyDcl (_, name, [], (Ast.TyId (_, (Ast.IdLid (_, oname)))),
                [])))),
          (Ast.StNil _)) ->

   What do I have to write in order to get just 

      | Ast.StTyp (loc,
          (Ast.TyDcl (_, name, [], (Ast.TyId (_, (Ast.IdLid (_, oname)))),
             [])))
          ->

   as I get with the revised qotations?


4. What is the quotation for _just_ getting Ast.StSem(_,_,_) for
   instance for doing

   List.iter (function
               | Ast.StSem(_,_,_) -> assert false
               | .....
      ) (Ast.list_of_str_item ....)


5. What is Register.OCamlPreCastPrinter good for?

6. I would be interested in contributing for a version of
   http://brion.inria.fr/gallium/index.php/Abstract_Syntax_Tree
   for ocaml syntax. 

   Nicolas, Matthieu: What would you prefer as best structure? A
   separate page with lots of duplication or one page for ocaml
   and revised syntax, possibly differentiating things with
   color? I tend to the latter.


Bye,

Hendrik

Re: [Caml-list] camlp4: str_item quotations for normal syntax

[Nicolas Pouillard]

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

Excerpts from Hendrik Tews's message of Mon Mar 31 13:27:27 +0200 2008:
> Hi,
> 
> I am trying to use (anti-) quotations for the normal ocaml syntax
> and run into the following problems:
> 
> 1. when pattern matching over str_item, what's the antiquotation
>    to use to get the list of all str_item's in a structure or in
>    a compilation unit?
> 
>    One can use Ast.list_of_str_item, for instance
> 
>     | <:str_item@loc< module $uid:mname$ = struct $items$ end >> -> 
>            .... (Ast.list_of_str_item items)
> 
>    but what's the antiquotation for directly getting the list?

One  no  longer  have  it. Indeed the representation is no longer a list but a
tree  using  binary  nodes  like  ';;'.  In  expression  one  can use the list
antiquotation  ($list:...$)  but that's a sugar for calling a function, such a
sugar is not really feasible in patterns.

>    I found str_items in Camlp4OCamlRevisedParser, and tried
> 
>     (match ast with
>        | <:str_items< $list:tops$ >> ->
>          Printf.printf "%s has %d top level decls\n"
>            (opt_string input_file) (List.length tops));
> 
>    but there is no quotation expander for str_items. 
> 
>    Further, str_items appears in module_expr but not in implem or
>    top_phrase. Why not?

Hum  no  need for str_item*s* since str_item do the job with it's ';;' (or ';'
in revised) binary node.

> 2. Ast.list_of_str_item is defined but never used, right? I am
>    guessing that there is a line missing in
>    Camlp4QuotationCommon.ml, similar to the one with
>    Ast.stSem_of_list. Right?

No because one cannot inject code in patterns.

> 3. The str_item quotations for the ocaml syntax seem to produce
>    always Ast.StSem(...,..., Ast.StNil...), for instance
> 
>     | <:str_item@loc< type $lid:name$ = $lid:oname$ >> ->
> 
>    gives
> 
>       | Ast.StSem (loc,
>           (Ast.StTyp (_,
>              (Ast.TyDcl (_, name, [], (Ast.TyId (_, (Ast.IdLid (_, oname)))),
>                 [])))),
>           (Ast.StNil _)) ->
> 
>    What do I have to write in order to get just 
> 
>       | Ast.StTyp (loc,
>           (Ast.TyDcl (_, name, [], (Ast.TyId (_, (Ast.IdLid (_, oname)))),
>              [])))
>           ->
> 
>    as I get with the revised qotations?

That's a bug due to an ambiguity in the original grammar since the ';;' is optional.

> 4. What is the quotation for _just_ getting Ast.StSem(_,_,_) for
>    instance for doing
> 
>    List.iter (function
>                | Ast.StSem(_,_,_) -> assert false
>                | .....
>       ) (Ast.list_of_str_item ....)

It  should  be  <:str_item<  $_$ ;; $_$ >>, but perhaps the bug above insert a
useless nil node :(

> 5. What is Register.OCamlPreCastPrinter good for?

Perhaps  not  that useful... It allows to register an existing printer that is
really  tied  to  the  PreCast  world,  it  doesn't  force you to provide some
abstract functor.

> 6. I would be interested in contributing for a version of
>    http://brion.inria.fr/gallium/index.php/Abstract_Syntax_Tree
>    for ocaml syntax. 

Great!

>    Nicolas, Matthieu: What would you prefer as best structure? A
>    separate page with lots of duplication or one page for ocaml
>    and revised syntax, possibly differentiating things with
>    color? I tend to the latter.

The latter seems better.

-- 
Nicolas Pouillard aka Ertai

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