From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA06702 for caml-red; Thu, 29 Jun 2000 18:47:30 +0200 (MET DST) 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 TAA09588 for ; Wed, 28 Jun 2000 19:30:15 +0200 (MET DST) Received: from miss.wu-wien.ac.at (miss.wu-wien.ac.at [137.208.107.17]) by nez-perce.inria.fr (8.10.0/8.10.0) with ESMTP id e5SHUEn24388 for ; Wed, 28 Jun 2000 19:30:14 +0200 (MET DST) Received: (from mottl@localhost) by miss.wu-wien.ac.at (8.9.0/8.9.0) id TAA28794; Wed, 28 Jun 2000 19:29:17 +0200 (MET DST) Date: Wed, 28 Jun 2000 19:29:16 +0200 From: Markus Mottl To: David Chemouil Cc: caml-list@inria.fr Subject: Re: convenient features Message-ID: <20000628192916.B18617@miss.wu-wien.ac.at> References: <3959C916.D1A3BDFD@enseeiht.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2i In-Reply-To: <3959C916.D1A3BDFD@enseeiht.fr>; from David.Chemouil@enseeiht.fr on Wed, Jun 28, 2000 at 11:44:54 +0200 Sender: weis@pauillac.inria.fr On Wed, 28 Jun 2000, David Chemouil wrote: > 1. One thing that really bothers me is the obligation to put object > files in the good order, when linking them. To my knowledge the reason for this is that you might otherwise have difficulties with linking, because some library may contain a module with the same name. By requiring correct order of files during linking, it is possible to "override" the names provided in libraries or earlier on the command line. E.g., if you want to use a different implementation for sets, just link against some other set.cmo: it overrides whatever was used before. > As it is possible to > generate the dependency graph (ocamldot does it), wouldn't it be > possible for the linker to "flatten" it, in order for it to find alone > the good order? Maybe a tool that prints out a correct order for a set of files would be helpful. This should be fairly easy to do - possibly just grab the code from ocamldot. Best regards, Markus Mottl -- Markus Mottl, mottl@miss.wu-wien.ac.at, http://miss.wu-wien.ac.at/~mottl