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=1.1 required=5.0 tests=AWL,DNS_FROM_SECURITYSAGE autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id AC9C6BBAF for ; Tue, 18 Nov 2008 15:11:18 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvgCADtcIknAXQIngWdsb2JhbACTWQEBFiK+NIJ5 X-IronPort-AV: E=Sophos;i="4.33,625,1220220000"; d="scan'208";a="19293455" Received: from concorde.inria.fr ([192.93.2.39]) by mail3-smtp-sop.national.inria.fr with ESMTP; 18 Nov 2008 15:10:57 +0100 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id mAIEAuDK006356 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Tue, 18 Nov 2008 15:10:57 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aj4BAP9bIklQDPJhlGdsb2JhbACTWQEBAQEJCwgJEQO+LYJ5 X-IronPort-AV: E=Sophos;i="4.33,625,1220220000"; d="scan'208";a="31564568" Received: from smtp23.orange.fr ([80.12.242.97]) by mail4-smtp-sop.national.inria.fr with ESMTP; 18 Nov 2008 15:10:56 +0100 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf2362.orange.fr (SMTP Server) with ESMTP id 04783700009C; Tue, 18 Nov 2008 15:10:56 +0100 (CET) Received: from [192.168.1.66] (APuteaux-154-1-3-239.w83-199.abo.wanadoo.fr [83.199.64.239]) by mwinf2362.orange.fr (SMTP Server) with ESMTP id 9ADFF7000095; Tue, 18 Nov 2008 15:10:55 +0100 (CET) X-ME-UUID: 20081118141055634.9ADFF7000095@mwinf2362.orange.fr Message-ID: <4922CCE9.7050304@frisch.fr> Date: Tue, 18 Nov 2008 15:10:49 +0100 From: Alain Frisch User-Agent: Thunderbird 2.0.0.17 (Windows/20080914) MIME-Version: 1.0 To: David Teller Cc: Zheng Li , OCaml , Richard Jones Subject: Re: [Caml-list] Re: Wanted: your feedback on the hierarchy of OCaml Batteries Included References: <1227002178.6170.25.camel@Blefuscu> <20081118100625.GA25627@annexia.org> <49229725.5090704@users.sourceforge.net> <1227007338.6170.39.camel@Blefuscu> In-Reply-To: <1227007338.6170.39.camel@Blefuscu> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 4922CCF0.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; frisch:01 frisch:01 ocaml:01 wrote:01 caml-list:01 alain:01 alain:01 modules:02 module:03 hierarchy:03 library:03 linker:07 linked:07 linked:07 batteries:91 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