From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 11AA1BB81 for ; Wed, 28 Sep 2005 11:05:00 +0200 (CEST) Received: from kurims.kurims.kyoto-u.ac.jp (kurims.kurims.kyoto-u.ac.jp [130.54.16.1]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j8S94wp2019622 for ; Wed, 28 Sep 2005 11:04:59 +0200 Received: from localhost (suiren [130.54.16.25]) by kurims.kurims.kyoto-u.ac.jp (8.13.1/8.13.1) with ESMTP id j8S94dUZ023891; Wed, 28 Sep 2005 18:04:41 +0900 (JST) Date: Wed, 28 Sep 2005 12:05:31 +0300 (EEST) Message-Id: <20050928.120531.71085519.garrigue@math.nagoya-u.ac.jp> To: jonathan.roewen@gmail.com Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Dynamic linking From: Jacques Garrigue In-Reply-To: <20050926.141430.59032287.garrigue@math.nagoya-u.ac.jp> References: <20050926.141430.59032287.garrigue@math.nagoya-u.ac.jp> X-Mailer: Mew version 4.2 on Emacs 21.3 / Mule 5.0 (SAKAKI) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Miltered: at nez-perce with ID 433A5CBA.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 ocaml:01 metaocaml:01 jacques:01 jacques:01 native:02 linking:03 linking:03 garrigue:03 garrigue:03 dynamic:03 dynamic:03 exist:12 but:12 but:12 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.4 required=5.0 tests=DNS_FROM_RFC_ABUSE autolearn=disabled version=3.0.3 Follow-up on dynamic linking for native code: I believed this didn't exist for ocaml, but I just learned that MetaOCaml does it, at least on x86. So this is not only possible, but an implementation is available. (I understand this is partly work in progress.) Jacques Garrigue