New Camlp4 questions

New Camlp4 questions

[Dmitry Bely]

Still trying to convert IoXML to the new Camlp4 syntax. What is an
equivalent for

Pcaml.warning.val loc "Warning: IoXML not implemented for this type";

and

value type_declaration : Grammar.Entry.e 'a =
  Obj.magic (Grammar.Entry.find Pcaml.str_item "type_declaration")
;

DELETE_RULE Pcaml.str_item: "type"; LIST1 type_declaration SEP "and" END;
DELETE_RULE Pcaml.sig_item: "type"; LIST1 type_declaration SEP "and" END;

EXTEND
  Pcaml.str_item:
    [ [ "type"; LIDENT "nogen"; tdl = LIST1 type_declaration SEP "and" ->
          <:str_item< type $list:tdl$ >>
      | "type"; tdl = LIST1 type_declaration SEP "and" ->
          let sil = gen_ioxml_impl loc tdl in
          let sil =
            if notyp.val then sil
            else [<:str_item< type $list:tdl$ >> :: sil]
          in
          <:str_item< declare $list:sil$ end >> ] ]
  ;
[...]
END;

How to write value type_declaration? I cannot use Gram.Entry.find as
it is now commented out together with the whole Gram.Find module. Why?

- Dmitry Bely

Re: [Caml-list] New Camlp4 questions

[Nicolas Pouillard]

On 6/7/07, Dmitry Bely <dmitry.bely@gmail.com> wrote:
> Still trying to convert IoXML to the new Camlp4 syntax. What is an
> equivalent for
>
> Pcaml.warning.val loc "Warning: IoXML not implemented for this type";

In the last version it's:

open Camlp4.PreCast;;

Syntax.print_warning loc "...."

[...]

> How to write value type_declaration? I cannot use Gram.Entry.find as
> it is now commented out together with the whole Gram.Find module. Why?

Look at the grammar the type_declaration entry is exported now.

All the best,

-- 
Nicolas Pouillard