From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p04JUrqL023126 for ; Tue, 4 Jan 2011 20:30:53 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsEAAMsDI03RVdI2kGdsb2JhbACDd5ItjhUIFQEBAQEJCQwHEQQgpFaJO4JUhQCGRwEBAwWBG4FSgWR0BIsHiUE X-IronPort-AV: E=Sophos;i="4.60,273,1291590000"; d="scan'208";a="71833966" Received: from mail-pz0-f54.google.com ([209.85.210.54]) by mail3-smtp-sop.national.inria.fr with ESMTP; 04 Jan 2011 20:30:47 +0100 Received: by pzk32 with SMTP id 32so3470827pzk.27 for ; Tue, 04 Jan 2011 11:30:46 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:sender:received :in-reply-to:references:date:x-google-sender-auth:message-id:subject :from:to:cc:content-type; bh=ASEO+ZoDiE/QA9FT4/CFaO5EOJLOEJVOzOlBiIOBrB4=; b=okOfb1MNwNIRBWgXCdFpuxYvdnH9RPaUpiOAc4UrvoyRghzYvSZ9ti9dmH8/NUufEj 8kqR2mYOO01hLaHf/rnkuHkknJ68liRMFr6lAXVm36V0+WjpbK/o5UEVGSWi6+bpt+qg 9UH4UsJRn9iG0x8qjAHo55EhEAa1FrMe66kJQ= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:cc:content-type; b=Cu8SbQTzfKybw6KMP2d3XOh+0H2EoKe78eTP6m8FJY9Z2SNteQ8BUDzGsEu1xxN+Ta SNvWAZC4Wer6qyYnyThVrdK2jzfwdCYmTK6Jw15T0g5ojqCVoDmnOKGZ5+jpZo7qT27G D7n3n0+g8Sm7qElJF5kpIvqN2h2fZ+9HveO7k= MIME-Version: 1.0 Received: by 10.142.57.9 with SMTP id f9mr18254582wfa.108.1294169446338; Tue, 04 Jan 2011 11:30:46 -0800 (PST) Sender: daniel.c.buenzli@gmail.com Received: by 10.142.89.17 with HTTP; Tue, 4 Jan 2011 11:30:46 -0800 (PST) In-Reply-To: <20110104174545.GA1535@yquem.inria.fr> References: <4D23353C.8020803@gmail.com> <1259991756.440008.1294155536392.JavaMail.root@zmbs2.inria.fr> <20110104174545.GA1535@yquem.inria.fr> Date: Tue, 4 Jan 2011 20:30:46 +0100 X-Google-Sender-Auth: A4uNRnBX2clhjFTI1mpuhNO7i70 Message-ID: From: =?UTF-8?Q?Daniel_B=C3=BCnzli?= To: Francois.Pottier@inria.fr Cc: caml-list@inria.fr Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] Array.make exception and parser > For what it's worth, here is my answer: an LR parser generator (like Menhir) > accepts a larger class of grammars without refactoring (no need to eliminate > left recursion, identify common left factors, etc.) and is also able to > *explain* why the grammar is ambiguous (or rather, why it lies outside the LR > class), which a combinator-based approach cannot do. So everybody trades developer convenience for end user convenience -- I mean, the syntax errors produced by LR parsers are just terrible, the ocaml compiler is here to witness that. That's depressing. Daniel