Browse thread
Logical operators...
-
Hugues CASSE
- John Prevost
- Jean-Christophe Filliatre
- Reinhard Budde
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | John Prevost <prevost@m...> |
| Subject: | Re: Logical operators... |
Hugues CASSE <casse@irit.fr> writes: > Is there a bug or is there a way to get the correct result... > > # 0xffff0000 lsr 16;; > - : int = 32767 > while > # 0x0000ffff;; > - : int = 65535 Unfortunately, "native" integers in O'Caml are 31 bits long on 32 bit machines, and 63 on 54-bit machines. John.