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=2.9 required=5.0 tests=AWL,DNS_FROM_RFC_POST, DNS_FROM_SECURITYSAGE,HTML_MESSAGE,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 55EF6BBAF for ; Wed, 19 Nov 2008 04:06:22 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AisDAKMRI0nAXQIngWdsb2JhbACCQS+QKj4BARYisRoIe4t9AQMBA4J2gUw X-IronPort-AV: E=Sophos;i="4.33,628,1220220000"; d="scan'208";a="20108246" Received: from concorde.inria.fr ([192.93.2.39]) by mail1-smtp-roc.national.inria.fr with ESMTP; 19 Nov 2008 04:06:22 +0100 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id mAJ36L4v021958 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 19 Nov 2008 04:06:22 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aq4BAKMRI0nRVYC/imdsb2JhbACCQS+QKj4BAQEKCQwHDwWxFwh7i30BAwEDgnaBTA X-IronPort-AV: E=Sophos;i="4.33,628,1220220000"; d="scan'208";a="17348598" Received: from fk-out-0910.google.com ([209.85.128.191]) by mail2-smtp-roc.national.inria.fr with ESMTP; 19 Nov 2008 04:06:21 +0100 Received: by fk-out-0910.google.com with SMTP id e30so3770263fke.9 for ; Tue, 18 Nov 2008 19:06:21 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:reply-to :to:subject:cc:in-reply-to:mime-version:content-type:references; bh=mRlgN1FPwT84GBRXboEC4JLw9jFGcr57Lp3vqN8yKcw=; b=X8pWznyjbaVVTyN7yE2vf1DgbOpa+7HpdBlwF445cPt7IahGSEkzKNW3/1GZ1AsaYJ rKYozynGZs233MaaUW/1jYh160LHH1+nu5fb8eiPpEtzuSIDqIeakBqGDWuHF3AuQ5Vw NRvfALh/wdvi7BpeKAZThIvSghwV6kjGI2C+8= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:reply-to:to:subject:cc:in-reply-to :mime-version:content-type:references; b=l/mxpNIgPGe1QM/03eLv+rPWOZE6YG1cQZW+xmuvAoQqIiRXEIh+lG2NJmpo6H4th4 Pxp9g8NDdg7WsmrDBQZMNOoaHBMI4uBIu0TVLM3JDafdFO90erFIKaa1NG9cYVnCBsCm sJNjgacAfrlshm1mUbCNRcGDZF/8mQ+d0zl34= Received: by 10.181.60.14 with SMTP id n14mr162150bkk.79.1227063981189; Tue, 18 Nov 2008 19:06:21 -0800 (PST) Received: by 10.181.196.19 with HTTP; Tue, 18 Nov 2008 19:06:21 -0800 (PST) Message-ID: <891bd3390811181906t1f9ea9beh7d4e7621d45d7977@mail.gmail.com> Date: Tue, 18 Nov 2008 22:06:21 -0500 From: "Yaron Minsky" Reply-To: yminsky@gmail.com To: "Alain Frisch" Subject: Re: [Caml-list] Re: Wanted: your feedback on the hierarchy of OCaml Batteries Included Cc: "David Teller" , OCaml , "Richard Jones" , "Zheng Li" In-Reply-To: <4922CCE9.7050304@frisch.fr> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_51073_30855078.1227063981176" References: <1227002178.6170.25.camel@Blefuscu> <20081118100625.GA25627@annexia.org> <49229725.5090704@users.sourceforge.net> <1227007338.6170.39.camel@Blefuscu> <4922CCE9.7050304@frisch.fr> X-Miltered: at concorde with ID 492382AD.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; yaron:01 minsky:01 yminsky:01 ocaml:01 chunks:01 frisch:01 frisch:01 beginner's:01 ocaml:01 bug:01 chunks:01 beginner's:01 bug:01 beginners:01 beginners:01 ------=_Part_51073_30855078.1227063981176 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline Do you have a sense of how hard this would be to fix? It would be lovely to have some reasonable namespace control without having to take chunks of the namespace as all-or-nothing pieces.... y On Tue, Nov 18, 2008 at 9:10 AM, Alain Frisch wrote: > David Teller wrote: > >> I thought the linker only linked in symbols which were actually used? >> > > No, it is not the case. > > The only automatic mechanism for code pruning is at the level of individual > modules embedded in a library. As soon as you pack, you obtain a monolithic > module which can only be linked as a whole. > > -- Alain > > > _______________________________________________ > 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 > ------=_Part_51073_30855078.1227063981176 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline Do you have a sense of how hard this would be to fix?  It would be lovely to have some reasonable namespace control without having to take chunks of the namespace as all-or-nothing pieces....

y

On Tue, Nov 18, 2008 at 9:10 AM, Alain Frisch <alain@frisch.fr> wrote:
David Teller wrote:
I thought the linker only linked in symbols which were actually used?

No, it is not the case.

The only automatic mechanism for code pruning is at the level of individual modules embedded in a library. As soon as you pack, you obtain a monolithic module which can only be linked as a whole.

-- Alain


_______________________________________________
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

------=_Part_51073_30855078.1227063981176--