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 WAA03023; Tue, 22 Oct 2002 22:08:57 +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 WAA03196 for ; Tue, 22 Oct 2002 22:08:56 +0200 (MET DST) Received: from relay.rinet.ru (relay.rinet.ru [195.54.192.35]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g9MK8t500323 for ; Tue, 22 Oct 2002 22:08:55 +0200 (MET DST) Received: (from uucp@localhost) by relay.rinet.ru (8.11.6/8.11.6) with UUCP id g9MK8s216175 for caml-list@inria.fr; Wed, 23 Oct 2002 00:08:54 +0400 (MSD) X-Envelope-To: caml-list@inria.fr Received: from dialin1.stormoff (ROVER1) [192.168.0.129] by stormoff with esmtp (Exim 3.12 #1 (Debian)) id 1845KP-00071L-00; Wed, 23 Oct 2002 00:08:38 +0400 X-Comment-To: brogoff@speakeasy.net To: caml-list@inria.fr Subject: Re: [Caml-list] Error during partial linking References: From: Dmitry Bely Date: Wed, 23 Oct 2002 00:06:41 +0400 In-Reply-To: (brogoff@speakeasy.net's message of "Tue, 22 Oct 2002 10:21:07 -0700 (PDT)") Message-ID: <1y6iw84u.fsf@mail.ru> User-Agent: Gnus/5.090005 (Oort Gnus v0.05) XEmacs/21.4 (Common Lisp (Windows [3]), i586-pc-win32) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk brogoff@speakeasy.net writes: >> Coming back to your initial desire to "pack" Baire (if I may say so), >> I would very strong advise Diego to name his "List" module something >> else, to avoid conflict with the standard library module of the same >> name. The hypothesis that compilation units are identified by unique >> names is really essential to the way the OCaml compilers work. I know >> it's sometimes an annoyance (all cool names are already taken by the >> standard lib :-), but you're really going to run into trouble with >> name conflicts. > > This is one of those things that's always troubled me (perhaps there's another > petty complaint coming up) about OCaml. In a language with a hierarchical > module system, it seems that we should be able to avoid such problems by > having the standard library packages nested under a "Std" module, or something > like that, so that List, Array, etc., become Std.List, Std.Array, etc, as we > do now for the labeled modules. That was exactly my proposal some time ago: http://caml.inria.fr/archives/200208/msg00432.html > I suppose it's too late now for such a change, No way! It would only require adding "open Std" to the existing sources. But we can even introduce it transparately (although I think it is really not necessary): open Std by default (like Pervasives) and having a compiler flag "-nostd" (like "-nopervasives") to disable this auto open. > but I'm pretty sympathetic to > people who grouse over the fact that lots of good names are taken. Everybody except Ocaml developers seems to agree that the standard library in Std module is a good idea :-) - Dmitry Bely ------------------- 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