From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q18FJQon001147
	for <caml-list@sympa-roc.inria.fr>; Wed, 8 Feb 2012 16:19:26 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AvgBAMqRMk/RVdK2mGdsb2JhbABDFq9NCCIBAQEBAQgJDQcUJ4FyAQEBBBICJAgBGxwCAwwGBQsNCRYPCQMCAQIBEREBBQEcEwgBAR6HY5wbCotxgnCFFD+IcwIFC4swDQMBBwIgCQEuEAQDAYJxGQQDDAMUBWFHgx0EiEaMZ4cRhw09hCA
X-IronPort-AV: E=Sophos;i="4.73,383,1325458800"; 
   d="scan'208";a="143414182"
Received: from mail-iy0-f182.google.com ([209.85.210.182])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 08 Feb 2012 16:19:21 +0100
Received: by iaeo4 with SMTP id o4so1583774iae.27
        for <caml-list@inria.fr>; Wed, 08 Feb 2012 07:19:20 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=message-id:date:from:user-agent:mime-version:to:subject:references
         :in-reply-to:content-type:content-transfer-encoding;
        bh=IcCXQYfhS7X5gozT+nzIiNG87xv6yfaNS7Q4wgMLJog=;
        b=h4DkAuY2nnJcXeeTxDKo0OQ60ULUb6jAYwoWGmIE8z8PXd0LUNeTmgyBjkEhTIFXlb
         9YULqXIfOCYp3BTcq4oG6m2P/SNDEkg+3+JyFOP8NunebFtZEyHYj6h1R4nzrVaJ6Hme
         K5V2ObgPp0a1KMXjNIBVVw5juTiyNog7BH6Lw=
Received: by 10.42.165.135 with SMTP id k7mr31557913icy.32.1328714360066;
        Wed, 08 Feb 2012 07:19:20 -0800 (PST)
Received: from page.encs.concordia.ca (page.encs.concordia.ca. [132.205.221.212])
        by mx.google.com with ESMTPS id r18sm3384118ibh.4.2012.02.08.07.19.17
        (version=SSLv3 cipher=OTHER);
        Wed, 08 Feb 2012 07:19:18 -0800 (PST)
Message-ID: <4F329274.7050500@gmail.com>
Date: Wed, 08 Feb 2012 10:19:16 -0500
From: Vincent Aravantinos <vincent.aravantinos@gmail.com>
User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.26) Gecko/20120201 Red Hat/3.1.18-1.el6_2 Thunderbird/3.1.18
MIME-Version: 1.0
To: caml-list@inria.fr
References: <4F326EA6.20900@gmail.com> <CAPFanBGE6RchhVLBCvaT8u_5HtdkhMmGWbwN9_UGSk_Mtff=yA@mail.gmail.com> <4F32741C.4040501@janestreet.com> <20120208133926.GC1823@siouxsie> <4F327CBF.4030005@janestreet.com> <20120208135818.GG1823@siouxsie> <4F3282B1.1050205@janestreet.com> <CAPFanBH8BNsNgv9RiitnpVK5fSrzcUenkcLaSqfUF05ZvKSJKg@mail.gmail.com> <4F328BCF.9030902@janestreet.com>
In-Reply-To: <4F328BCF.9030902@janestreet.com>
Content-Type: text/plain; charset=windows-1252; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [Caml-list] syntactic detail



On 02/08/2012 09:50 AM, David House wrote:
> On 02/08/2012 02:39 PM, Gabriel Scherer wrote:
>> People. Please. Tell me you are *not* arguing over underscores in
>> numeric literals !
>
> This is not totally academic. I have come across the exact bug I 
> describe. It was painful.

I'm curious: in which occasions do you guys really have to type in such 
numbers?

-- 
Vincent Aravantinos
Postdoctoral Fellow, Concordia University, Hardware Verification Group
http://users.encs.concordia.ca/~vincent