From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 9A025BC69 for ; Tue, 24 Apr 2007 12:23:39 +0200 (CEST) Received: from shiva.jussieu.fr (shiva.jussieu.fr [134.157.0.129]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l3OANdD9025633 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Tue, 24 Apr 2007 12:23:39 +0200 Received: from courriel.upmc.fr (courriel2.reseau.jussieu.fr [134.157.0.193]) by shiva.jussieu.fr (8.13.8/jtpda-5.4) with ESMTP id l3OANcSv044688 ; Tue, 24 Apr 2007 12:23:38 +0200 (CEST) X-Ids: 164 Received: from etu.upmc.fr (localhost [127.0.0.1]) by courriel.upmc.fr (8.13.6/jtpda-5.4) with ESMTP id l3OANcCn073063 ; Tue, 24 Apr 2007 12:23:38 +0200 (CEST) Received: from out-of.ilog.fr (out-of.ilog.fr [81.80.159.49]) by webmail.etu.upmc.fr (Horde MIME library) with HTTP; Tue, 24 Apr 2007 12:23:38 +0200 Message-ID: <20070424122338.ozkvhzfhckcskkc4@webmail.etu.upmc.fr> Date: Tue, 24 Apr 2007 12:23:38 +0200 From: Diego Olivier FERNANDEZ PONS To: skaller Cc: caml-list@inria.fr Subject: Re: [Caml-list] Bug in ocamlyacc References: <001401c785f3$3af5e890$6a7ba8c0@treble> <1177392571.10100.46.camel@rosella.wigram> In-Reply-To: <1177392571.10100.46.camel@rosella.wigram> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; DelSp="Yes"; format="flowed" Content-Disposition: inline Content-Transfer-Encoding: 7bit User-Agent: Internet Messaging Program (IMP) H3 (4.1.3) X-Virus-Scanned: ClamAV 0.88.7/3154/Tue Apr 24 08:13:03 2007 on shiva.jussieu.fr X-Virus-Scanned: ClamAV 0.90/3154/Tue Apr 24 08:13:03 2007 on courriel2.reseau.jussieu.fr X-Virus-Status: Clean X-Miltered: at discorde with ID 462DDAAB.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Miltered: at shiva.jussieu.fr with ID 462DDAAA.005 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; pons:01 pons:01 bug:01 ocamlyacc:01 camlyacc:01 camlp:01 camlyacc:01 swapped:01 caml-list:01 pattern:04 simpler:04 porting:06 olivier:07 olivier:07 standard:07 Bonjour, > I won't use Menhir for that reason either.[...] Come on, Skaller. You know as well as everyone that adding a tool that is not mature enough to the standard distribution is a bad idea. Mehnir is clearly the "official" candidate for replacement of CamlYacc, without yet being mandatory. This gives you the time to port, criticize and ask for improvements. Look the mess that happened with CamlP4 which didn't follow this pattern. So instead of being complaining because Mehnir is not yet in the standard distribution, you should be porting your CamlYacc code to ensure that when the tools are swapped, Menhir will make your code simpler, faster and cleaner. Diego Olivier