caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: David Rajchenbach-Teller <David.Teller@ens-lyon.org>
To: kattla <kattlachan@gmail.com>
Cc: Edgar Friendly <thelema314@gmail.com>, caml-list@yquem.inria.fr
Subject: Re: [Caml-list] Why don't you use batteries?
Date: Sat, 05 Sep 2009 09:59:45 +0100	[thread overview]
Message-ID: <1252141185.3988.21.camel@Blefuscu> (raw)
In-Reply-To: <6ebe51ce0909030710j65c3900cr31d7ca836fe7d46c@mail.gmail.com>

Unfortunately, it still is. I hope that the compiler will eventually be
fixed to avoid this kind of issue.

Cheers,
 David

On Thu, 2009-09-03 at 16:10 +0200, kattla wrote:
> Hi,
> 
> > 3) It makes my executables too big
> 
> (Assuming this [0] is still true)
> 
> For me this is the biggest reason for not using batteries. I don't
> really have a need for small executables right now, but I would like
> to at least know that this issue will be resolved before I adopt
> batteries.
> 
> 
> [0] http://caml.inria.fr/pub/ml-archives/caml-list/2008/11/24509ad16aae6d1cc2e15f532e0007eb.en.html
> 
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
> 


  reply	other threads:[~2009-09-05  8:59 UTC|newest]

Thread overview: 68+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2009-09-03 13:05 Edgar Friendly
2009-09-03 13:15 ` [Caml-list] " Rakotomandimby Mihamina
2009-09-03 13:25 ` Alan Schmitt
2009-09-05  8:47   ` David Rajchenbach-Teller
2009-09-06 10:03     ` Alan Schmitt
2009-09-06 10:15       ` David Rajchenbach-Teller
2009-09-06 10:29         ` Alan Schmitt
2009-09-03 14:10 ` kattla
2009-09-05  8:59   ` David Rajchenbach-Teller [this message]
2009-09-03 14:25 ` Vincent Aravantinos
2009-09-03 14:35 ` Dario Teixeira
2009-09-04  0:08   ` Jon Harrop
2009-09-04  6:18     ` Stefano Zacchiroli
2009-09-04  6:39     ` Gaius Hammond
2009-09-04 14:04       ` Richard Jones
2009-09-03 15:00 ` Ashish Agarwal
2009-09-03 18:24   ` Alp Mestan
2009-09-03 20:38     ` Ashish Agarwal
2009-09-03 15:50 ` Tom Hutchinson
2009-09-04  8:55   ` Pierre Etchemaite
2009-09-04  9:32     ` Stéphane Glondu
2009-09-04 10:26       ` Vincent Aravantinos
2009-09-04 10:26       ` Andrej Bauer
2009-09-04 14:10         ` Richard Jones
2009-09-04 14:38           ` Hezekiah M. Carty
2009-09-04 18:37             ` Gaius Hammond
2009-09-05  4:53               ` Rakotomandimby Mihamina
2009-09-05  9:44                 ` David Allsopp
2009-09-05 10:22                   ` rixed
2009-09-05 12:03                     ` Jon Harrop
2009-09-05 11:11                       ` Rakotomandimby Mihamina
2009-09-05 12:02                       ` Richard Jones
2009-09-05 21:19                         ` Jon Harrop
2009-09-05 10:23                   ` Gaius Hammond
2009-09-05 11:36                   ` Jon Harrop
2009-09-05 11:52                   ` Richard Jones
     [not found]                   ` <b364036a0909050359q25fbab92l88b2415812941ae1@mail.gmail.com>
2009-09-06  7:47                     ` Fwd: " dmitry grebeniuk
2009-09-06  7:59                       ` Adrien
2009-09-06  8:47               ` Henry Lenzi
2009-09-06  9:46                 ` Rakotomandimby Mihamina
2009-09-06  9:52                 ` Gaius Hammond
2009-09-06 13:24                   ` Olivier Schwander
2009-09-06 11:34                 ` rixed
2009-09-04 19:53           ` Richard Jones
2009-09-11 16:07           ` Florent Ouchet
2009-09-04 15:05         ` Rakotomandimby Mihamina
2009-09-03 16:13 ` Richard Jones
2009-09-03 16:49 ` Jake Donham
2009-09-03 17:00   ` Hezekiah M. Carty
2009-09-03 18:18 ` Jean-Christophe Filliâtre
2009-09-04  3:24   ` Mike Lin
2009-09-04  3:36     ` Erik de Castro Lopo
2009-09-04  3:44       ` Edgar Friendly
2009-09-04  4:29         ` Erik de Castro Lopo
2009-09-04  8:18   ` Stéphane Glondu
2009-09-04 11:40     ` Jean-Christophe Filliâtre
2009-09-03 19:08 ` Sylvain Le Gall
2009-09-03 23:13 ` [Caml-list] " Philippe Wang
2009-09-03 23:19   ` Hugo Schmitt
2009-09-04  3:34 ` Erik de Castro Lopo
2009-09-04  5:52   ` David MENTRE
2009-09-04  6:21   ` Stefano Zacchiroli
2009-09-05 10:01 ` rixed
2009-09-06  9:56 ` Philip
2009-09-30 12:27 ` Rakotomandimby Mihamina
     [not found] <20090904061012.A1167BCC4@yquem.inria.fr>
2009-09-04 10:47 ` Pascal Cuoq
2009-09-04 14:25 Dario Teixeira
2009-09-04 21:21 ` Richard Jones

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=1252141185.3988.21.camel@Blefuscu \
    --to=david.teller@ens-lyon.org \
    --cc=caml-list@yquem.inria.fr \
    --cc=kattlachan@gmail.com \
    --cc=thelema314@gmail.com \
    /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).