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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 009B47FACB for ; Mon, 1 Sep 2014 14:58:50 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of cyocum@gmail.com) identity=pra; client-ip=209.85.223.174; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="cyocum@gmail.com"; x-sender="cyocum@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of cyocum@gmail.com designates 209.85.223.174 as permitted sender) identity=mailfrom; client-ip=209.85.223.174; receiver=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ie0-f174.google.com) identity=helo; client-ip=209.85.223.174; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="cyocum@gmail.com"; x-sender="postmaster@mail-ie0-f174.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApQBAK9sBFTRVd+ulGdsb2JhbABZhDcEgnjNXwgWEAEBAQEHCwsJEiuDeiIRHQEbHgMSCAEHNwIkAREBBQFXiAsBAxGVd4MZa4srgXKDEIkjChknDWaFABEBBQ6PXIIiDzISgUEFnFyTLBgphRM8L4JPAQEB X-IPAS-Result: ApQBAK9sBFTRVd+ulGdsb2JhbABZhDcEgnjNXwgWEAEBAQEHCwsJEiuDeiIRHQEbHgMSCAEHNwIkAREBBQFXiAsBAxGVd4MZa4srgXKDEIkjChknDWaFABEBBQ6PXIIiDzISgUEFnFyTLBgphRM8L4JPAQEB X-IronPort-AV: E=Sophos;i="5.04,442,1406584800"; d="scan'208";a="77314244" Received: from mail-ie0-f174.google.com ([209.85.223.174]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 01 Sep 2014 14:58:50 +0200 Received: by mail-ie0-f174.google.com with SMTP id at20so5859653iec.5 for ; Mon, 01 Sep 2014 05:58:48 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:date:message-id:subject:from:to:content-type; bh=rxzmaK7zH6IjGbmsNptjCqZpmpY/hFNUVoRfVoLaxqc=; b=Repw33VFNeX01BK4zMWtUZqdvL6qVWhMNzj63wonGwfUgakyjYpi5tw9RLdxtXjZ7b OLOQmCTjwI3qBhioA5afhCnTX+5MCI6yF/k9PRicstckXAMgLqhgN3R3xYlUou2VKOcj oWrX7MshWx6HrKvpc3IujXM6B8v9W0WD02vCReVaCjST6cEBSZUtjeAaZC36yBFAIXp1 gcb0etAOonNIGT+PkwaONtsDE533aKm+u+atgjDHCMiVMm5cdWMkKv7+l+EJICzm2yG3 CC42WKxB6njCzCwi9cIIr9YR/lMG7+4823ST+giO4L5XoXqu1nLYsYlNcJsd68bwms+v ggwA== MIME-Version: 1.0 X-Received: by 10.50.66.197 with SMTP id h5mr21403758igt.34.1409576328651; Mon, 01 Sep 2014 05:58:48 -0700 (PDT) Received: by 10.107.7.88 with HTTP; Mon, 1 Sep 2014 05:58:48 -0700 (PDT) Date: Mon, 1 Sep 2014 13:58:48 +0100 Message-ID: From: Christopher Yocum To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=047d7bd6be0e5a68cc050200903e Subject: [Caml-list] Ocaml 4.02.0: Dead Code Elimination and Core --047d7bd6be0e5a68cc050200903e Content-Type: text/plain; charset=UTF-8 Hi Everyone, I am not sure if this is the correct forum for this question but I thought I would start here. I also have the feeling that this is a rather dumb question. However, I will put it out there and see what the responses are. 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. All the best, Chris Yocum --047d7bd6be0e5a68cc050200903e Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Hi Everyone,

I am not sure if this is t= he correct forum for this question but I thought I would start here. =C2=A0= I also have the feeling that this is a rather dumb question. =C2=A0However,= I will put it out there and see what the responses are.

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 binari= es smaller. =C2=A0So, I switch compilers and did a test. =C2=A0Unfortunatel= y, a small sample program compiled with ocamlopt and using Core.Std.List wa= s still 11MB. =C2=A0I very much doubt that my binary really needs to be 11M= B. =C2=A0Is there a way to shrink the size? =C2=A0I had heard about namesap= ces elsewhere before but I think that discussion died.

All the best,
Chris Yocum
--047d7bd6be0e5a68cc050200903e--