From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 084C1BB81 for ; Fri, 30 Dec 2005 22:58:01 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id jBULw0Vc032050 for ; Fri, 30 Dec 2005 22:58:00 +0100 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id WAA23186 for ; Fri, 30 Dec 2005 22:57:59 +0100 (MET) Received: from mail.enyo.de (mail.enyo.de [212.9.189.167]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id jBULvwOu011445 (version=TLSv1/SSLv3 cipher=AES256-SHA bits=256 verify=NO); Fri, 30 Dec 2005 22:57:59 +0100 Received: from deneb.vpn.enyo.de ([212.9.189.177] helo=deneb.enyo.de) by mail.enyo.de with esmtp id 1EsSG4-0003rM-KP; Fri, 30 Dec 2005 22:57:56 +0100 Received: from fw by deneb.enyo.de with local (Exim 4.60) (envelope-from ) id 1EsSG1-0001H3-2U; Fri, 30 Dec 2005 22:57:53 +0100 From: Florian Weimer To: Francois.Pottier@inria.fr Cc: Stefan Monnier , caml-list@inria.fr Subject: Re: [Caml-list] Re: [ANNOUNCE] Alpha release of Menhir, an LR(1) parser generator for ocaml References: <20051212175838.GA8502@yquem.inria.fr> <87acf250oi.fsf-monnier+gmane.comp.lang.caml.inria@gnu.org> <20051215084749.GD1966@yquem.inria.fr> <87y82m2ujh.fsf-monnier+inbox@gnu.org> <20051215165027.GA28709@yquem.inria.fr> Date: Fri, 30 Dec 2005 22:57:53 +0100 In-Reply-To: <20051215165027.GA28709@yquem.inria.fr> (Francois Pottier's message of "Thu, 15 Dec 2005 17:50:27 +0100") Message-ID: <87r77unt7i.fsf@mid.deneb.enyo.de> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Miltered: at concorde with ID 43B5AD68.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 43B5AD66.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 parser:01 ocaml:01 afaik:01 mlton:01 pottier:01 florian:02 confusing:02 francois:02 uses:06 written:06 written:06 missing:06 manually:07 release:07 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 * Francois Pottier: > What about non-toy projects? Are there times where the automatic error > recovery mechanism gets in the way? AFAIK, MLton uses it, and the inserted symbols are often not those that are actually missing. This leads to error messages which are rather confusing. With manually written error handling, you can surely do much better, but the effort pays off in special cases. (Most of the time, the careful error handling code is never written, of course.)