From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p04L46DL003386 for ; Tue, 4 Jan 2011 22:04:06 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsEAANUZI03RVaE2kGdsb2JhbACWD44VCBUBAQEBCQkMBxEEIKRfiXeCGIR8LoYZAQEDBYVFBIsHgx1p X-IronPort-AV: E=Sophos;i="4.60,274,1291590000"; d="scan'208";a="93893152" Received: from mail-fx0-f54.google.com ([209.85.161.54]) by mail1-smtp-roc.national.inria.fr with ESMTP; 04 Jan 2011 22:04:01 +0100 Received: by fxm16 with SMTP id 16so14629009fxm.27 for ; Tue, 04 Jan 2011 13:04:01 -0800 (PST) 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:subject:references:in-reply-to :x-enigmail-version:content-type:content-transfer-encoding; bh=vIILMKWM1cbtOA63Igd5+SiaGQfytvjrPsIuQ574668=; b=efdB2WS9ziL6g4p6blod1Va5t2wlICnrVtzVy9LY76NEjgtRjZQ6vBzFdNg+nf7F5Q GSx8xZZPwABfn+v3ofOvsqPALkOU9p6ueVyrteKbJ2eVLbZQCOQ/NGkFf58fuj7HifdU M3BXbYqESchXPAN1dQ7KFqi3okKf1NvfdWo3c= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:user-agent:mime-version:to:subject:references :in-reply-to:x-enigmail-version:content-type :content-transfer-encoding; b=fbc3MabXRmjN7d/Kz7LWIclkZw9EZtX+UEWcAoByb8o1THoNTx765Clj4HzUO61UqR jX4HaHDgPO0cHRSVLXlo4xMiv/1FKw+eJomXEmOeLF/LNy5NWdOimzaaRPvR1w9Q2B8t rj8ZvUwyUc4BisOH0otLZRleLs9d9v8as/3P0= Received: by 10.223.103.3 with SMTP id i3mr1493945fao.137.1294175040937; Tue, 04 Jan 2011 13:04:00 -0800 (PST) Received: from [192.168.1.101] ([79.114.99.210]) by mx.google.com with ESMTPS id y3sm5270126fai.14.2011.01.04.13.03.58 (version=SSLv3 cipher=RC4-MD5); Tue, 04 Jan 2011 13:03:59 -0800 (PST) Message-ID: <4D238B3D.2090903@gmail.com> Date: Tue, 04 Jan 2011 23:03:57 +0200 From: =?ISO-8859-1?Q?T=F6r=F6k_Edwin?= User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.13) Gecko/20101213 Icedove/3.1.7 MIME-Version: 1.0 To: caml-list@inria.fr References: <4D23353C.8020803@gmail.com> <1259991756.440008.1294155536392.JavaMail.root@zmbs2.inria.fr> <20110104174545.GA1535@yquem.inria.fr> <1263353434.442766.1294169448342.JavaMail.root@zmbs2.inria.fr> <20110104203152.GA3828@yquem.inria.fr> In-Reply-To: X-Enigmail-Version: 1.1.2 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] Array.make exception and parser On 2011-01-04 22:40, Lukasz Stafiniak wrote: > On Tue, Jan 4, 2011 at 9:31 PM, Francois Pottier > wrote: >> On Tue, Jan 04, 2011 at 08:30:48PM +0100, Daniel Bünzli wrote: >>> So everybody trades developer convenience for end user convenience -- >>> I mean, the syntax errors produced by LR parsers are just terrible, >> >> It is true that ocamlyacc (and Menhir) offer essentially no support for >> explaining parse errors. > > But Menhir's support for grammar debugging is very nice and already a > strong enough argument to switch over from ocamlyacc! > How about camlp4, what kind of parser is it? LL/LR? I found its error messages more helpful than ocamlc's (for example just running my source code through camlp4o), though it could be better (it could say ; expected insteam of [semi]). Best regards, --Edwin