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=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 76C2BBC69 for ; Fri, 30 Mar 2007 15:31:53 +0200 (CEST) Received: from yquem.inria.fr (yquem.inria.fr [128.93.8.37]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l2UDVpA7025814; Fri, 30 Mar 2007 15:31:51 +0200 Received: by yquem.inria.fr (Postfix, from userid 18965) id BC580BC69; Fri, 30 Mar 2007 15:31:51 +0200 (CEST) Date: Fri, 30 Mar 2007 15:31:51 +0200 From: Francois Pottier To: Joel Reymont Cc: Caml List Subject: Re: [Caml-list] Size of produced parser: menhir vs ocamlyacc Message-ID: <20070330133151.GC6173@yquem.inria.fr> Reply-To: Francois.Pottier@inria.fr References: <51E5CF1F-352C-434A-8C5E-2AA4E52EE520@gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <51E5CF1F-352C-434A-8C5E-2AA4E52EE520@gmail.com> User-Agent: Mutt/1.5.9i X-Miltered: at concorde with ID 460D1147.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; parser:01 ocamlyacc:01 0100,:01 parser:01 cmo:01 ocamlyacc:01 parsers:01 wrote:01 ideally:01 compile:01 compile:01 cristal:01 caml-list:01 compiles:01 pottier:01 Hello, On Fri, Mar 30, 2007 at 02:14:53PM +0100, Joel Reymont wrote: > _build/easy_parser.cmo -- ocamlyacc: 98,339, menhir: 1,542,108 > _build/easy_parser.ml -- ocamlyacc: 323,729, menhir: 3,550,332 > > Compiling a parser with produced by ocamlyacc also takes a fraction > of a second vs several seconds with menhir. This is because we compile automata down to code, whereas ocamlyacc compiles them down to tables. Ideally, we should provide an option to compile down to tables instead of code, but we never found time to do so. > I hope parsers produced by menhir is just as fast as those produce by > ocamlyacc during execution! We did not perform any serious measurements, but we believe that we are competitive. If you run a comparison, we would be interested in knowing about the results. -- François Pottier Francois.Pottier@inria.fr http://cristal.inria.fr/~fpottier/