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 LAA31845; Sat, 15 Mar 2003 11:58:49 +0100 (MET) 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 LAA30843 for ; Sat, 15 Mar 2003 11:58:48 +0100 (MET) Received: from fichte.ai.univie.ac.at (fichte.ai.univie.ac.at [131.130.174.156]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h2FAwlf02439 for ; Sat, 15 Mar 2003 11:58:47 +0100 (MET) Received: from fichte.ai.univie.ac.at (markus@localhost.ai.univie.ac.at [127.0.0.1]) by fichte.ai.univie.ac.at (8.12.3/8.12.3/Debian-5) with ESMTP id h2FAwkV7028646 for ; Sat, 15 Mar 2003 11:58:46 +0100 Received: (from markus@localhost) by fichte.ai.univie.ac.at (8.12.3/8.12.3/Debian-5) id h2FAwkgW028645 for caml-list@pauillac.inria.fr; Sat, 15 Mar 2003 11:58:46 +0100 Date: Sat, 15 Mar 2003 11:58:46 +0100 From: Markus Mottl To: caml-list@pauillac.inria.fr Subject: Re: [Caml-list] Re: Haskell-like syntax Message-ID: <20030315105846.GA28233@fichte.ai.univie.ac.at> Mail-Followup-To: caml-list@pauillac.inria.fr References: <005d01c2e76f$92d0f8b0$2713f9ca@WARP> <20030314003336.D748@max.home> <20030315013056.C5826@max.home> <200303141301.59458.seth@cql.com> <20030315082727.E5826@max.home> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20030315082727.E5826@max.home> User-Agent: Mutt/1.4i Organization: Austrian Research Institute for Artificial Intelligence X-Spam: no; 0.00; caml-list:01 haskell-like:01 kirillov:01 millenium:01 mli-files:01 initialized:01 cmo:01 syntax:02 signatures:02 mottl:02 linking:02 modules:02 explicit:03 typing:03 wrote:03 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Sat, 15 Mar 2003, Max Kirillov wrote: > Just imagine -- it the third millenium, compiling the "best language", > we need carefully order the .cmo files. Doing this also would push the > "mutually recursive modules" problem. Things are not this easy: the order is actually required for linking, not for compiling (as long as you provide explicit signatures in .mli-files). The order during linking determines in which order side effects will be caused when values are initialized, which only the user can know. Furthermore, the "mutually recursive modules"-problem is more of a typing problem than one of compilation. Regards, Markus Mottl -- Markus Mottl markus@oefai.at Austrian Research Institute for Artificial Intelligence http://www.oefai.at/~markus ------------------- 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