From: Alain Frisch <alain@frisch.fr>
To: Jon Harrop <jon@ffconsultancy.com>
Cc: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] Using dynlink (native code and byte code) for the build system
Date: Thu, 31 Jan 2008 17:46:37 +0100 [thread overview]
Message-ID: <47A1FB6D.3030104@frisch.fr> (raw)
In-Reply-To: <200801311448.38703.jon@ffconsultancy.com>
Jon Harrop wrote:
> FWIW, I think natdynlink should be a core feature of OCaml going forwards
> because it is useful in so many circumstances, not least the performant
> top-level.
As you know, the current implementation of natdynlink relies on the
dynamic library layer of the underlying OS. Some systems don't have
dynamic libraries at all and some systems put strong constraints on what
can be put in them (e.g. "no reference to undefined symbols" or
"position-independent code"), which require changes to the ocamlopt
backend or other hacks.
A nicer version of natdynlink (and of the native toplevel) could be
obtained by basing it on an LLVM backend for ocamlopt. (And I'm sure the
MetaOCaml guys would also love such a backend.)
-- Alain
next prev parent reply other threads:[~2008-01-31 16:46 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-01-31 10:02 Berke Durak
2008-01-31 14:49 ` [Caml-list] " Alain Frisch
2008-01-31 14:48 ` Jon Harrop
2008-01-31 14:59 ` Berke Durak
2008-01-31 14:58 ` Jon Harrop
2008-01-31 16:46 ` Alain Frisch [this message]
2008-02-01 16:21 ` Jon Harrop
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=47A1FB6D.3030104@frisch.fr \
--to=alain@frisch.fr \
--cc=caml-list@yquem.inria.fr \
--cc=jon@ffconsultancy.com \
/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