From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id EAA15501; Fri, 7 Nov 2003 04:59:13 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id EAA14821 for ; Fri, 7 Nov 2003 04:59:12 +0100 (MET) Received: from ms-smtp-03-eri0.ohiordc.rr.com (ms-smtp-03-smtplb.ohiordc.rr.com [65.24.5.137]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id hA73xB106151 for ; Fri, 7 Nov 2003 04:59:11 +0100 (MET) Received: from vilya (cpe-024-033-201-104.columbus.rr.com [24.33.201.104]) by ms-smtp-03-eri0.ohiordc.rr.com (8.12.10/8.12.7) with ESMTP id hA73wljG026538; Thu, 6 Nov 2003 22:58:47 -0500 (EST) Received: from peuter ([192.168.2.2] ident=mail) by vilya with esmtp (Exim 3.36 #1 (Debian)) id 1AHxln-0006Tg-00; Thu, 06 Nov 2003 22:58:47 -0500 Received: from andrewl by peuter with local (Exim 3.36 #1 (Debian)) id 1AHxlm-00013r-00; Thu, 06 Nov 2003 22:58:46 -0500 Date: Thu, 6 Nov 2003 22:58:46 -0500 From: Andrew Lenharth To: erayo@cs.bilkent.edu.tr Cc: Ocaml Subject: Re: [Caml-list] A grave bug in logical shift right op? Message-ID: <20031107035846.GA4050@peuter> References: <200311070535.00172.exa@kablonet.com.tr> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <200311070535.00172.exa@kablonet.com.tr> User-Agent: Mutt/1.5.4i X-Virus-Scanned: Symantec AntiVirus Scan Engine X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 grave:01 bug:01 tagging:01 eray:01 ozkural:01 ledit:01 3.07:01 printf:01 printf:01 cipher:01 eray:01 ozkural:01 erayo:01 bilkent:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Section 6.2.1 of the manual is useful: Integer values are integer numbers from -2^30 to 2^30-1, that is -1073741824 to 1073741823. The implementation may support a wider range of integer values: on 64-bit platforms, the current implementation supports integers ranging from -2^62 to 2^62-1. You are experiencing overflow. One bit of integers are used for tagging purposes (if I recall correctly). Int32 is a boxed type. Andrew Lenharth On Fri, Nov 07, 2003 at 05:34:59AM +0200, Eray Ozkural wrote: > I'm using the debian package in testing.... > > orion:fealn-attack$ ledit ocaml > Objective Caml version 3.07+2 > > # Printf.printf "%X" 0xffffffff;; > 7FFFFFFF- : unit = () > # Printf.printf "%lx" (Int32.of_int 0xffffffff);; > ffffffff- : unit = () > # -1 lsr 24;; > - : int = 127 > # Int32.shift_right_logical (Int32.of_int (-1)) 24;; > - : int32 = 255l > > What's going on here? Something's eating the most significant bit in > both hexadecimal output routine and the logical shift right > operator. Somebody please help me! My cipher isn't working!!! > > Confused, > > -- > Eray Ozkural (exa) > Comp. Sci. Dept., Bilkent University, Ankara KDE Project: http://www.kde.org > www: http://www.cs.bilkent.edu.tr/~erayo Malfunction: http://mp3.com/ariza > GPG public key fingerprint: 360C 852F 88B0 A745 F31B EA0F 7C07 AE16 874D 539C > > ------------------- > To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr > Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners -- "The reasonable man adapts himself to the world; the unreasonable one persists in trying to adapt the world to himself. Therefore all progress depends on the unreasonable man." -- George Bernard Shaw No matter how cynical you become, it's never enough to keep up. -- Lily Tomlin Fools ignore complexity; pragmatists suffer it; experts avoid it; geniuses remove it. -- A. Perlis ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners