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 SAA05339; Sun, 2 May 2004 18:50:20 +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 SAA05312 for ; Sun, 2 May 2004 18:50:19 +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 i42GoIEV030705 for ; Sun, 2 May 2004 18:50:18 +0200 Received: from [80.229.56.224] (helo=chetara) by ptb-relay01.plus.net with esmtp (Exim) id 1BKKAT-000PVV-Q4 for caml-list@inria.fr; Sun, 02 May 2004 16:50:17 +0000 From: Jon Harrop Organization: University of Cambridge To: caml-list Subject: Re: [Caml-list] Functors Date: Sun, 2 May 2004 17:49:55 +0100 User-Agent: KMail/1.5.4 References: <200405021434.22102.jdh30@cam.ac.uk> <1083507162.20722.351.camel@pelican.wigram> In-Reply-To: <1083507162.20722.351.camel@pelican.wigram> MIME-Version: 1.0 Content-Disposition: inline Message-Id: <200405021559.44159.jdh30@cam.ac.uk> Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit X-Miltered: at nez-perce with ID 409526CA.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 functors:01 2004:99 instantiate:01 functor:01 compile-time:01 link-time:01 executable:03 wrote:03 dll:03 inline:03 interface:03 suspect:05 cheers:06 body:93 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Sunday 02 May 2004 15:12, skaller wrote: > ... > When you instantiate a Set.Make .. you only have > the interface. Hard to inline without actually having > the body of the functor.. Sure, so you can't do it if you're creating a DLL for the OS to handle. But if you're making an executable, as I suspect most of us are, then you can do it (perhaps at compile-time, definitely by link-time). 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