From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 D627A7FC41 for ; Mon, 28 Sep 2015 09:12:11 +0200 (CEST) IronPort-PHdr: 9a23:V7LG/BCjlOhnPAsquDu/UyQJP3N1i/DPJgcQr6AfoPdwSP7+r8bcNUDSrc9gkEXOFd2CrakU16yL7+u5CDZIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/ni6bvp9aKMl8ArQH+SI0xBS3+lR/WuMgSjNkqAYcK4TyNnEF1ff9Lz3hjP1OZkkW0zM6x+Jl+73YY4Kp5pIYTGZn9Koc1TL9fRBIvMGkp7YW/thTCTgyJ5Wc0XWAfkx4OCA/AukLURJD05wL8uvBw0TLSB8rtVro5Qzvqu71sUwTihT0IHzsh8STMldc2i7hU9kHy7ydjypLZNdnGfMF1ebnQKIsX Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=rossberg@mpi-sws.org; spf=Pass smtp.mailfrom=rossberg@mpi-sws.org; spf=None smtp.helo=postmaster@hera.mpi-klsb.mpg.de Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of rossberg@mpi-sws.org) identity=pra; client-ip=139.19.1.49; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rossberg@mpi-sws.org"; x-sender="rossberg@mpi-sws.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of rossberg@mpi-sws.org designates 139.19.1.49 as permitted sender) identity=mailfrom; client-ip=139.19.1.49; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rossberg@mpi-sws.org"; x-sender="rossberg@mpi-sws.org"; 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@hera.mpi-klsb.mpg.de) identity=helo; client-ip=139.19.1.49; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rossberg@mpi-sws.org"; x-sender="postmaster@hera.mpi-klsb.mpg.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AEAQAv5whWhDEBE4tdhGG9OgENh3QCgTU4FAEBAQEBAQEBEAEBAQoHBAkJIS6CHYIIAQEEIx0BATcBDwsYAgImAgIhNgYTiBkDEgS1UXGEZQEFiiMNhQwBAQEBAQUBAQEBAQEBARQGgSKHYIJuglCCCjMHgmkvgRSVdYsfgz+HMop4g1mDbR8BAYJGgX9viSEBAQE X-IPAS-Result: A0AEAQAv5whWhDEBE4tdhGG9OgENh3QCgTU4FAEBAQEBAQEBEAEBAQoHBAkJIS6CHYIIAQEEIx0BATcBDwsYAgImAgIhNgYTiBkDEgS1UXGEZQEFiiMNhQwBAQEBAQUBAQEBAQEBARQGgSKHYIJuglCCCjMHgmkvgRSVdYsfgz+HMop4g1mDbR8BAYJGgX9viSEBAQE X-IronPort-AV: E=Sophos;i="5.17,602,1437429600"; d="scan'208";a="179683383" Received: from hera.mpi-klsb.mpg.de ([139.19.1.49]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 28 Sep 2015 09:12:11 +0200 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=mpi-sws.org; s=mail200803; h=To:References:Message-Id:Content-Transfer-Encoding:Cc:Date:In-Reply-To:From:Content-Type:Mime-Version:Subject; bh=CtyH62EIST7WHD0G21K5eMDTRMe8wo9YocGGBzPYkjI=; b=bY+UFpnpPo2F/I+MudJ7Rasn/RKzvdUBiQkcqaB4L7zLOnywNYAo5OOZPl+MOKGtdsrvgxz/eYAgeGOZPyCFtU7tx/4PQucDKmhiXoNuW97L6PAW6AycCaFSxF+O7akGCkhVGINO+q4y6PRrFHxqNExdoK8Vhn8U4SHm20qGxeY=; Received: from maniac.mpi-klsb.mpg.de ([139.19.1.28]:45522) by hera.mpi-klsb.mpg.de (envelope-from ) with esmtps (TLS1.2:DHE_RSA_AES_128_CBC_SHA1:128) (Exim 4.80) id 1ZgSbY-0006hH-Jy; Mon, 28 Sep 2015 09:12:10 +0200 Received: from 109.125.107.239.dynamic.cablesurf.de ([109.125.107.239]:65303 helo=macbook-air.fritz.box) by maniac.mpi-klsb.mpg.de (envelope-from ) with esmtpsa (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:256) (Exim 4.80) id 1ZgSbY-0003xH-0j; Mon, 28 Sep 2015 09:12:08 +0200 Mime-Version: 1.0 (Mac OS X Mail 8.2 \(2070.6\)) Content-Type: text/plain; charset=utf-8 From: Andreas Rossberg In-Reply-To: Date: Mon, 28 Sep 2015 09:12:06 +0200 Cc: caml-list@inria.fr Content-Transfer-Encoding: quoted-printable Message-Id: References: <270D5C05-462B-43B7-918D-6135D41B0BD6@mpi-sws.org> To: Keiko Nakata X-Mailer: Apple Mail (2.2070.6) X-MPI-Local-Sender: true Subject: Re: [Caml-list] unsigned 64-bit integers On Sep 28, 2015, at 08:47 , Keiko Nakata wrote: > Why do you not make your unsigned int64 an abstract type (to make sure si= nged and unsigned int64 won't be mixed up)? Well, because that wouldn=E2=80=99t match the design being implemented ther= e. For an assembly-like language, you don=E2=80=99t want to factor that way= . For other purposes a separate ADT would make a lot of sense, of course. I= n any case, I was only pointing to this for the implementation of individua= l operators, not necessarily for the module as a whole. /Andreas