From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p7A6hqk8029359
	for <caml-list@sympa-roc.inria.fr>; Wed, 10 Aug 2011 08:43:52 +0200
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Am4DAJcnQk7RVdQ2kGdsb2JhbABBmCqGd4gdCBQBAQEBCQkNBxQEIYE3CQEBAQECARICLAEbHgMBCwYFAwEHOyIBEQEFARw7h0sEoH0KjDGCVYRWO4htAgMGhkAEkwmIOYQaPINg
X-IronPort-AV: E=Sophos;i="4.67,349,1309730400"; 
   d="scan'208";a="105126340"
Received: from mail-vw0-f54.google.com ([209.85.212.54])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 10 Aug 2011 08:43:47 +0200
Received: by vws18 with SMTP id 18so1141547vws.27
        for <caml-list@inria.fr>; Tue, 09 Aug 2011 23:43:46 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=mime-version:in-reply-to:references:from:date:message-id:subject:to
         :content-type;
        bh=uC0s3j2hDzWWkWzofk6mfbN4IFiyPzbG+ULvFgDmAUE=;
        b=CGbyaGbvv3yPiRjgu4fLwyDlIXuk8MUJplFhfTSWRHSUKNirDTj8kpkqgAM2jtHE43
         SZCaT6DkTf4SSeQmtzXXQwmUy1T2EOg4CgJDKysZ6Ao8s7YChIF/3ot08ZRKDXqX4We3
         MzCPjbZR4u7NTtrurF+Ki0TEZUyI1iocaBqa4=
Received: by 10.52.93.113 with SMTP id ct17mr8039972vdb.231.1312958624280;
 Tue, 09 Aug 2011 23:43:44 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.52.159.10 with HTTP; Tue, 9 Aug 2011 23:43:24 -0700 (PDT)
In-Reply-To: <20110810085357.73059efd1f39ef2e9466ccd3@mega-nerd.com>
References: <20110808131504.d9137220d4b4401cc3450e5a@mega-nerd.com>
 <20110808035322.GI29083@localhost> <20110808174619.00b76d12a02f2c58c10c0108@mega-nerd.com>
 <20110808080356.GD29083@localhost> <4E401BC7.5040001@inria.fr>
 <20110809113359.c306a95842c0c86ea160025d@mega-nerd.com> <20110810085357.73059efd1f39ef2e9466ccd3@mega-nerd.com>
From: Gabriel Scherer <gabriel.scherer@gmail.com>
Date: Wed, 10 Aug 2011 08:43:24 +0200
Message-ID: <CAPFanBGhQszWbvsSaRL+MWRGhiY2zS0BR=NjHMEOKeyLipO=qg@mail.gmail.com>
To: caml-list@inria.fr
Content-Type: multipart/alternative; boundary=20cf3071c7d467b0fd04aa210058
Subject: Re: [Caml-list] Val_int vs caml_copy_nativeint


--20cf3071c7d467b0fd04aa210058
Content-Type: text/plain; charset=ISO-8859-1

Erik de Castro Lopo wrote:

>  b) caml_copy_nativeint creates a boxed native int (either Int32.t
>    or Int64.t) not an unboxed Ocaml int. To create an unboxed
>    Ocaml int, Val_int() is the correct macro.
>

caml_copy_nativeint returns a element of the OCaml type 'nativeint':
  http://caml.inria.fr/pub/docs/manual-ocaml/libref/Nativeint.html

The caml_copy_* documentation:
  http://caml.inria.fr/pub/docs/manual-ocaml/manual032.html#htoc238

--20cf3071c7d467b0fd04aa210058
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

<div class=3D"gmail_quote">Erik de Castro Lopo wrote:<br><blockquote class=
=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1px #ccc solid;padd=
ing-left:1ex;">=A0b) caml_copy_nativeint creates a boxed native int (either=
 Int32.t<br>


 =A0 =A0or Int64.t) not an unboxed Ocaml int. To create an unboxed<br>
 =A0 =A0Ocaml int, Val_int() is the correct macro.<br></blockquote><div><br=
>caml_copy_nativeint returns a element of the OCaml type &#39;nativeint&#39=
;:<br>=A0 <a href=3D"http://caml.inria.fr/pub/docs/manual-ocaml/libref/Nati=
veint.html">http://caml.inria.fr/pub/docs/manual-ocaml/libref/Nativeint.htm=
l</a><br>

<br>The caml_copy_* documentation:<br>=A0 <a href=3D"http://caml.inria.fr/p=
ub/docs/manual-ocaml/manual032.html#htoc238">http://caml.inria.fr/pub/docs/=
manual-ocaml/manual032.html#htoc238</a><br></div></div>

--20cf3071c7d467b0fd04aa210058--