From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <keikonkt@gmail.com>
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 33B9D7FC41
	for <caml-list@sympa.inria.fr>; Mon, 28 Sep 2015 08:47:39 +0200 (CEST)
IronPort-PHdr: 9a23:yR80+BNkPc2SWWjJSn8l6mtUPXoX/o7sNwtQ0KIMzox0KPT7rarrMEGX3/hxlliBBdydsKIYzbeK+PmwAyQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTrkb3usMSDOU1hv3mUX/BbFF2OtwLft80b08NJC50a7V/3mEZOYPlc3mhyJFiezF7W78a0+4N/oWwL46pyv+YJa6jxfrw5QLpEF3xmdjltvIy4/SXEGCKJ6mERW35eqB1TGALI9h6yCo32qTDwu/By8CyCPIjtUqtyXi6tufRFUhjt3QQKNj0+uEfeicVsheoPox+gpBt5wJL8b4ScNf44daTYK4BJDVFdV9pcAnQSSri3aJECWq9YZb5V
Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=keikonkt@gmail.com; spf=Pass smtp.mailfrom=keikonkt@gmail.com; spf=None smtp.helo=postmaster@mail-io0-f181.google.com
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  keikonkt@gmail.com) identity=pra; client-ip=209.85.223.181;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="keikonkt@gmail.com";
  x-sender="keikonkt@gmail.com"; x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  keikonkt@gmail.com designates 209.85.223.181 as permitted
  sender) identity=mailfrom; client-ip=209.85.223.181;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="keikonkt@gmail.com";
  x-sender="keikonkt@gmail.com"; x-conformance=sidf_compatible;
  x-record-type="v=spf1"
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-io0-f181.google.com) identity=helo;
  client-ip=209.85.223.181;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="keikonkt@gmail.com";
  x-sender="postmaster@mail-io0-f181.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0AsAQCE4QhWlLXfVdFdhGEGsUWLbwENh3QCgS0HOBQBAQEBAQEBARABAQEBBwsLCR8wgh2BfgoBAQMBEhEdARsdAQMBCwYFAwEHNwICIgERAQUBHAYbGod2AQMKCKhcgTA+MYtHgWyCeYlfChknDVaENgEBAQEBBQEBAQEBFwEFDotihQ0HgmmBQwWVcI0PgU+WA4IhEiOBFx8BAYJGgX88M4khAQEB
X-IPAS-Result: A0AsAQCE4QhWlLXfVdFdhGEGsUWLbwENh3QCgS0HOBQBAQEBAQEBARABAQEBBwsLCR8wgh2BfgoBAQMBEhEdARsdAQMBCwYFAwEHNwICIgERAQUBHAYbGod2AQMKCKhcgTA+MYtHgWyCeYlfChknDVaENgEBAQEBBQEBAQEBFwEFDotihQ0HgmmBQwWVcI0PgU+WA4IhEiOBFx8BAYJGgX88M4khAQEB
X-IronPort-AV: E=Sophos;i="5.17,601,1437429600"; 
   d="scan'208";a="148762597"
Received: from mail-io0-f181.google.com ([209.85.223.181])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 28 Sep 2015 08:47:38 +0200
Received: by iofb144 with SMTP id b144so165744952iof.1
        for <caml-list@inria.fr>; Sun, 27 Sep 2015 23:47:36 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:in-reply-to:references:date:message-id:subject:from:to
         :cc:content-type;
        bh=XG7swG96qzDt3goZDTSnF8CRJZa9C7Q7Fya9FIYRL6M=;
        b=FT2j+gquhq5ZeopD9+cN5gjlzwsxEdHZ/Xz3zFwSxiRKHpZ5+bQoT4GCB9gvyWJwbV
         dHCOdzqFaJ+N8ZD5Clcwws9nlGakn5hV0DV5s3i0sVBRvV0w07KzpoaiRvo3kZhUMbyo
         95qCZK/YRcOQLMGfpT374COCqiDUq9L8VdXcYwpDrP1/tyoYNbGrlA0/NNPQvzdigk3R
         uUvSNq6LRWJCb3Gj87byXlI60A03dcQpFRWOx14+a1CINHQttoHr3coCG2gNBHY34tQi
         Myr3GRyX5xIWuZJ9SKmwKhmvaScXfz4fR96hnpQKvBkzOMwbOuy/XATplGkaSlkhh/US
         C2Ew==
MIME-Version: 1.0
X-Received: by 10.107.131.134 with SMTP id n6mr16977519ioi.192.1443422856792;
 Sun, 27 Sep 2015 23:47:36 -0700 (PDT)
Received: by 10.107.11.67 with HTTP; Sun, 27 Sep 2015 23:47:36 -0700 (PDT)
In-Reply-To: <CALVfURzG+osS8LofguLi5F+wtjzAAarQukXxKpyFJuvK8Abutg@mail.gmail.com>
References: <CALVfURy5TsOx-nOcUQCLFG5euh1QVdPpK1d=3O5f+DGxoqTXrQ@mail.gmail.com>
	<270D5C05-462B-43B7-918D-6135D41B0BD6@mpi-sws.org>
	<CALVfURzG+osS8LofguLi5F+wtjzAAarQukXxKpyFJuvK8Abutg@mail.gmail.com>
Date: Mon, 28 Sep 2015 08:47:36 +0200
Message-ID: <CALVfURzp02k_SB6sNH2KE5LvDXFDia68Xb5yBQDCO8_iqtRCFg@mail.gmail.com>
From: Keiko Nakata <keikonkt@gmail.com>
To: Andreas Rossberg <rossberg@mpi-sws.org>
Cc: caml-list@inria.fr
Content-Type: multipart/alternative; boundary=001a113ea628a3d0de0520c9121c
Subject: Re: [Caml-list] unsigned 64-bit integers

--001a113ea628a3d0de0520c9121c
Content-Type: text/plain; charset=UTF-8

Keiko Nakata wrote:

> Why do you not make your unsigned int64 an abstract type (to make sure
> singed and unsigned int64 won't be mixed up)?
>

Well, since I don't use singed int64 in my code, this is not a problem for
me though.


Keiko

--001a113ea628a3d0de0520c9121c
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">Keiko Nakata<span dir=3D"ltr"></span> wrote:<br><div class=
=3D"gmail_extra"><div class=3D"gmail_quote"><blockquote class=3D"gmail_quot=
e" style=3D"margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">=
<div dir=3D"ltr"><div><div>Why do you not make your unsigned int64 an abstr=
act type (to make sure singed and unsigned int64 won&#39;t be mixed up)?</d=
iv></div></div></blockquote><div><br></div><div>Well, since I don&#39;t use=
 singed int64 in my code, this is not a problem for me though. <br><br><br>=
</div><div>Keiko <br></div></div><br></div></div>

--001a113ea628a3d0de0520c9121c--