From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA11186 for caml-redistribution; Mon, 20 Dec 1999 17:18:04 +0100 (MET) 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 OAA28558 for ; Mon, 20 Dec 1999 14:40:50 +0100 (MET) Received: from nenuphar.saclay.cea.fr (nenuphar.saclay.cea.fr [132.166.192.7]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id OAA16448 for ; Mon, 20 Dec 1999 14:40:48 +0100 (MET) Received: from orion.serma.cea.fr (orion.serma.cea.fr [132.166.151.161]) by nenuphar.saclay.cea.fr (8.9.1a/8.9.1/CEAnet-relay-5.0.D20) with ESMTP id OAA03578 for ; Mon, 20 Dec 1999 14:40:48 +0100 (MET) Received: from cea.fr (localhost [127.0.0.1]) by orion.serma.cea.fr (8.9.3/8.8.7) with ESMTP id OAA32308 for ; Mon, 20 Dec 1999 14:40:47 +0100 Sender: weis Message-ID: <385E31DF.155B6751@cea.fr> Date: Mon, 20 Dec 1999 13:40:47 +0000 From: Patrick Goldbronn - SYSCO Organization: CEA X-Mailer: Mozilla 4.61 [en] (X11; I; Linux 2.2.9-27mdksmp-fb i686) X-Accept-Language: fr-FR, en MIME-Version: 1.0 To: "Inria, caml" Subject: interfacing ocaml and external structure Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Content-Transfer-Encoding: 8bit Hello, I saw some messages about external structure (such "large array") and interfaces with ocaml. With the function alloc_final, we can give the free function of the external type to GC. I think the other interesting feature to use in ocaml is marshalling (perhaps there are others). Do you think it is possible to give, like the free function, the marshall function for an external type ? I don't know if marshalling is hard to understand and/or apply but it could be an intermediate solution to use external type. Perhaps it's impossible (I know nothing about the theorical implication :( ) ? Thanks, -- ##################################### # Patrick GOLDBRONN # # CEA - DRN/DMT/SYSCO # # CE-Saclay, Bâtiment 460 # # 91191 GIF/YVETTE CEDEX (FRANCE) # # # # Tél : 01 69 08 73 55 # # Fax : 01 69 08 96 96 # #####################################