From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id MAA11521; Fri, 28 May 2004 12:14:52 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id MAA02643 for ; Fri, 28 May 2004 12:14:51 +0200 (MET DST) Received: from eris.rz.uni-saarland.de (eris.rz.uni-saarland.de [134.96.7.8]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i4SAEoEV003933 for ; Fri, 28 May 2004 12:14:50 +0200 Received: from uni-sb.de (uni-sb.de [134.96.7.230]) by eris.rz.uni-saarland.de (8.12.10/8.12.10) with ESMTP id i4SAEnYN8865522 for ; Fri, 28 May 2004 12:14:49 +0200 (CEST) Received: from cs.uni-sb.de (cs.uni-sb.de [134.96.252.31]) by uni-sb.de (8.12.11/2003073000) with ESMTP id i4SAEmYU022443 for ; Fri, 28 May 2004 12:14:48 +0200 (CEST) Received: from mail.cs.uni-sb.de (mail.cs.uni-sb.de [134.96.254.200]) by cs.uni-sb.de (8.12.11/2003091100) with ESMTP id i4SAEljT013012 for ; Fri, 28 May 2004 12:14:47 +0200 (CEST) Received: from mail.st.cs.uni-sb.de (goscinny.cs.uni-sb.de [134.96.235.32]) by mail.cs.uni-sb.de (8.12.11/2004041400) with ESMTP id i4SAEkts027722 for ; Fri, 28 May 2004 12:14:46 +0200 (CEST) X-Authentication-Warning: email: Host goscinny.cs.uni-sb.de [134.96.235.32] claimed to be mail.st.cs.uni-sb.de Received: from [134.96.235.101] (jonagold.cs.uni-sb.de [134.96.235.101]) by mail.st.cs.uni-sb.de (Postfix) with ESMTP id 7BA641BDDF for ; Fri, 28 May 2004 12:14:46 +0200 (CEST) Mime-Version: 1.0 (Apple Message framework v613) In-Reply-To: References: Content-Type: text/plain; charset=US-ASCII; format=flowed Message-Id: Content-Transfer-Encoding: 7bit From: Christian Lindig Subject: Re: [Caml-list] Proposal for separate compilation Date: Fri, 28 May 2004 12:14:37 +0200 To: Caml List X-Mailer: Apple Mail (2.613) X-AntiVirus: checked by AntiVir Milter 1.0.6; AVE 6.25.0.60; VDF 6.25.0.78 X-Miltered: at nez-perce with ID 40B7111A.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; lindig:01 lindig:01 uni-sb:01 caml-list:01 alain:01 frisch:01 stdlib:01 hash:01 generative:01 mli:01 module's:01 hash:01 compiler:01 cmo:01 semantics:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On May 28, 2004, at 11:55 AM, Alain Frisch wrote: > > The method used for generating of the uid for a given unit can be > decided > at compile time: one could compile some interfaces (like the stdlib) > with > a "transparent" semantics (the uid is a hash of the name, the content > of > the interface, and maybe a "salt" to be used as a namespace for the > library), and some with a generative semantics. When talking about the name of a module, I assume people so far refer to "a", when the file is actually /some/where/lib/a.{ml,mli,cmi,cmo}. Would it make sense to consider a configurable suffix of the file's path instead? Say, you can tell the compiler to consider "lib/a" or "where/lib/a" as the module's name when computing the hash. This would be similar to a "salt". The longer the path, the more difficult it will become to move files around; hence it is a guarantee, that the file is used in the proper context. -- Christian ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners