From: Xavier Leroy <Xavier.Leroy@inria.fr>
To: Patrick Goldbronn - SYSCO <patrick.goldbronn@cea.fr>,
"Inria, caml" <caml-list@inria.fr>
Subject: Re: interfacing ocaml and external structure
Date: Thu, 23 Dec 1999 15:31:35 +0100 [thread overview]
Message-ID: <19991223153135.43308@pauillac.inria.fr> (raw)
In-Reply-To: <385E31DF.155B6751@cea.fr>; from Patrick Goldbronn - SYSCO on Mon, Dec 20, 1999 at 01:40:47PM +0000
> 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 ?
Yes, we have some work in progress in this direction. The idea is
to attach to "finalized" blocks a record of C functions, supporting
not only finalization, but also equality test, hashing, marshalling
and unmarshalling. This would be useful not only for large arrays,
but also for other datatypes in the Caml library such as big integers.
- Xavier Leroy
prev parent reply other threads:[~1999-12-23 16:38 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-12-20 13:40 Patrick Goldbronn - SYSCO
1999-12-23 14:31 ` Xavier Leroy [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=19991223153135.43308@pauillac.inria.fr \
--to=xavier.leroy@inria.fr \
--cc=caml-list@inria.fr \
--cc=patrick.goldbronn@cea.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).