From: David Rajchenbach-Teller <David.Teller@ens-lyon.org>
To: Richard Jones <rich@annexia.org>
Cc: Julien Signoles <Julien.Signoles@cea.fr>, caml list <caml-list@inria.fr>
Subject: Re: [Caml-list] Why don't use batteries
Date: Sat, 05 Sep 2009 08:35:19 +0100 [thread overview]
Message-ID: <1252136119.8592.39.camel@Blefuscu> (raw)
In-Reply-To: <20090904140004.GA22690@annexia.org>
I take it to be a complaint against Batteries in particular
(helloworld.native is several Mb, when linked statically) and agains the
compiler in particular (in any given program, most of this is dead code
which the compiler fails to remove).
Xavier Leroy is aware of the issue. Maybe either he or Xavier Clerc will
be able to look at it someday.
Cheers,
David
On Fri, 2009-09-04 at 15:00 +0100, Richard Jones wrote:
> On Fri, Sep 04, 2009 at 02:49:52PM +0200, Julien Signoles wrote:
> > 3) It makes my executables too big
> > Yes, even if it seems to be improved in a close future.
>
> Is this a complaint against Batteries in particular or OCaml in
> general? OCaml binaries in general are rather large, and it appears
> to be because the runtime / GC is statically linked. Do you know how
> much this would improve with dynamic linking of libasmrun.a (which
> IIRC was a feature added in 3.11)?
>
> Rich.
>
next prev parent reply other threads:[~2009-09-05 8:48 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-09-04 12:49 Julien Signoles
2009-09-04 14:00 ` [Caml-list] " Richard Jones
2009-09-05 7:35 ` David Rajchenbach-Teller [this message]
2009-09-07 14:42 ` Dmitry Bely
2009-09-05 7:33 ` David Rajchenbach-Teller
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=1252136119.8592.39.camel@Blefuscu \
--to=david.teller@ens-lyon.org \
--cc=Julien.Signoles@cea.fr \
--cc=caml-list@inria.fr \
--cc=rich@annexia.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).