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 NAA27035; Fri, 21 May 2004 13:29:51 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 NAA27012 for ; Fri, 21 May 2004 13:29:50 +0200 (MET DST) Received: from ptb-relay01.plus.net (ptb-relay01.plus.net [212.159.14.212]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i4LBTnEV006165 for ; Fri, 21 May 2004 13:29:49 +0200 Received: from [80.229.56.224] (helo=chetara) by ptb-relay01.plus.net with esmtp (Exim) id 1BR8Dl-000C8c-DH for caml-list@inria.fr; Fri, 21 May 2004 11:29:49 +0000 From: Jon Harrop Organization: University of Cambridge To: caml-list@inria.fr Subject: Re: [Caml-list] Large projects in OCaml Date: Fri, 21 May 2004 12:28:34 +0100 User-Agent: KMail/1.6.2 References: <20040519172442.30413.qmail@web14522.mail.yahoo.com> <200405202204.27693.jdh30@cam.ac.uk> <71024598-AAA6-11D8-A7CF-000A95A1E69A@csun.edu> In-Reply-To: <71024598-AAA6-11D8-A7CF-000A95A1E69A@csun.edu> MIME-Version: 1.0 Content-Disposition: inline Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Message-Id: <200405211228.34673.jdh30@cam.ac.uk> X-Miltered: at nez-perce with ID 40ADE82D.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 2004:99 mli:01 compiles:01 statically:01 cmo:01 cmo:01 ocaml:01 ocaml:01 recompile:01 lib:01 lib:01 writes:01 linking:02 linking:02 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Thursday 20 May 2004 22:41, you wrote: > ...There is no link phase (except linking > to external c libraries) at the start of an Ocaml program. Sure, so if someone buys my lib (in the form of .cmo and .mli files), writes their own code and compiles it into an executable then it should work forever. But I want them to be able to constantly write new code and recompile it (statically linking their .cmo files with mine), forever. If their code and my lib depend upon the same object file and it changes, then this will break and the only fix will be for them to get a new lib from me for the new version of their object file. If I am right, then I am afraid that this will put people off... Cheers, Jon. ------------------- 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