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 EAA05815; Thu, 14 Jun 2001 04:14:06 +0200 (MET DST) 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 EAA05684 for ; Thu, 14 Jun 2001 04:14:05 +0200 (MET DST) Received: from ext-ch1gw-1.online-age.net (ext-ch1gw-1.online-age.net [216.34.191.35]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f5E2E4T17657 for ; Thu, 14 Jun 2001 04:14:04 +0200 (MET DST) Received: from int-ch1gw-4.online-age.net (int-ch1gw-4 [3.159.232.68]) by ext-ch1gw-1.online-age.net (8.9.3+Sun/8.9.1/990426-RLH) with ESMTP id WAA09843; Wed, 13 Jun 2001 22:13:25 -0400 (EDT) Received: from uswaumsxb4medge.med.ge.com (localhost [127.0.0.1]) by int-ch1gw-4.online-age.net (8.9.3+Sun/8.9.1/990426-RLH) with ESMTP id WAA05993; Wed, 13 Jun 2001 22:13:25 -0400 (EDT) Received: by USWAUMSXB4MEDGE with Internet Mail Service (5.5.2653.19) id ; Wed, 13 Jun 2001 21:13:21 -0500 Received: from mrs.mrs.med.ge.com (MRS [3.57.196.1]) by uswaumsxbhmedge.med.ge.com with SMTP (Microsoft Exchange Internet Mail Service Version 5.5.2653.13) id M6S2PM8K; Wed, 13 Jun 2001 21:13:17 -0500 Received: (from gurr@localhost) by mrs.mrs.med.ge.com (8.9.3+Sun/8.9.3) id TAA08347; Wed, 13 Jun 2001 19:13:18 -0700 (PDT) From: David Gurr To: wester@ilt.fhg.de, garrigue@kurims.kyoto-u.ac.jp Cc: caml-list@inria.fr Date: Wed, 13 Jun 2001 19:13:18 -0700 (PDT) Message-Id: <200106140213.TAA08347@mrs.mrs.med.ge.com> Subject: Re: [Caml-list] Natively compiled code and toplevel X-Sun-Charset: US-ASCII Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > From owner-caml-list@pauillac.inria.fr Wed Jun 13 19:09:47 2001 > From: Jacques Garrigue > To: wester@ilt.fhg.de > Cc: caml-list@inria.fr > X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f > Subject: Re: [Caml-list] Natively compiled code and toplevel > Mime-Version: 1.0 > Content-Transfer-Encoding: 7bit > Date: Thu, 14 Jun 2001 11:06:45 +0900 > X-Dispatcher: imput version 20000228(IM140) > > > I looked over the mktoplevel manual and as far as I understand it is > > possible to link compiled C-code with the mktoplevel but not to link > > with natively compiled OCaml code. Am I right and why is this the case? > > > > Rolf > > You're right. To be efficient, native ocaml code does not use the same > conventions as C, so you cannot call a natively compiled ocaml function > as though it were a C function. > > Fabrice Le Fessant has done some work on the other way round. See > asmdynlink on this page: http://pauillac.inria.fr/~lefessan/src/. > The idea is to be able to execute ocaml bytecode inside a native > program. With a large amount of hacking, it should be possible to > build an ocaml.opt, which in turn would allow you to link the toplevel > with native code... > I'm not sure it is worth the pain. FWIW, Jocaml allows this and Jocaml is an extension of Ocaml. > > Cheers, > > Jacques Garrigue > ------------------- > Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ > 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/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr