From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.5 required=5.0 tests=AWL,DNS_FROM_RFC_POST, MAILTO_TO_SPAM_ADDR,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 39F2CBB84 for ; Tue, 13 Jan 2009 11:26:38 +0100 (CET) X-IronPort-AV: E=Sophos;i="4.37,258,1231110000"; d="scan'208";a="22390622" Received: from concorde.inria.fr ([192.93.2.39]) by mail1-smtp-roc.national.inria.fr with ESMTP; 13 Jan 2009 11:26:38 +0100 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id n0DAQb6o016008 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Tue, 13 Jan 2009 11:26:37 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AskBAJH6a0lKfSwck2dsb2JhbACST4EJPgEBAQEJCQoJEQOuVo0uAQMBA4Vsgmg X-IronPort-AV: E=Sophos;i="4.37,258,1231110000"; d="scan'208";a="22390621" Received: from yx-out-2324.google.com ([74.125.44.28]) by mail1-smtp-roc.national.inria.fr with ESMTP; 13 Jan 2009 11:26:37 +0100 Received: by yx-out-2324.google.com with SMTP id 8so3347254yxg.27 for ; Tue, 13 Jan 2009 02:26:36 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:sender :to:subject:cc:in-reply-to:mime-version:content-type :content-transfer-encoding:content-disposition:references :x-google-sender-auth; bh=AVFlD8Sf7zDYX3bF7DnsEtSycbXOjgX2OuD3S26/uxY=; b=sOrk2xWp9HXclo1OfB5xC/VQkwVKIut6KAmTk9F0bPE1UsiGVOTxoIaq3sEMpLxjrD 3ulewuUxaWrYVuVgkBZ6MWOhMMuqVVic+PEycK7SjcuNdPfRQ0YrnkElTcS5hjCavSOp 3t4L9rPuWpvIXceYH8oHKLIx0P/gbThe1Sjz8= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:sender:to:subject:cc:in-reply-to:mime-version :content-type:content-transfer-encoding:content-disposition :references:x-google-sender-auth; b=Myuyz8qjadpDnYrrg2EQfJG8bdSS6eSQ4iadhecCgH2/3poXE5mqVVuOFB6nizalS2 nctkamP9UbDbJ5TcFzJTTkb/bL1BPKmqP0lzMuaxNuiaQAAJN6w9Tk2diK4m8s/Vz3th pHpTfc2Q+0tOJu4OyT4T4/rTA1SuUiyWgAwAY= Received: by 10.151.109.11 with SMTP id l11mr12246428ybm.32.1231842396681; Tue, 13 Jan 2009 02:26:36 -0800 (PST) Received: by 10.151.123.11 with HTTP; Tue, 13 Jan 2009 02:26:36 -0800 (PST) Message-ID: <95513600901130226j636b7930kce59e050c943e2a2@mail.gmail.com> Date: Tue, 13 Jan 2009 11:26:36 +0100 From: "Olivier Andrieu" Sender: oandrieu@gmail.com To: malc Subject: Re: [Caml-list] caml_alloc + 64 bits - caml_alloc.h Cc: caml-list@inria.fr In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <20090113045116.GA646@yquem.inria.fr> X-Google-Sender-Auth: 6e1bff4e8faba290 X-Miltered: at concorde with ID 496C6C5D.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; andrieu:01 oandrieu:01 alloc:01 alloc:01 malc:01 ocaml:01 byterun:01 model:01 typedef:01 compiler:01 gcc:01 2009:98 config:01 wrote:01 msvc:01 On Tue, Jan 13, 2009 at 10:37, malc wrote: > P.S. This whole value->intnat->long makes me wonder how OCaml is > ever supposed to work on LLP64... It does already, since 3.10. From byterun/config.h : /* Win64 model: IL32LLP64 */ typedef ARCH_INT64_TYPE intnat; where ARC_INT64_TYPE is either long long or __in64 depending on the compiler (GCC or MSVC). -- Olivier