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.3 required=5.0 tests=AWL,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 F2C25BC6B for ; Fri, 30 Mar 2007 15:39:00 +0200 (CEST) Received: from ug-out-1314.google.com (ug-out-1314.google.com [66.249.92.174]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l2UDd0T2001937 for ; Fri, 30 Mar 2007 15:39:00 +0200 Received: by ug-out-1314.google.com with SMTP id q2so903200uge for ; Fri, 30 Mar 2007 06:39:00 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=F1L5Aq5VRkqgbmGIPtlzUvf9B1nX/HvwyWlaEWTUGTYl4XpzKCVJRKJlateIJROyLkhbuh7hzVim+OpwOAwf2tPgAjNcTomrlfeI/YHbqqQ8hwLqxvHjMsHP055cCt2pxZL0a+lUIBuiU6PqUSanATGylYmKDeeTyqUXyF/wbj8= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=GkBQIc0/HBkdtKouddSqrsYj5od2K3pFaTBQ5Kw160A6lZpjVJjTevU05ESlLJ78uM0zWmP5ZPBeRgHJZYFQT+8fOS8hdpZO8b5lgYjVxHllqyR0XqUVO+M7RSDpxrTBgHpkuMsxj8CeZiA1tW/C+pOOqAkJE0NzwrXKw8K3JIY= Received: by 10.78.193.19 with SMTP id q19mr860931huf.1175261939287; Fri, 30 Mar 2007 06:38:59 -0700 (PDT) Received: by 10.78.21.20 with HTTP; Fri, 30 Mar 2007 06:38:59 -0700 (PDT) Message-ID: Date: Fri, 30 Mar 2007 09:38:59 -0400 From: "Markus Mottl" To: "Erik de Castro Lopo" Subject: Re: [Caml-list] int_of_string bug Cc: caml-list In-Reply-To: <20070330155936.86654f51.mle+ocaml@mega-nerd.com> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <891bd3390703290927o4e1c6bb5gf8f562fedbc70096@mail.gmail.com> <891bd3390703291826k6002ef28i93bca9944cdbceee@mail.gmail.com> <1175228631.18890.4.camel@rosella.wigram> <20070330155936.86654f51.mle+ocaml@mega-nerd.com> X-j-chkmail-Score: MSGID : 460D12F4.001 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at discorde with ID 460D12F4.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; markus:01 mottl:01 markus:01 mottl:01 bug:01 ocaml:01 arises:01 nativeint:01 ocaml:01 wrote:01 integer:01 exception:01 caml-list:01 functions:01 int:01 On 3/30/07, Erik de Castro Lopo wrote: > But 64 bit systems get it right. Not really: # int_of_string "4611686018427387903";; - : int = 4611686018427387903 # int_of_string "4611686018427387904";; - : int = -4611686018427387904 # int_of_string "4611686018427387905";; Exception: Failure "int_of_string". 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 -- Markus Mottl http://www.ocaml.info markus.mottl@gmail.com