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.4 required=5.0 tests=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 discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 0F8ECBC6B for ; Tue, 3 Apr 2007 19:51:38 +0200 (CEST) Received: from ug-out-1314.google.com (ug-out-1314.google.com [66.249.92.168]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l33HpVt4021760 for ; Tue, 3 Apr 2007 19:51:34 +0200 Received: by ug-out-1314.google.com with SMTP id q2so411650uge for ; Tue, 03 Apr 2007 10:51:30 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:user-agent:mime-version:to:subject:references:in-reply-to:content-type:content-transfer-encoding; b=tx7nKggoa4hlrD8cXTb5anFWwBHZRqm8bq9feANK3qoboSdNJCucEUigDQVBuQr3fRUc0/Htmkco0sL7SvwBLCUbmv7c2F00TxFN/lEwIpL9Q6szte6rFNFLmrePb8CrgfTWZJiGw/lHS9hmez3vF+r1Hhk6Fyh0PaUT04vJV4c= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:user-agent:mime-version:to:subject:references:in-reply-to:content-type:content-transfer-encoding; b=YUofHIGCsl9fMmaEnkDz6ax+rwJjNIKb9/jb7ffCAwp8ls2ebUL2oHjJx6tx5K8TGNMqaNQKyzcCQPlG/MOTYyji5onIojktcDwQFcRhnwKJVar57skZwaH/hJ5sYMnHYPwyEy5hOx0u79gdgKHTk9apfRdaItFVeT6Qav2Q9rk= Received: by 10.66.232.11 with SMTP id e11mr800922ugh.1175622690812; Tue, 03 Apr 2007 10:51:30 -0700 (PDT) Received: from ?192.168.2.17? ( [62.30.232.209]) by mx.google.com with ESMTP id e23sm1520454ugd.2007.04.03.10.51.25; Tue, 03 Apr 2007 10:51:29 -0700 (PDT) Message-ID: <4612941A.9010800@gmail.com> Date: Tue, 03 Apr 2007 18:51:22 +0100 From: Toby Kelsey User-Agent: Thunderbird 1.5.0.10 (X11/20070306) MIME-Version: 1.0 To: caml-list Subject: Re: [Caml-list] int_of_string bug References: <891bd3390703290927o4e1c6bb5gf8f562fedbc70096@mail.gmail.com> <891bd3390703291826k6002ef28i93bca9944cdbceee@mail.gmail.com> <1175228631.18890.4.camel@rosella.wigram> <20070330155936.86654f51.mle+ocaml@mega-nerd.com> In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-j-chkmail-Score: MSGID : 46129423.002 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at discorde with ID 46129423.002 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; bug:01 markus:01 mottl:01 arises:01 nativeint:01 markus:01 bug:01 val:01 bool:01 wrote:01 integer:01 caml-list:01 functions:01 int:01 int:01 Markus Mottl wrote: > The problem is just shifted to bigger numbers. This problem arises > with all integer conversion functions, i.e. Int64.of_string, > Int32.of_string, Nativeint.of_string, int_of_string. > > Regards > Markus This bug is not just a conversion problem: # let x = 1073741824;; val x : int = -1073741824 # (x < 0) && (x >= -x);; - : bool = true Toby