From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id C54D8BBAF for ; Mon, 11 Oct 2010 15:24:18 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmcBAAutskxKfVI0imdsb2JhbACiBQgVAQELCQwHDwUfo2KJSoIYhi4uiFYBAQMFhUMEikGDA2E X-IronPort-AV: E=Sophos;i="4.57,314,1283724000"; d="asc'?scan'208";a="80587904" Received: from mail-ww0-f52.google.com ([74.125.82.52]) by mail1-smtp-roc.national.inria.fr with ESMTP; 11 Oct 2010 15:24:18 +0200 Received: by wwi18 with SMTP id 18so2709410wwi.9 for ; Mon, 11 Oct 2010 06:24:18 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from :user-agent:mime-version:to:cc:subject:references:in-reply-to :x-enigmail-version:content-type; bh=ynZAGMRNzmso1KtXvimlTBBJ/XUmbR/vOtEnAhUaneQ=; b=DSace2AvoGgZfFcrGnhBRjAzf8XWE7f2hwPQ+EpdRxkvamhUpxLjmxdtO+5sLjiPpM CWaJ7tig1anHcEYjdYrcVP61a7EQ3gHxj/kklIy9bmJzM2xHwi8XGnLH8E7uKOc7BgGS DNLl8NTaroCJon2qWVEVA8ih2ZCjf4A3Mc84M= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:user-agent:mime-version:to:cc:subject :references:in-reply-to:x-enigmail-version:content-type; b=TL+5UT4IxgGa0a+6JuJ/HWSYYMriA3KMblRyd00hnq+Y6759T76fnfyLAQMZmwlKW8 Au1z/sHDmt8nVWrIR/sdE9xGLgm+FirKF3u/AiJzVKit51nlGXJ9rzRqHcgH5NJRIOBN NbPoS9lKiaF85bsAdsaagKF8apohmHYYjaKi4= Received: by 10.227.157.147 with SMTP id b19mr5759092wbx.49.1286803458034; Mon, 11 Oct 2010 06:24:18 -0700 (PDT) Received: from [129.215.90.3] (dhcp-90-003.inf.ed.ac.uk [129.215.90.3]) by mx.google.com with ESMTPS id g9sm6044756wbh.1.2010.10.11.06.24.15 (version=SSLv3 cipher=RC4-MD5); Mon, 11 Oct 2010 06:24:16 -0700 (PDT) Message-ID: <4CB31060.9000706@gmail.com> Date: Mon, 11 Oct 2010 14:25:52 +0100 From: Chris Yocum User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.9) Gecko/20100922 Thunderbird/3.1.4 MIME-Version: 1.0 To: Basile Starynkevitch Cc: oliver@first.in-berlin.de, caml-list@inria.fr Subject: Re: [Caml-list] my own exceptions from ocamlyacc? References: <20101011102249.GA3262@first.in-berlin.de> <20101011145529.8f6dec2f.basile@starynkevitch.net> In-Reply-To: <20101011145529.8f6dec2f.basile@starynkevitch.net> X-Enigmail-Version: 1.1.2 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="------------enig69CE37609138F8CC02197B6D" X-Spam: no; 0.00; ocamlyacc:01 parser:01 parser:01 lexer:01 basile:01 in-berlin:01 ocamlyacc:01 cheers:01 wrote:01 wrote:01 oliver:01 caml-list:01 exceptions:01 fpottier:02 module:03 X-Attachments: type="application/pgp-signature" name="signature.asc" name="signature.asc" This is an OpenPGP/MIME signed message (RFC 2440 and 3156) --------------enig69CE37609138F8CC02197B6D Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable I had a similar problem. The solution was to create another module which was opened inside the Parser module. This way you can add your own interface on top of the Parser/Lexer module. I hope this helps. Chris On 11/10/10 13:55, Basile Starynkevitch wrote: > On Mon, 11 Oct 2010 12:22:49 +0200 > oliver@first.in-berlin.de wrote: >> >> the header-section from ocamlyacc appears in the >> *.ml file of the parser, but not in the mli-file. >=20 >=20 > Maybe menhir is better in that respect (I don't know). Did you try it? > http://gallium.inria.fr/~fpottier/menhir/ >=20 >=20 > Cheers. --------------enig69CE37609138F8CC02197B6D Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAkyzEGAACgkQTsMNflSecIateQCgnNOK3fp/PCt2PkMPr7607pbP LQ0AoMuN3cQg++99ppoQPL/f5C4UqM2p =P5p2 -----END PGP SIGNATURE----- --------------enig69CE37609138F8CC02197B6D--