From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id JAA01197 for caml-redistribution; Wed, 23 Jul 1997 09:56:31 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id BAA24614 for ; Wed, 23 Jul 1997 01:56:23 +0200 (MET DST) Received: from csla.csl.sri.com (csla.csl.sri.com [192.12.33.2]) by concorde.inria.fr (8.8.5/8.8.5) with ESMTP id BAA26071 for ; Wed, 23 Jul 1997 01:56:21 +0200 (MET DST) Received: from tulip.csl.sri.com (tulip.csl.sri.com [192.12.33.205]) by csla.csl.sri.com (8.8.5/8.8.5) with ESMTP id QAA20713; Tue, 22 Jul 1997 16:52:23 -0700 (PDT) Received: (from monniaux@localhost) by tulip.csl.sri.com (8.7.3/8.7.3) id QAA07214; Tue, 22 Jul 1997 16:45:26 -0700 (PDT) Date: Tue, 22 Jul 1997 16:45:26 -0700 (PDT) Message-Id: <199707222345.QAA07214@tulip.csl.sri.com> From: David Monniaux To: stodghil@cs.cornell.edu CC: caml-list@pauillac.inria.fr In-reply-to: (message from Paul Stodghill on 22 Jul 1997 10:19:21 -0400) Subject: Re: Managing module names Sender: weis [En Francais: pourquoi ne pas profiter du systeme de fichiers pour rendre plus souple l'usage de la hierarchie de modules?] Concerning the module namespace: as far as I know, Java uses some mapping of the namespace onto the filesystem, allowing easy filing of libraries. Caml has a hierarchized modules system, but only allows toplevel modules to be mapped into files. Would it be possible to make up some scheme that would to things like: /graphics/blackwhite/main -> Graphics.Blackwhite.Main ? Or, better: would it be interesting according to other users? -- David Monniaux, graduate student from ENS Lyon, France Now at: Computer science laboratory SRI International Formal methods group Menlo Park, CA, US