Re: [Caml-list] When to (not) use -no-naked-pointers?

[ygrek <ygrek@autistici.org>]

On Tue, 26 May 2015 16:42:23 +0100
Mark Shinwell <mshinwell@janestreet.com> wrote:

> A bit more detail following on from Fabrice's mail.  A "naked pointer"
> is traditionally used to describe a non-immediate value that is
> scanned by the GC and points outside the OCaml heap.  However, in the
> context of the "-no-naked-pointers" configuration option, there is a
> more specific meaning.  When the system is configured in this mode any
> naked pointer (an undesirable thing in any case) must be
> dereferenceable without a fault and point at a block that has the
> basic structure of an OCaml value.  In particular, there must be a
> valid header one word prior.  Such headers should be coloured black;
> if they are in read-only memory, they must be coloured black.

Hi,

 I wonder if there is a C define in caml runtime headers to test for this configuration feature?
 Because naturally the bindings author knows whether his code is compatible with this mode or not
 and could assert that during the build.. 

--