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 p857Q3hu025198 for ; Mon, 5 Sep 2011 09:26:03 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ar8IAMF4ZE7V+6tl/2dsb2JhbABCmR+PMHiBQgQBAQU6TwtGFCiIIQi3BoYKYASkPQ X-IronPort-AV: E=Sophos;i="4.68,332,1312149600"; d="scan'208";a="107667280" Received: from eneide.happyleptic.org ([213.251.171.101]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 05 Sep 2011 09:25:58 +0200 Received: from extranet.securactive.org ([82.234.213.170] helo=ccellier.rd.securactive.lan) by eneide.happyleptic.org with esmtp (Exim 4.72) (envelope-from ) id 1R0TZ7-0007aZ-C8 for caml-list@inria.fr; Mon, 05 Sep 2011 09:25:57 +0200 Received: from rixed by ccellier.rd.securactive.lan with local (Exim 4.72) (envelope-from ) id 1R0TZ3-0008Sk-6L for caml-list@inria.fr; Mon, 05 Sep 2011 09:25:53 +0200 Date: Mon, 5 Sep 2011 09:25:53 +0200 From: rixed@happyleptic.org To: caml-list@inria.fr Message-ID: <20110905072553.GA32471@ccellier.rd.securactive.lan> 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? I suppose you don't want to use any kind of preprocessor, do you ?