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=1.0 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id A99A6BC69 for ; Fri, 30 Mar 2007 15:15:01 +0200 (CEST) Received: from ug-out-1314.google.com (ug-out-1314.google.com [66.249.92.168]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l2UDF0cn028900 for ; Fri, 30 Mar 2007 15:15:00 +0200 Received: by ug-out-1314.google.com with SMTP id k3so880350ugf for ; Fri, 30 Mar 2007 06:15:00 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:mime-version:content-transfer-encoding:message-id:content-type:to:from:subject:date:x-mailer; b=QuJeqKnD2Dy6ADTCvAsnmPuYY0iIMEnDyVcLA1ZaXqeVAgkj3b9UUwgKNXTgusFfp5Cqu+0DqdhDC0WsQJNlzHtgmu1ENYAoZV8jxcNscTj1BNG0w2YaH60WOxEGNEhte/qxWxD2ItbeptVLhY1U5KVlqyqIy0DBDyuLddRkK60= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:mime-version:content-transfer-encoding:message-id:content-type:to:from:subject:date:x-mailer; b=WfzJwwNVGXgR5DqnO3cU6N/Ie/oMt5RNA3q0paUcmvMdh+sggaeRgyl8ppCte6lJ09OlKnnSOGAQ2KUor3e/uMfvw4H7DXcFCeYoNsRvZc42/1r40pHae075BkEKkOdhDld0vB2InXQ/HQa1n0+hmWgJWocKHqrUpZWSrEGFpsA= Received: by 10.82.134.12 with SMTP id h12mr3871338bud.1175260500061; Fri, 30 Mar 2007 06:15:00 -0700 (PDT) Received: from ?192.168.1.34? ( [88.7.143.102]) by mx.google.com with ESMTP id y37sm1302292iky.2007.03.30.06.14.57; Fri, 30 Mar 2007 06:14:59 -0700 (PDT) Mime-Version: 1.0 (Apple Message framework v752.3) Content-Transfer-Encoding: 7bit Message-Id: <51E5CF1F-352C-434A-8C5E-2AA4E52EE520@gmail.com> Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed To: Caml List From: Joel Reymont Subject: Size of produced parser: menhir vs ocamlyacc Date: Fri, 30 Mar 2007 14:14:53 +0100 X-Mailer: Apple Mail (2.752.3) X-j-chkmail-Score: MSGID : 460D0D54.003 on discorde : j-chkmail score : XXX : 5/20 1 0.000 -> 3 X-Miltered: at discorde with ID 460D0D54.003 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; parser:01 ocamlyacc:01 parser:01 cmo:01 ocamlyacc:01 parsers:01 compiling:02 size:95 execution:10 build:12 build:12 takes:19 produced:24 produced:24 hope:24 _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. I hope parsers produced by menhir is just as fast as those produce by ocamlyacc during execution! -- http://wagerlabs.com/