From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 581157FACB for ; Mon, 1 Sep 2014 18:57:47 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of cyocum@gmail.com) identity=pra; client-ip=74.125.82.52; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="cyocum@gmail.com"; x-sender="cyocum@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of cyocum@gmail.com designates 74.125.82.52 as permitted sender) identity=mailfrom; client-ip=74.125.82.52; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="cyocum@gmail.com"; x-sender="cyocum@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wg0-f52.google.com) identity=helo; client-ip=74.125.82.52; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="cyocum@gmail.com"; x-sender="postmaster@mail-wg0-f52.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmkBAPCkBFRKfVI0lGdsb2JhbABZgmqBTclghXIBgRYWEAEBAQEHCwsJEiuEBAEBBBIoBgEbHQEDDAYFDgoJJQ8FDQIRAQUBASETIogLAQMRAQSYcmuNHYMQiRwKGScNZoR/AREBBQ4KjQiCLQeDL4EdBZpMgg+OaIRFQYUTa4JPAQEB X-IPAS-Result: AmkBAPCkBFRKfVI0lGdsb2JhbABZgmqBTclghXIBgRYWEAEBAQEHCwsJEiuEBAEBBBIoBgEbHQEDDAYFDgoJJQ8FDQIRAQUBASETIogLAQMRAQSYcmuNHYMQiRwKGScNZoR/AREBBQ4KjQiCLQeDL4EdBZpMgg+OaIRFQYUTa4JPAQEB X-IronPort-AV: E=Sophos;i="5.04,443,1406584800"; d="scan'208";a="92521958" Received: from mail-wg0-f52.google.com ([74.125.82.52]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 01 Sep 2014 18:57:46 +0200 Received: by mail-wg0-f52.google.com with SMTP id m15so5610694wgh.11 for ; Mon, 01 Sep 2014 09:57:46 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=date:from:to:cc:subject:message-id:references:mime-version :content-type:content-disposition:in-reply-to:user-agent; bh=IOABuc5tKLbz7cejyMZBkYj/1AarzyBMdkRM2i++uh4=; b=chM5X8z5IzkyzTk7CiT/5Qks8Uvw05LREZGzn4fJLkTGTDvlmy3SxrBFVde5LVWSAa dPYOjtXomsGIWq8fyImTeNCAR2TMz7/N/uYLfItG6coSRfenKCyRZmqXoxcQfwDNn7if DcOKcjHo2LCULdrvt6oXa1P8F4XHnGxOiP45NN7QxHRv3kbPS/oLZCip01yd5rpduAUl 7q7AgP2+4TDb2rt3ZBAPe9thBRYRbzEETSXyFYj2suFRIobGvu9s0MzDiesHxIwVXOe1 xyGe3nG4gHMOfMdlqxmJXxwmJbA8fPKFobEdBTDwi52Azc2sxCpswZOeKd5EBsIcyVCj dW9w== X-Received: by 10.180.11.72 with SMTP id o8mr22594850wib.71.1409590666304; Mon, 01 Sep 2014 09:57:46 -0700 (PDT) Received: from keiichi (d.c.f.9.6.f.c.4.6.a.5.d.1.2.5.d.2.5.a.f.8.6.f.b.0.b.8.0.1.0.0.2.ip6.arpa. [2001:8b0:bf68:fa52:d521:d5a6:4cf6:9fcd]) by mx.google.com with ESMTPSA id hi4sm3252878wjb.46.2014.09.01.09.57.44 for (version=TLSv1.2 cipher=RC4-SHA bits=128/128); Mon, 01 Sep 2014 09:57:45 -0700 (PDT) Date: Mon, 1 Sep 2014 17:57:42 +0100 From: Chris Yocum To: Jeremie Dimino Cc: "caml-list@inria.fr" Message-ID: <20140901165742.GB2893@keiichi> References: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.21 (2010-09-15) Subject: Re: [Caml-list] Ocaml 4.02.0: Dead Code Elimination and Core On Mon, Sep 01, 2014 at 02:14:28PM +0100, Jeremie Dimino wrote: > Hi Christopher, > > On Mon, Sep 1, 2014 at 1:58 PM, Christopher Yocum wrote: > > > I saw that there is dead code elimination in 4.02.0 and I thought to > > myself that this would help make Core's very large binaries smaller. So, I > > switch compilers and did a test. Unfortunately, a small sample program > > compiled with ocamlopt and using Core.Std.List was still 11MB. I very much > > doubt that my binary really needs to be 11MB. Is there a way to shrink the > > size? I had heard about namesapces elsewhere before but I think that > > discussion died. > > > > AFAIK 4.02 doesn't do much more dead code elimination than 4.01. There is > an entry about dead code elimination in the changelog but it is a local > optimization that is unlikely to change the size of binaries much. > > However there is a new feature of 4.02 that will help reduce the size of > binaries using Core: module aliases. Core will have to be updated to take > advantage of it. We are hopping to release a new version of Core using > module aliases soon. Dear Jeremie, Thank you very much for this. I look forward to seeing the new version of Core. BTW, I just saw a blog post about this on the Jane St. tech blog. I guess I should have done a bit more research before sending this out. All the best, Chris > > -- > Jeremie