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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id C7A0BBBAF for ; Mon, 11 Oct 2010 22:33:36 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AswGAJcRs0xiiloiamdsb2JhbACDH5BCjkINCQoHDwIksS48ghiGbokEAQQEAYEdgzJ0BIRSiHI X-IronPort-AV: E=Sophos;i="4.57,316,1283724000"; d="scan'208";a="72315126" Received: from nm24-vm0.bullet.mail.ne1.yahoo.com ([98.138.90.34]) by mail2-smtp-roc.national.inria.fr with SMTP; 11 Oct 2010 22:33:35 +0200 Received: from [98.138.90.53] by nm24.bullet.mail.ne1.yahoo.com with NNFMP; 11 Oct 2010 20:33:34 -0000 Received: from [98.138.89.240] by tm6.bullet.mail.ne1.yahoo.com with NNFMP; 11 Oct 2010 20:33:34 -0000 Received: from [127.0.0.1] by omp1013.mail.ne1.yahoo.com with NNFMP; 11 Oct 2010 20:33:34 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 465642.72906.bm@omp1013.mail.ne1.yahoo.com Received: (qmail 26914 invoked by uid 60001); 11 Oct 2010 20:33:34 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1286829214; bh=tnVrB7Xt9FjB5h11Rl/FxCibTqPscyTqZFm0KCZl+is=; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=u1xZ6zr+cXizFjbQkIHiau3hy5ACYhf0ZLgt7mNPBhnRUKnxSMLQnEJ/yqLg3ocz0YTwnzOZNdabAdpxq+rWtMPTszXBZ5BpCQ2Gb10lL8XttJxXatKRg9K1bRnZi0MyiKejcoyYlXz3DAd3Z65w2DhDxfoU5nuQE7aHdGssX3M= DomainKey-Signature:a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=3whYRuJM63XNQ2KdlkHuAbMH/n5+Q5esS2EdnOKKVj5PDAPohMR/OtWCkjT9xgDe7AGwZ6NWpzcw0HnAp5uJl166bY/bfm+vUbQsLIUHAWnCUOxaRwH6+kHQ2OazZpGvHJ8rvhv2utE4LvgqgjZy25rE92RTjQI0CPkCrC4+3Ok=; Message-ID: <80913.26742.qm@web111502.mail.gq1.yahoo.com> X-YMail-OSG: vXtVjy4VM1nUUKXuNJfVkUhyKV4TCpNsoV5hDss32eKdnk9 tfslNivJp7B439slYvGZQuSWrutHH8bP0DL7WBhhehUnpJIWGht9Q60FuHz9 6yiVi_REART6TGAhKD8_95eP3ZOSAaQx_neIUcfYoyYUFI_9LDI_lusk__fa 8gLut5d2n8Ozc1bI.dQdWp53dfiPTJ62XtT1kbtTXCVuuVuZRv2p6mNi29iD ICiNw8Qx29D8.qcVDDnVx3lWzxNypYV7oVInK.xqXJfiuvI5KhaPQKzinOXq GzYaxS7upcf2XCfSJY17CPNMVP4Ax2UCPbgXU9zYfGI78CqQxMn8q3xXuvRA lFfbuj9bQSWs- Received: from [213.205.70.207] by web111502.mail.gq1.yahoo.com via HTTP; Mon, 11 Oct 2010 13:33:33 PDT X-Mailer: YahooMailClassic/11.4.9 YahooMailWebService/0.8.106.282862 Date: Mon, 11 Oct 2010 13:33:33 -0700 (PDT) From: Dario Teixeira Subject: Re: [Caml-list] my own exceptions from ocamlyacc? To: caml-list@inria.fr, oliver@first.in-berlin.de In-Reply-To: <20101011135009.GB6256@first.in-berlin.de> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; ocamlyacc:01 ocamlyacc:01 grammars:01 superset:01 grammars:01 notation:01 cheers:01 beginners:01 caml-list:01 exceptions:01 grammar:02 grammar:02 debugging:03 complex:05 simpler:05 Hi,=0A=0A> Hmhh, a while ago I tried around with menhir, but did not really= used it.=0A> I have that in mind for cases, when ocamlyacc would become to= o annoying,=0A> but at least at the moment I'm fine with ocamlyacc.=0A> =0A= > I thought menhir is necessary for more complex grammars;=0A> don't know i= f it helps me here.=0A=0AI find that Menhir's advantages over Ocamlyacc go = beyond accepting a=0Asuperset of grammars. For instance, Menhir allows the= use EBNF notation,=0Awhich makes the grammar productions much simpler and = easier to read.=0AMoreover, Menhir facilities for debugging and 'explaining= ' the grammar=0Amake it a much friendlier tool for beginners and experts al= ike.=0A=0ACheers,=0ADario Teixeira=0A=0A=0A=0A