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 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 755D5BB84 for ; Tue, 9 Sep 2008 08:43:28 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkwCABC4xUhA6ba/lGdsb2JhbACCMY9bPgEBAQEJAwoHEQOaC4ZdAQI X-IronPort-AV: E=Sophos;i="4.32,363,1217800800"; d="scan'208";a="28960212" Received: from nf-out-0910.google.com ([64.233.182.191]) by mail4-smtp-sop.national.inria.fr with ESMTP; 09 Sep 2008 08:43:28 +0200 Received: by nf-out-0910.google.com with SMTP id b11so629172nfh.13 for ; Mon, 08 Sep 2008 23:43:27 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=gamma; h=domainkey-signature:received:received:organization:to:subject:date :user-agent:references:in-reply-to:mime-version:content-type :content-transfer-encoding:content-disposition:message-id:from; bh=MFq6id2clWwxp1LYhm4un9JSeF62dQZ+4fWUAvCrOGo=; b=cZ0qT0SIEJANxhLn6JJOPdFtuBhFEBbAErR7DXbBu2PYbrLi1UpPrj4azXA47g78HD 0lKsXiDzc4o4T7QKibvXOhdDMZ8iNaezhEGWBq4FbVH/tbh2FoT1nyB/0KS4o81Ys7NY 0L97OJ17xv6mlyxqmxzDeJ/UNmuObproOAOZ8= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlemail.com; s=gamma; h=organization:to:subject:date:user-agent:references:in-reply-to :mime-version:content-type:content-transfer-encoding :content-disposition:message-id:from; b=BsNsLmcQLF4QsdQeFg7xKgggEfjQtswFRJa4JiimVhw+c7sT3pXlumuowHf5IlJoaq bTLJVpMrMyHvP5Ms960B6QKmO818CNHSIPdkd5LObQG6A6+btNKQxho7YFFev6+uzuzi Ow6Q7zx9lDEklVQ5br/B5U+eg++dsi5GmeDUQ= Received: by 10.210.10.8 with SMTP id 8mr5848393ebj.40.1220942606253; Mon, 08 Sep 2008 23:43:26 -0700 (PDT) Received: from leper.local ( [86.140.183.215]) by mx.google.com with ESMTPS id q9sm10262829gve.5.2008.09.08.23.43.25 (version=TLSv1/SSLv3 cipher=RC4-MD5); Mon, 08 Sep 2008 23:43:25 -0700 (PDT) Organization: Flying Frog Consultancy Ltd. To: "Nathaniel Gray" , caml-list@yquem.inria.fr Subject: Re: [Caml-list] New Ocaml Plug-in for NetBeans Date: Tue, 9 Sep 2008 08:43:33 +0100 User-Agent: KMail/1.9.9 References: <1217061979.488ae45b452b9@webmail.inescporto.pt> <200809080210.57000.jon@ffconsultancy.com> In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200809090843.33190.jon@ffconsultancy.com> From: Jon Harrop X-Spam: no; 0.00; ocaml:01 ocaml:01 kloc:01 plug-in:98 smoke:98 frog:98 wrote:01 caml-list:01 gzip:04 gzip:04 exists:05 0.5:93 inria:06 suggested:07 efficient:07 On Tuesday 09 September 2008 06:31:51 you wrote: > Sure, I had the same thought, but gzip already exists, doesn't require > approval from INRIA, and .gz is easily read in just about any language > (including OCaml). Once the .annot files are smaller than the source > files I'm completely willing to generate them all the time. I think you will find that GZip is orders of magnitude less efficient that the approach I suggested and too slow to be useful in this case. For example, gzipping and unzipping the .annot files from the 4kLOC core of Smoke takes 0.5s. So GZip is too slow for interactive use even on this tiny code base. -- Dr Jon Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/?e