From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <dmitry.bely@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: *
X-Spam-Status: No, score=1.0 required=5.0 tests=AWL,SPF_NEUTRAL 
	autolearn=disabled version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38])
	by yquem.inria.fr (Postfix) with ESMTP id 031E0BC0A
	for <caml-list@yquem.inria.fr>; Thu,  7 Jun 2007 11:54:12 +0200 (CEST)
Received: from nz-out-0506.google.com (nz-out-0506.google.com [64.233.162.229])
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l579sBc6025572
	for <caml-list@inria.fr>; Thu, 7 Jun 2007 11:54:11 +0200
Received: by nz-out-0506.google.com with SMTP id s18so411489nze
        for <caml-list@inria.fr>; Thu, 07 Jun 2007 02:54:10 -0700 (PDT)
DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed;
        d=gmail.com; s=beta;
        h=domainkey-signature:received:received:message-id:date:from:to:subject:mime-version:content-type:content-transfer-encoding:content-disposition;
        b=eOJBn/bZdF689fVPsDCkts7EeTk2YvJpI4WJ06kqQrICQ+R2q4PR4PRqd6N3DzPg9KaDVlazTG1I/iDIcrtv0H203u9+9+MpoygeKD1J6yAMD5JcH16lGH2Z6ewEyyqvSAlcODTOPuzw8b0xYwThAfT7y6JeAfZK/I34uIF6q6w=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=beta;
        h=received:message-id:date:from:to:subject:mime-version:content-type:content-transfer-encoding:content-disposition;
        b=FPLYsc09YNcT/m1mGLoiAKD2ruA9rSpVpxd6ZZKmTEMnKowTxcbgZRGLhjJg3P09VYiNfmNozrNhvG+XC4/nJ1IEj8NUV+maKHBE0trSxvp8FJ/IKCRnPFOjnX9TaVNJTbGmPK9CTvDuzwJY9iitwEWI1XzN2Q9gmXm1+rcTX7E=
Received: by 10.114.24.1 with SMTP id 1mr1355799wax.1181210049553;
        Thu, 07 Jun 2007 02:54:09 -0700 (PDT)
Received: by 10.114.124.20 with HTTP; Thu, 7 Jun 2007 02:54:09 -0700 (PDT)
Message-ID: <90823c940706070254lee28346w3471f9a43561b1ba@mail.gmail.com>
Date: Thu, 7 Jun 2007 13:54:09 +0400
From: "Dmitry Bely" <dmitry.bely@gmail.com>
To: "Caml List" <caml-list@inria.fr>
Subject: New Camlp4 questions
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
X-j-chkmail-Score: MSGID : 4667D5C3.000 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1
X-Miltered: at discorde with ID 4667D5C3.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; camlp:01 ioxml:01 camlp:01 syntax:01 pcaml:01 val:01 ioxml:01 pcaml:01 sig:01 lident:01 impl:01 val:01 sil:98 sil:98 dmitry:01 

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