From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id B847BBCAD for ; Wed, 1 Jun 2005 10:14:05 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j518E5FI017194 for ; Wed, 1 Jun 2005 10:14:05 +0200 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id KAA20176; Wed, 1 Jun 2005 10:14:05 +0200 (MET DST) Received: from justus.rz.uni-saarland.de (justus.rz.uni-saarland.de [134.96.7.31]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j518E45i030918; Wed, 1 Jun 2005 10:14:04 +0200 Received: from cs.uni-sb.de (cs.uni-sb.de [134.96.254.254]) by justus.rz.uni-saarland.de (8.12.10/8.12.10) with ESMTP id j518E3Hs4058751; Wed, 1 Jun 2005 10:14:03 +0200 (CEST) Received: from mail.cs.uni-sb.de (mail.cs.uni-sb.de [134.96.254.200]) by cs.uni-sb.de (8.13.4/2005033000) with ESMTP id j518E2Q2020778; Wed, 1 Jun 2005 10:14:02 +0200 (CEST) Received: from mail.st.cs.uni-sb.de (goscinny.cs.uni-sb.de [134.96.235.32]) by mail.cs.uni-sb.de (8.13.4/2005033000) with ESMTP id j518E2Zl020517; Wed, 1 Jun 2005 10:14:02 +0200 (CEST) X-Authentication-Warning: mail.cs.uni-sb.de: Host goscinny.cs.uni-sb.de [134.96.235.32] claimed to be mail.st.cs.uni-sb.de Received: from [134.96.235.101] (jonagold.cs.uni-sb.de [134.96.235.101]) by mail.st.cs.uni-sb.de (Postfix) with ESMTP id 026861BDD6; Wed, 1 Jun 2005 10:14:02 +0200 (CEST) Mime-Version: 1.0 (Apple Message framework v619.2) Content-Type: text/plain; charset=US-ASCII; format=flowed Message-Id: Content-Transfer-Encoding: 7bit Cc: caml-bugs@inria.fr From: Christian Lindig Subject: Bug? Random.int max_int on AMD64 fails Date: Wed, 1 Jun 2005 10:14:01 +0200 To: Caml List X-Mailer: Apple Mail (2.619.2) X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-1.5.1 (justus.rz.uni-saarland.de [134.96.7.31]); Wed, 01 Jun 2005 10:14:03 +0200 (CEST) X-AntiVirus: checked by AntiVir Milter 1.0.6; AVE 6.30.0.15; VDF 6.30.0.217 X-Miltered: at nez-perce with ID 429D6E4D.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 429D6E4C.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; lindig:01 lindig:01 bug:01 ocaml:01 uname:01 ocaml:01 poses:01 powerpc:01 uname:01 powerpc:01 exception:01 exception:01 uni-sb:01 uni-sb:01 kernel:01 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: On an AMD64, OCaml 3.08.03 raises an exception for the following code: > src > uname -a > Linux operator 2.6.10 #1 SMP Wed Feb 16 17:00:41 CET 2005 x86_64 > GNU/Linux > > src > ocaml > Objective Caml version 3.08.3 > > # Random.int max_int;; > Exception: Invalid_argument "Random.int". > # The same code poses no problem on a 32-bit machine, like the PowerPC: > : lindig; ocaml > Objective Caml version 3.08.0 > > # Random.int max_int;; > - : int = 819618234 > # ^D > : lindig; uname -a > Darwin jonagold.cs.uni-sb.de 7.8.0 Darwin Kernel Version 7.8.0: Wed > Dec 22 14:26:17 PST 2004; root:xnu/xnu-517.11.1.obj~1/RELEASE_PPC > Power Macintosh powerpc -- Christian -- http://www.st.cs.uni-sb.de/~lindig/