From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.2 required=5.0 tests=AWL,HTML_MESSAGE autolearn=disabled version=3.1.3 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id AA0EBBBC1 for ; Wed, 9 Apr 2008 15:07:19 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnIHAJ5b/EfAXQIn/2dsb2JhbACCQDSqBw X-IronPort-AV: E=Sophos;i="4.25,629,1199660400"; d="scan'208,217";a="24798930" Received: from concorde.inria.fr ([192.93.2.39]) by mail4-smtp-sop.national.inria.fr with ESMTP; 09 Apr 2008 15:07:19 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m39D7FWu014247 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 9 Apr 2008 15:07:19 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgQCABdc/EfZkrEOfGdsb2JhbACCQDSOWQEBCwUCBwcWmm4 X-IronPort-AV: E=Sophos;i="4.25,629,1199660400"; d="scan'208,217";a="9387407" Received: from web27014.mail.ukl.yahoo.com ([217.146.177.14]) by mail2-smtp-roc.national.inria.fr with SMTP; 09 Apr 2008 15:07:18 +0200 Received: (qmail 71534 invoked by uid 60001); 9 Apr 2008 13:07:18 -0000 DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.fr; h=X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:MIME-Version:Content-Type:Message-ID; b=xskM9jlh5s1VILiymAazoUmP8+oCRe+AcMH40E0tewjuXN6kr2iJq1yAc1ZWfWr4hwQVUW0eC44fLgYZ/35k/l7+TQYH2E+k/OI4xj3vHlezFlBasvSB8Hl0trbtMDpOQlq3FudShwnhTBjCyzQ0ToimWzBoBTApovqclyZ7XwY=; X-YMail-OSG: __UdLGIVM1nrwhgBmVHN7j0UAz7x6ev45AkE_L1j9wF.hp7HLukv2E.bo.qtoR7SxfDy5xaXNUzTNZY.NSq2.CbpCYEjKOJt7y7dcsVHCkAuTDtEzW9POPM1i7g- Received: from [193.52.94.40] by web27014.mail.ukl.yahoo.com via HTTP; Wed, 09 Apr 2008 13:07:18 GMT X-Mailer: YahooMailRC/902.40 YahooMailWebService/0.7.185 Date: Wed, 9 Apr 2008 13:07:18 +0000 (GMT) From: Matthieu Wipliez Subject: Re : [Caml-list] Porting camlp4 stuff from 3.09 to 3.10: need help To: Caml List MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="0-616534882-1207746438=:71350" Message-ID: <243732.71350.qm@web27014.mail.ukl.yahoo.com> X-Miltered: at concorde with ID 47FCBF83.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; matthieu:01 camlp:01 afaik:01 syntax:01 camlp:01 syntax:01 stl:01 struct:01 matthieu:01 afaik:01 stl:01 struct:01 abstract:01 abstract:01 caml-list:01 X-Attachments: cset="utf-8" cset="utf-8" --0-616534882-1207746438=:71350 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable > =0A> AFAIK the list of predefined quotations is the same as for 3.09, but= =0A> maybe this page will help:=0A> =0A> http://brion.inria.fr/gallium/in= dex.php/Abstract_Syntax_Tree=0A=0AThis seems unlikely:=0A http://camltest.= inria.fr/pub/old_caml_site/camlp4/manual/manual010.html#toc39=0A http://br= ion.inria.fr/gallium/index.php/Abstract_Syntax_Tree=0A=0Athe following quot= ation was available in camlp4 3.09, but not in the 3.10 version:=0A <:str_= item< declare $list:stl$ end >>: declare.=0A=0A> =0A> > The mentioned line = 78 is:=0A> > =0A> > <:str_item< declare end >>=0A> > =0A> > It looks like= the "declare end" construct is not allowed any more. Is=0A> > there any eq= uivalent in 3.10, and is there a specific bit of=0A> > documentation about = this?=0A=0AMaybe it was removed because it was kind of redundant with other= constructions, for example:=0A module Declarations =3D struct ... end=0A = open Declarations=0A=0AI'd suggest you either use a module as I did above = to emulate the "declare" behavior, or that you declare everything at the to= p level (have a look at str_items in the Camlp4OCamlRevisedParser if you ne= ed inspiration).=0A=0AHope this helps,=0A=0AMatthieu=0A=0A=0A=0A _____= ________________________________________________________________________ = =0AEnvoyez avec Yahoo! Mail. Une boite mail plus intelligente http://mail.y= ahoo.fr --0-616534882-1207746438=:71350 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: quoted-printable
>
> AFAIK the list of predefined quotations = is the same as for 3.09, but
> maybe this page will help:
> >   http://brion.inria.fr/gallium/index.php/= Abstract_Syntax_Tree

This seems unlikely:
 = http://camltest.inria.fr/pub/old_caml_sit= e/camlp4/manual/manual010.html#toc39
  http://brion.inria.fr/gallium/index.php/Abstract_Syntax_Tree

the following quotation was available in camlp4 3.09, but not in= the 3.10 version:
  <:str_item< declare $list:stl$ end >>: decl= are.

>
> > The mentioned line 78 is:
> >
&= gt; >  <:str_item< declare end >>
> >
>= ; > It looks like the "declare end" construct is not allowed any more. I= s
> > there any equivalent in 3.10, and is there a specific bit of=
> > documentation about this?

Maybe it was removed becau= se it was kind of redundant with other constructions, for example:
 = ; module Declarations =3D struct ... end
  open Declarations
I'd suggest you either use a module as I did above to emulate the "declare= " behavior, or that you declare everything at the top level (have a look at= str_items in the Camlp4OCamlRevisedParser if you need inspiration).
Hope this helps,

Matthieu

=0A=0A=0A=0A
=0AEnvoy=C3=A9 avec Yahoo! Mail.
Une boite mail plus intelli= gente. --0-616534882-1207746438=:71350--