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=0.2 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 389F8BBAF for ; Fri, 21 Nov 2008 10:24:28 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvIBAIkMJknCpx6vi2dsb2JhbACTWQEBAQoLChi/H4J8 X-IronPort-AV: E=Sophos;i="4.33,639,1220220000"; d="scan'208";a="17447376" Received: from smtpka.univ-orleans.fr (HELO ka.univ-orleans.fr) ([194.167.30.175]) by mail2-smtp-roc.national.inria.fr with ESMTP; 21 Nov 2008 10:24:27 +0100 Received: from smtps.univ-orleans.fr (localhost [127.0.0.1]) by ka.univ-orleans.fr (Postfix) with ESMTP id C0C5212AD55; Fri, 21 Nov 2008 10:24:27 +0100 (CET) Received: from [192.168.0.12] (ras75-4-82-235-58-110.fbx.proxad.net [82.235.58.110]) by smtps.univ-orleans.fr (Postfix) with ESMTP id 7865D36E61; Fri, 21 Nov 2008 10:24:28 +0100 (CET) Subject: Re: [Caml-list] About namespaces From: David Rajchenbach-Teller To: Christophe Raffalli Cc: Caml In-Reply-To: <4925DD43.1000700@univ-savoie.fr> References: <1227216556.7676.31.camel@Blefuscu> <4925DD43.1000700@univ-savoie.fr> Content-Type: text/plain Date: Fri, 21 Nov 2008 10:24:30 +0100 Message-Id: <1227259470.6486.7.camel@Blefuscu> Mime-Version: 1.0 X-Mailer: Evolution 2.12.1 Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; namespaces:01 ens-lyon:01 0100,:01 christophe:01 raffalli:01 low-level:01 higher-level:01 findlib:01 cheers:01 univ-orleans:01 lifo:01 liquidations:98 wrote:01 compile:01 clearer:01 On Thu, 2008-11-20 at 22:57 +0100, Christophe Raffalli wrote: > And what about include (it is your import) ? It allows what you want and > is short ? No, [include] is the low-level mechanism which must be used to implement the higher-level [import]. The main difference being that [import] needs to read information from all the (findlib) packages which are being used to compile your project and determine all the modules from each package which are registered as providing [List]. The programmer doesn't need to know the exact name of each module. Does that make things any clearer? Cheers, David -- David Teller-Rajchenbach Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Angry researcher: French Universities need reforms, but the LRU act brings liquidations.