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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id DFF2CBC58 for ; Mon, 11 Oct 2010 15:50:12 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqsBAKuyskzAbSoIe2dsb2JhbACDHpByjXwVAQEWIgQerWCSFIEigzJ0BIpB X-IronPort-AV: E=Sophos;i="4.57,314,1283724000"; d="scan'208";a="73145335" Received: from einhorn.in-berlin.de ([192.109.42.8]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 11 Oct 2010 15:50:11 +0200 X-Envelope-From: oliver@first.in-berlin.de X-Envelope-To: Received: from siouxsie (e178004055.adsl.alicedsl.de [85.178.4.55]) (authenticated bits=0) by einhorn.in-berlin.de (8.13.6/8.13.6/Debian-1) with ESMTP id o9BDoAcH011867 for ; Mon, 11 Oct 2010 15:50:10 +0200 Received: by siouxsie (Postfix, from userid 1000) id E973D3758; Mon, 11 Oct 2010 15:50:09 +0200 (CEST) Date: Mon, 11 Oct 2010 15:50:09 +0200 From: oliver@first.in-berlin.de To: caml-list@inria.fr Subject: Re: [Caml-list] my own exceptions from ocamlyacc? Message-ID: <20101011135009.GB6256@first.in-berlin.de> References: <20101011102249.GA3262@first.in-berlin.de> <20101011145529.8f6dec2f.basile@starynkevitch.net> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: <20101011145529.8f6dec2f.basile@starynkevitch.net> User-Agent: Mutt/1.5.20 (2009-06-14) X-Scanned-By: MIMEDefang_at_IN-Berlin_e.V. on 192.109.42.8 X-Spam: no; 0.00; in-berlin:01 ocamlyacc:01 0200,:01 basile:01 in-berlin:01 ocamlyacc:01 parser:01 grammars:01 compilation:01 wrote:01 wrote:01 oliver:01 oliver:01 caml-list:01 exceptions:01 On Mon, Oct 11, 2010 at 02:55:29PM +0200, 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. > > > Maybe menhir is better in that respect (I don't know). Did you try it? > http://gallium.inria.fr/~fpottier/menhir/ [...] Hmhh, a while ago I tried around with menhir, but did not really used it. I have that in mind for cases, when ocamlyacc would become too annoying, but at least at the moment I'm fine with ocamlyacc. I thought menhir is necessary for more complex grammars; don't know if it helps me here. As this is used for a private project and I have many things that take my attention, I would like to only change to other tools, if necessary. Maybe the separate compilation unit approach would be easier in limited time. But thanks for the hint. Ciao, Oliver