interfacing ocaml and external structure

[Patrick Goldbronn - SYSCO <patrick.goldbronn@cea.fr>]

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              #
#####################################