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 RAA09808; Fri, 22 Mar 2002 17:33:56 +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 RAA10141 for ; Fri, 22 Mar 2002 17:33:55 +0100 (MET) Received: from lobus.fungible.com (adsl-64-161-114-6.dsl.snfc21.pacbell.net [64.161.114.6]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g2MGXr512593; Fri, 22 Mar 2002 17:33:53 +0100 (MET) Received: by lobus.fungible.com (Postfix, from userid 1000) id 7D7888086; Fri, 22 Mar 2002 08:33:51 -0800 (PST) Message-Id: <4518-Fri22Mar2002083351-0800-tim@fungible.com> X-Mailer: emacs 21.1.1 (via feedmail 8 I) Date: Fri, 22 Mar 2002 08:12:39 -0700 From-Tims-Fingers: true To: Dave@kal.com Cc: xavier.leroy@inria.fr, jehenrik@yahoo.com, caml-list@inria.fr In-reply-to: <8E31D6933A2FE64F8AE3CC1381EEDCE72A0A43@NT.kal.com> (Dave@kal.com) Subject: Sample code (was Re: [Caml-list] The DLL-hell of O'Caml) References: <8E31D6933A2FE64F8AE3CC1381EEDCE72A0A43@NT.kal.com> From: tim@fungible.com (Tim Freeman) Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk From: "Dave Berry" >You can drop a version of our >utilities DLL compiled last night into a distribution from two years >ago, and your distribution will carry on working as if nothing had >changed. So it is possible, even on Microsoft systems, given sufficient >care on the part of the designers. > >What would be nice would be a type system that could ensure this for us. >There's some opportunities for academic research here, surely? I proposed a scheme for ensuring type-safety in this situation on this mailing list yesterday morning, along with a concrete example. No replies yet. The message is in the archives at: http://caml.inria.fr/archives/200203/msg00158.html If you don't want to unpack the sample code from the email, you may download it from http://www.fungible.com/dll-example.tar.gz This file is only 1418 bytes. -- Tim Freeman tim@fungible.com ------------------- 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