From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p84Kx0dO000807 for ; Sun, 4 Sep 2011 22:59:00 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Av0EADvmY05QRFuw/2dsb2JhbABCDqhaeIFGAQEFOj8QCw4KHBIUKCGICLdDhgpgBKQDOQ X-IronPort-AV: E=Sophos;i="4.68,330,1312149600"; d="scan'208";a="107640763" Received: from furbychan.cocan.org ([80.68.91.176]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 04 Sep 2011 22:58:56 +0200 Received: from rich by furbychan.cocan.org with local (Exim 4.72) (envelope-from ) id 1R0JmJ-0003Ao-P5; Sun, 04 Sep 2011 21:58:55 +0100 Date: Sun, 4 Sep 2011 21:58:55 +0100 From: "Richard W.M. Jones" To: John Carr Cc: caml-list@inria.fr Message-ID: <20110904205855.GA12154@annexia.org> References: <201109041522.p84FM5DA001371@outgoing.mit.edu> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <201109041522.p84FM5DA001371@outgoing.mit.edu> User-Agent: Mutt/1.5.20 (2009-06-14) Subject: Re: [Caml-list] Conditionally boxed 32 bit integers? On Sun, Sep 04, 2011 at 11:22:05AM -0400, John Carr wrote: > > I am working with a file format the contains 32 bit integers. > I need to use int32 on 32 bit systems. I would like to use plain > integers, unboxed and with native machine operations, on 64 bit > systems. > > Is there any way to convince ocamlopt to choose between int and > int32 representations _at compile time_? The Bitstring module could use this too ... Rich. -- Richard Jones Red Hat