From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <ygrek@autistici.org>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id DCD867EEBF
	for <caml-list@sympa.inria.fr>; Sun,  5 Jul 2015 04:40:33 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  ygrek@autistici.org) identity=pra; client-ip=94.23.50.208;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="ygrek@autistici.org";
  x-sender="ygrek@autistici.org"; x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  ygrek@autistici.org designates 94.23.50.208 as permitted
  sender) identity=mailfrom; client-ip=94.23.50.208;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="ygrek@autistici.org";
  x-sender="ygrek@autistici.org";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  postmaster@perdizione.investici.org designates 94.23.50.208
  as permitted sender) identity=helo; client-ip=94.23.50.208;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="ygrek@autistici.org";
  x-sender="postmaster@perdizione.investici.org";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0AMBQDvl5hVnNAyF15chEbFOAIodkwBAQEBAQESAQEBAQEICwkJIS5BAQICg1UJAQEDAToGAQE3AQQLCwkYJQ9IGYVzgjQMr1+FVAEFkQMBAQEBAQEEAQEBAQEXBotLhQYHgneBNI0Nhw2BNIozAYg8kBqEQU+CSwEBBQ
X-IPAS-Result: A0AMBQDvl5hVnNAyF15chEbFOAIodkwBAQEBAQESAQEBAQEICwkJIS5BAQICg1UJAQEDAToGAQE3AQQLCwkYJQ9IGYVzgjQMr1+FVAEFkQMBAQEBAQEEAQEBAQEXBotLhQYHgneBNI0Nhw2BNIozAYg8kBqEQU+CSwEBBQ
X-IronPort-AV: E=Sophos;i="5.15,408,1432591200"; 
   d="scan'208";a="138989166"
Received: from perdizione.investici.org ([94.23.50.208])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 05 Jul 2015 04:40:33 +0200
Received: from [94.23.50.208] (perdizione [94.23.50.208]) (Authenticated sender: ygrek@autistici.org) by localhost (Postfix) with ESMTPSA id 8F51E120E61
	for <caml-list@inria.fr>; Sun,  5 Jul 2015 02:40:29 +0000 (UTC)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=autistici.org;
	s=stigmate; t=1436064030;
	bh=9477mWj4ytDiyT9QHOhRULqQOyMd5lCG8BW32exaBJg=;
	h=Date:From:Cc:Subject:In-Reply-To:References;
	b=V9YuqNfD7DndRAOUq2tfgYKx2pwXueVEr6UdjuhJBpsKMMGNA98m2jYo8KXzCGbUh
	 9D3Y6UPAFG+oaoeSc/RH9WtamakBEUpb3dZ9F1ZcCn9ZNQlMNCWuZsS4u3kpO6BEsm
	 Q0zFJvPp/eYuxwaoFFTyHJPwWcVbpY34fyP99fPI=
Date: Sat, 4 Jul 2015 19:40:27 -0700
From: ygrek <ygrek@autistici.org>
Cc: <caml-list@inria.fr>
Message-ID: <20150704194027.1e7cd196@kiwi.local.tld>
In-Reply-To: <20150526102146.721d236c@kiwi.local.tld>
References: <CABVpgLXPre+Q62RasDgjUPS_f2+7mPYSsvn+wBxvWTwnh2SrZQ@mail.gmail.com>
	<CAHvkLrPehoTDNn6qS-iM-6gQupr3GheOiNgqErZTW_XLF8707A@mail.gmail.com>
	<CAM3Ki774wFiGHY2k2JBmhbXeVOC41jo23BXWq86em2uKnfJw8Q@mail.gmail.com>
	<20150526102146.721d236c@kiwi.local.tld>
X-Mailer: Claws Mail 3.11.1 (GTK+ 2.24.25; x86_64-pc-linux-gnu)
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Subject: Re: [Caml-list] When to (not) use -no-naked-pointers?

On Tue, 26 May 2015 10:21:46 -0700
ygrek <ygrek@autistici.org> wrote:

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

Answering my own question, NO_NAKED_POINTERS will be defined in config.h if this feature is enabled.

--