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 WAA03644; Tue, 22 Oct 2002 22:39:47 +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 WAA04060 for ; Tue, 22 Oct 2002 22:39:46 +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 g9MKdj501319 for ; Tue, 22 Oct 2002 22:39:45 +0200 (MET DST) Received: (from uucp@localhost) by relay.rinet.ru (8.11.6/8.11.6) with UUCP id g9MKdjT18116; Wed, 23 Oct 2002 00:39:45 +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 1845oG-00072p-00; Wed, 23 Oct 2002 00:39:29 +0400 X-Comment-To: Alain Frisch To: Alain Frisch Cc: caml-list@inria.fr Subject: Re: [Caml-list] Error during partial linking References: From: Dmitry Bely Date: Wed, 23 Oct 2002 00:37:33 +0400 In-Reply-To: (Alain Frisch's message of "Tue, 22 Oct 2002 22:25:22 +0200 (MET DST)") Message-ID: 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 Alain Frisch writes: >> 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. > > In which cases would we need -nostd ? The only harm an "open" statement > can do is to hide previous definitions, but if it is inserted > automatically at the beginning, what's the problem ? I meant programmers should manually add "open Std" to the existing sources using a text editor. I would prefer no auto open of Std (old C++ habits :-)), buf of course I can live with it. BTW, if you think "-nostd" is not necessary, why we have "-nopervasives" option? - 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