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 TAA14444; Wed, 23 Jul 2003 19:56:48 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 TAA13711 for ; Wed, 23 Jul 2003 19:56:37 +0200 (MET DST) Received: from opus.davidb.org (66-75-152-1.san.rr.com [66.75.152.1]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h6NHuYT11421; Wed, 23 Jul 2003 19:56:35 +0200 (MET DST) Received: from davidb by opus.davidb.org with local (Exim 3.31 #1 (Debian)) id 19fNql-0002kM-00; Wed, 23 Jul 2003 10:56:27 -0700 Date: Wed, 23 Jul 2003 10:56:27 -0700 From: David Brown To: Xavier Leroy Cc: Gerd Stolpmann , caml-list@inria.fr Subject: Re: [Caml-list] GODI (was: CTAN/CPAN for Caml (COCAN ...?)) Message-ID: <20030723175627.GA10475@davidb.org> References: <20030715180953.GA8821@redhat.com> <3F17AC55.7050908@ozemail.com.au> <20030718072901.A11777@speakeasy.org> <1058615717.6545.84.camel@ice.gerd-stolpmann.de> <20030723113546.A24774@pauillac.inria.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20030723113546.A24774@pauillac.inria.fr> User-Agent: Mutt/1.5.4i X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 cpan:01 finer:01 submodules:01 sub-modules:01 compiler:01 implements:01 compilers:01 semantics:01 ocaml:01 caml:01 gnat:01 0200,:01 syntax:02 modules:02 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Wed, Jul 23, 2003 at 11:35:46AM +0200, Xavier Leroy wrote: > Finally, as this discussion demonstrates eloquently, there is no > obviously good solution to the name space management problem. Yes, > various things can be done either at the language level or at the > compiler level to support finer identification and re-naming of > compilation units. But I'd rather not settle on a half-baked solution > to a non-acute problem. Did anyone read my proposal to allow submodules to be compiled in separate files? I didn't see any feedback. Perhaps it was so confusing that nobody understood it. There are several other languages/compilers that use a technique like this. It probably can be done with very minor changes to the language (probably no syntax change, just adding the semantics of modules in separate files). GHC implements it one way, whereas GNAT implements it a different way. I think discussing it could point to a clean implementation. The advantage is that there is nothing new added to the language. I can place my library as sub-modules of another module, and yet have them as separate files. I also disagree that the namespace problem is a minor issue. I think it will be a hindrance to use of Ocaml for moderate to large projects. Dave ------------------- 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