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 JAA16610; Mon, 21 Jul 2003 09:29:36 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 JAA19556 for ; Mon, 21 Jul 2003 09:29:34 +0200 (MET DST) Received: from lindig.dyndns.org (dialin-145-254-150-101.arcor-ip.net [145.254.150.101]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h6L7TWf13964 for ; Mon, 21 Jul 2003 09:29:32 +0200 (MET DST) Received: by lindig.dyndns.org (Postfix, from userid 1002) id 5625A5118; Sun, 20 Jul 2003 20:30:27 +0200 (CEST) Date: Sun, 20 Jul 2003 20:30:27 +0200 From: Christian Lindig To: Gerd Stolpmann Cc: BdB , Fernando Alegre , Shawn Wagner , caml-list@inria.fr Subject: Re: [Caml-list] GODI (was: CTAN/CPAN for Caml (COCAN ...?)) Message-ID: <20030720183027.GB559@eecs.harvard.edu> Mail-Followup-To: Christian Lindig , Gerd Stolpmann , BdB , Fernando Alegre , Shawn Wagner , caml-list@inria.fr References: <1058694948.6556.141.camel@ice.gerd-stolpmann.de> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <1058694948.6556.141.camel@ice.gerd-stolpmann.de> X-No-Archive: yes X-URL: http://www.eecs.harvard.edu/~lindig/ User-Agent: Mutt/1.5.4i X-Loop: caml-list@inria.fr X-Spam: no; 0.00; lindig:01 caml-list:01 cpan:01 gerd:01 stolpmann:01 disambiguate:01 decoupling:01 flags:01 compiler:01 caml:01 sig:01 0200,:01 syntax:02 module:03 directive:03 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Sun, Jul 20, 2003 at 11:55:49AM +0200, Gerd Stolpmann wrote: > I have an alternative, the "relational solution". > module M = sig > attributes > author = "Gerd Stolpmann", > organization = "ocaml-programming.de", > version = "42.5" > > ... further signature ... > end > > You can now disambiguate module names by these attributes, e.g. > > open M[author="Gerd Stolpmann"] > open M[version>="42.0"] This is a fresh idea. But I get the impression that the essence of it is to decouple the name of a module from the name of the file that contains it. Somebody suggested already an -alias directive for similar purposes. We have to decide whether we want this decoupling to happen at the level of the language (i.e. new syntax), or only the level of its implementation (i.e. new compiler flags). Right now, the mapping of module names to files is a matter of the compiler and mostly invisible at the language level. -- 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