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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 7C00D7FA80 for ; Fri, 23 Oct 2015 18:13:09 +0200 (CEST) IronPort-PHdr: 9a23:niQ0vh2hYNwyFFOwsmDT+DRfVm0co7zxezQtwd8ZsegVIvad9pjvdHbS+e9qxAeQG96LtrQc1aGH7ejJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6PyZzpnLHss7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cY6Lod8JtLWKD+OqA5VqBwDTI8Mmlz6te4mwPESF6/72UdX39ethdSBBmNuCHzQJb8qG3eu/B6yQGbO9f3RPY6Q2LxvO9QVBb0hXJfZHYC+2bNh5kogQ== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=xavier.leroy@gmail.com; spf=Pass smtp.mailfrom=xavier.leroy@gmail.com; spf=None smtp.helo=postmaster@mail-wi0-f182.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of xavier.leroy@gmail.com) identity=pra; client-ip=209.85.212.182; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="xavier.leroy@gmail.com"; x-sender="xavier.leroy@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of xavier.leroy@gmail.com designates 209.85.212.182 as permitted sender) identity=mailfrom; client-ip=209.85.212.182; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="xavier.leroy@gmail.com"; x-sender="xavier.leroy@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-wi0-f182.google.com) identity=helo; client-ip=209.85.212.182; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="xavier.leroy@gmail.com"; x-sender="postmaster@mail-wi0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CMAAAoXCpWlLbUVdFehHm+KwENiTU4FAEBAQEBAQEBEAEBAQEHCwsJHzCCK4IHAQEBAwESIAENARInAwELAQUFEgYJJQ8CIwEFAQ4BDRMIAQEeh3kDCggFpUqBMT4xkC6IZicNhQYBBQ6GaYR+hSuEFwEEliuNHoFYhzAQjx6CJDWBFx8BAXyBEII7cIZDAQEB X-IPAS-Result: A0CMAAAoXCpWlLbUVdFehHm+KwENiTU4FAEBAQEBAQEBEAEBAQEHCwsJHzCCK4IHAQEBAwESIAENARInAwELAQUFEgYJJQ8CIwEFAQ4BDRMIAQEeh3kDCggFpUqBMT4xkC6IZicNhQYBBQ6GaYR+hSuEFwEEliuNHoFYhzAQjx6CJDWBFx8BAXyBEII7cIZDAQEB X-IronPort-AV: E=Sophos;i="5.20,187,1444687200"; d="scan'208";a="151576881" Received: from mail-wi0-f182.google.com ([209.85.212.182]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 23 Oct 2015 18:13:08 +0200 Received: by wicfv8 with SMTP id fv8so38827704wic.0 for ; Fri, 23 Oct 2015 09:13:08 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=sender:subject:to:references:from:message-id:date:user-agent :mime-version:in-reply-to:content-type:content-transfer-encoding; bh=MSttZHDDezWh/Y5Ihl9g3foD3437C28R+S54eOOuq+c=; b=fyU0J3lIYo8tuS8BxbEgasE12wl3VhQQCvDjr3VgZiNl8cqZU5W+65/D2t5yosJoxk FMalwjoFFs72Ei/RIG6FBbVu00dHOyfgwAANebvXxtF0Y3+qui48+KiTUZVuvWlIHt3C qaHrrnW3Mc65hW+zUSdysUzwCIvST2A0hdHU4ZD+4fFuPE6rv/BeJidlHLInDRzETA/i 2Dya9DDGDs+GLCfg4ByPEU4y6BFifkmnLUJfRdoDqIsSaegkKaP7XKaiWbtai/wbkRWe qZC53MaG3+ViS5t019TrE/8kXFLeQA93PLsZEkx25avUQSV1w6afK+cUqMXRDmLt8iD7 ixdA== X-Received: by 10.180.10.101 with SMTP id h5mr5183537wib.22.1445616788448; Fri, 23 Oct 2015 09:13:08 -0700 (PDT) Received: from [192.168.1.2] ([108.61.123.70]) by smtp.gmail.com with ESMTPSA id z4sm23403704wjz.29.2015.10.23.09.13.07 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 23 Oct 2015 09:13:07 -0700 (PDT) Sender: Xavier Leroy To: caml-list@inria.fr References: <0F7D3B1B3C4B894D824F5B822E3E5A172CE32E38@IRSMSX102.ger.corp.intel.com> From: Xavier Leroy Message-ID: <562A5C92.50206@inria.fr> Date: Fri, 23 Oct 2015 18:13:06 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.2.0 MIME-Version: 1.0 In-Reply-To: <0F7D3B1B3C4B894D824F5B822E3E5A172CE32E38@IRSMSX102.ger.corp.intel.com> Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] Effect of Windows LLP64 architecture on 64 bit MingW OCaml On 23/10/15 15:57, Soegtrop, Michael wrote: > I wonder what differences exist between a 64 bit Linux Ocaml and a 64 bit > MingW Ocaml. 64bit Windows and MingW64 are what is called LLP64, that is int > and long are 32 bit and only long long, size_t and pointers are 64 bit as in > 32 bit Windows. MingW has to follow this convention, otherwise it would be > incompatible to the Windows headers. But 64 bit Linux tends to be LP64, that > is int is 32 bit, but long is 64 bit. That's right. But the OCaml runtime system abstracts over this difference, so that you get the same behaviors under Win64 and under all other 64-bit systems (of the LP64 kind). > The Ocaml C code doesn’t seem to use > size abstraction types (like int32, int64) It does, and even more so in the development version. The key abstraction types are "intnat" and "uintnat", designating an integer type that has the same size as a pointer. You get those types as soon as your code includes . You may have been confused by the use of "long" in the names of the macros "Val_long" and "Long_val". Indeed, in the past they used "long" as "the integer type as big as a pointer type", but since Win64 support was introduced, they actually use type "intnat". Hope this answers your question. - Xavier Leroy