From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 810C07F0BA for ; Sun, 25 Sep 2016 10:03:02 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=edgar.factorial@gmail.com; spf=Pass smtp.mailfrom=edgar.factorial@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f52.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of edgar.factorial@gmail.com) identity=pra; client-ip=74.125.82.52; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="edgar.factorial@gmail.com"; x-sender="edgar.factorial@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of edgar.factorial@gmail.com designates 74.125.82.52 as permitted sender) identity=mailfrom; client-ip=74.125.82.52; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="edgar.factorial@gmail.com"; x-sender="edgar.factorial@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wm0-f52.google.com) identity=helo; client-ip=74.125.82.52; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="edgar.factorial@gmail.com"; x-sender="postmaster@mail-wm0-f52.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A+g854RapSuYVqFb9YXiW8Uf/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZpsu4bnLW6fgltlLVR4KTs6sC0LuM9fm5EjVRqdbZ6TZZL8wKD0dEwe?= =?us-ascii?q?wt3CUeQ+e9QXXhK/DrayFoVO9jb3RCu0+BDE5OBczlbEfTqHDhpRQbGxH4KBYn?= =?us-ascii?q?br+tQt2a3IyL0LW58pjXJgFJnyaVYLVoLRzwox+CmNMRhN5PJqk40FPg6i9Fd+?= =?us-ascii?q?tf3yVmLFmPmAz978OY85tq8iAWsPUkoZ0TGZ7mdrg1GOQLRA8tNHo4sZXm?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DTAABYhOdXfzRSfUpcHRgHCwEBFgEBB?= =?us-ascii?q?QEBgwMBAQEBAYFxrSOCe4EjhFqCZYIEh1g4FAEBAQEBAQEBAQEBEgEBCQsLCRc?= =?us-ascii?q?xQRKBXxiCMBEdARseAxIQDwImAiURAQUBV4gOAQMXBKEFggeBMj4yiz2Ba4JfB?= =?us-ascii?q?YNaChknDVOCbwEKAQEBARoCBhB2hy0Ih2CCOCuCLwWPK4pLgTqKAYNPXoFYFoR?= =?us-ascii?q?kgwYOhgWPJTGBER6FW1KBeoRyAQEB?= X-IPAS-Result: =?us-ascii?q?A0DTAABYhOdXfzRSfUpcHRgHCwEBFgEBBQEBgwMBAQEBAYF?= =?us-ascii?q?xrSOCe4EjhFqCZYIEh1g4FAEBAQEBAQEBAQEBEgEBCQsLCRcxQRKBXxiCMBEdA?= =?us-ascii?q?RseAxIQDwImAiURAQUBV4gOAQMXBKEFggeBMj4yiz2Ba4JfBYNaChknDVOCbwE?= =?us-ascii?q?KAQEBARoCBhB2hy0Ih2CCOCuCLwWPK4pLgTqKAYNPXoFYFoRkgwYOhgWPJTGBE?= =?us-ascii?q?R6FW1KBeoRyAQEB?= X-IronPort-AV: E=Sophos;i="5.30,392,1470693600"; d="scan'208";a="238159394" Received: from mail-wm0-f52.google.com ([74.125.82.52]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 25 Sep 2016 10:02:28 +0200 Received: by mail-wm0-f52.google.com with SMTP id l132so100162814wmf.0 for ; Sun, 25 Sep 2016 01:02:28 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:content-transfer-encoding:subject:message-id:date:to :mime-version; bh=DV52Z513QGXltmDKZ7KCeVwRvTFPzBnLYudNUoPhwFE=; b=nFyaKu2GUsaNdhMkMR33H/B6BhmCy1HG1bBHUsplsaqn6Y9sAOLZrxzCt6nF+aOMZL MR//j8dvUjUiI3vlLNTMmOyOVGiWXiNaI60sLhiPLjWHVt4gWhcd1zrDCYT6DOEjIYe1 iA5dgZRaJvAo8L1YbGPtHLx9ACVKUs6DpdB6HRbixFj/D4DgDsd/5oSkBuh/xYKb6j3M fsKyoXumxAqIn6CmF36f/FBf1eL8s2glHKctzsJq2a+c2H81ZU3JxhLQEWK2kvXk8oLQ fnR6yqIcNmB2/7gXK91VDpaEB/GAsgqwBeEAJEJKFmA9Ar0CmMEdEtjI9in2ID0HK5zo n0Dg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:from:content-transfer-encoding:subject :message-id:date:to:mime-version; bh=DV52Z513QGXltmDKZ7KCeVwRvTFPzBnLYudNUoPhwFE=; b=h1vOFrVQTry7QhPGYMhhO/q/1YXmJETvV1HQFyH6kYt3tTbGBg5lAEwJC1p3l5rtCp nGSg3ETRBxxpttB1HyRTGF3mJ2mtuUorScHEbgZntd47BjQ9uIHBVGcw36GLsZNZ0AaM KAtxk2tSy7tmZLY49OAuENbiX61Oe7RegMg8OIy0ipdwd2sf0yBTzKto02Z329sZUBds I5M/WIdBIepcDaeXObe0EHe2vE5vp30Mq38prJvCTK8qFiNsMbVM5sy9Wx1gMRzehj1Q D+dK6jDFftsOsC0sJ/BUDTD5k2bOuyLDS15SaYWSn4Pgehk86Vj1RcBT7QXfXpLeZ+FT wyNw== X-Gm-Message-State: AA6/9RkCuYY3f3W4oV7GHlP/LW51U/IjTAB5yAk0UmDXhXvswSI/2xBu8WnD+yTSUo+M3Q== X-Received: by 10.28.145.129 with SMTP id t123mr8842785wmd.64.1474790548374; Sun, 25 Sep 2016 01:02:28 -0700 (PDT) Received: from [192.168.6.89] ([37.157.215.95]) by smtp.gmail.com with ESMTPSA id t65sm4724527wmt.15.2016.09.25.01.02.27 for (version=TLS1 cipher=ECDHE-RSA-AES128-SHA bits=128/128); Sun, 25 Sep 2016 01:02:28 -0700 (PDT) From: Edgar A Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Message-Id: <090F68D4-7CA4-4091-BC5D-5F2C9BFB2AEC@gmail.com> Date: Sun, 25 Sep 2016 01:02:26 -0700 To: caml-list@inria.fr Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\)) X-Mailer: Apple Mail (2.3124) X-Validation-by: edgar.factorial@gmail.com Subject: [Caml-list] Getting some C values over to the OCaml side correctly Greetings,=20 I have some C values that I want to get over to the OCaml side using the FF= I.=20 Specifically I have `uint32_t`, `intptr_t` and `int32_t` and I=E2=80=99m no= t sure how to get it over to the OCaml side correctly.=20 Would the uint32_t be expressed as a Int32.t? Do I really need to put an in= teger as block just to get it to the OCaml side, because of the 31 bit inte= gers on the OCaml side right?=20 Been looking for examples but can=E2=80=99t find any, example code greatly = appreciated, the C side and the ml side please.=20 Thank you,=20 Edgar (Algebr)=20