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.3 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id B411FBC6B for ; Sat, 28 Apr 2007 21:47:56 +0200 (CEST) Received: from py-out-1112.google.com (py-out-1112.google.com [64.233.166.181]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l3SJlth0020124 for ; Sat, 28 Apr 2007 21:47:56 +0200 Received: by py-out-1112.google.com with SMTP id b50so1084092pyh for ; Sat, 28 Apr 2007 12:47:51 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=uPsjEfny4MKwdhnOf3qB07Sx2e4eQrhCXXHa8+E5xtlokxIwmLnHxHZQgSTPNdXhNRFlbiTg1SgQ362LvR75bMEOqzThfTNtbhT9QRyazJHmDpjhtr1jow3pjnq0LExpAqZNQxorzMGwCd3nblWwPD6i9DdGXOw1VPYsmO8nDDM= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=MJMOHF2bJnrXl93GCLyBxLcQOWAhbNPIQH/vAIGmQRl5ow656F40cBtG7sXWrmvL9l3GJZh2A7Nu7B6SlZETWyZekIfIPVE2ba3snTusw31SEBozempAB7mSlKJdcwC7UZ7d/G00/JpFfrN/xe/umc1xyS9nQ++WBJKxMRF8mmU= Received: by 10.78.200.3 with SMTP id x3mr1419230huf.1177789670312; Sat, 28 Apr 2007 12:47:50 -0700 (PDT) Received: by 10.78.21.20 with HTTP; Sat, 28 Apr 2007 12:47:50 -0700 (PDT) Message-ID: Date: Sat, 28 Apr 2007 15:47:50 -0400 From: "Markus Mottl" To: Francois.Pottier@inria.fr Subject: Re: [Caml-list] menhir Cc: skaller , caml-list@inria.fr In-Reply-To: <20070428165058.GA31584@yquem.inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <1177756336.11923.18.camel@rosella.wigram> <20070428165058.GA31584@yquem.inria.fr> X-j-chkmail-Score: MSGID : 4633A4EB.001 on concorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at concorde with ID 4633A4EB.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; markus:01 mottl:01 markus:01 mottl:01 yup:01 ocamlopt:01 compiler:01 compiler:01 ocaml:01 compilers:01 wrote:01 caml-list:01 pottier:01 pottier:01 data:02 On 4/28/07, Francois Pottier wrote: > Yup, I am somewhat disappointed that ocamlopt does not seem to have linear > time complexity, but I shouldn't complain too loud, my boss may be listening > :) This is unfortunate indeed. I have also run into problems with the compilers exhibiting quadratic behavior on very large sources. It seems that this mostly stems from the use of data structures in the compiler that scale badly on certain operations (e.g. searching through lists rather than in balanced trees). I think it wouldn't be difficult to update the compiler to use more efficient data structures, but it would certainly be a hell lot of work... Regards, Markus -- Markus Mottl http://www.ocaml.info markus.mottl@gmail.com