From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA21037 for caml-red; Sun, 7 Jan 2001 22:30:05 +0100 (MET) 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 VAA31854 for ; Sun, 7 Jan 2001 21:56:58 +0100 (MET) Received: from moutvdom01.kundenserver.de (moutvdom01.kundenserver.de [195.20.224.200]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f07Kuqj10339 for ; Sun, 7 Jan 2001 21:56:58 +0100 (MET) Received: from [195.20.224.209] (helo=mrvdom02.schlund.de) by moutvdom01.kundenserver.de with esmtp (Exim 2.12 #2) id 14FMrw-0003Dt-00; Sun, 7 Jan 2001 21:56:48 +0100 Received: from drms-3e364b1e.pool.mediaways.net ([62.54.75.30] helo=ice.gerd-stolpmann.de) by mrvdom02.schlund.de with esmtp (Exim 2.12 #2) id 14FMru-000166-00; Sun, 7 Jan 2001 21:56:47 +0100 Received: from localhost (localhost [[UNIX: localhost]]) by ice.gerd-stolpmann.de (8.9.3/8.9.3) id VAA24745; Sun, 7 Jan 2001 21:53:15 +0100 From: Gerd Stolpmann Reply-To: gerd@gerd-stolpmann.de Organization: privat To: Chet Murthy , caml-list@inria.fr Subject: Re: 32-bit integer operations Date: Sun, 7 Jan 2001 21:51:07 +0100 X-Mailer: KMail [version 1.0.28] Content-Type: text/plain References: <200101070420.XAA04706@bismarck-chet.watson.ibm.com> In-Reply-To: <200101070420.XAA04706@bismarck-chet.watson.ibm.com> MIME-Version: 1.0 Message-Id: <01010721531404.01504@ice> Content-Transfer-Encoding: 8bit Sender: weis@pauillac.inria.fr On Sun, 07 Jan 2001, Chet Murthy wrote: >Hmmm ..... perhaps I've lost my mind. > >I decided to use 32-bit integers (int32) for some operations in a >program today, and I was about to code something which required me to >do a comparison between two of them, and ... I can't figure out how to >do it. > >That is, there isn't any comparison operator defined. I suppose I >could code one up, using various primitives, but I figured I'd point >this out, in the hope that somebody could slap me upside the head and >point me at the officially-blessed way of doing this. Simply use <, <=, >, >=, =, <>. They work perferctly for int32 (as for all core types of the language). gerd -- ---------------------------------------------------------------------------- Gerd Stolpmann Telefon: +49 6151 997705 (privat) Viktoriastr. 100 64293 Darmstadt EMail: gerd@gerd-stolpmann.de Germany ----------------------------------------------------------------------------