[Caml-list] PENYEDIA SOLUSI ABSENSI SIDIK JARI TERBAIK DI INDONESIA

2010-01-19 Thread Fingerprint bergaransi 2 & 3 tahun
PENYEDIA SOLUSI ABSENSI SIDIK JARI TERBAIK DI INDONESIAPENYEDIA SISTEM PENGAMANAN DATA, APLIKASI DAN SISTEM PERUSAHAAN MENGGUNAKAN TEKNOLOGI SIDIK JARI PERTAMA DI INDONESIA (LEBIH AMAN DARI PASSWORD, UNIQUE ID, ENCRYPTION,DLL)HANYA 1,3 JUTAGARANSI SPARE PART 3 TAHUNGARANSI SERVICE LIFETIMETINGGAL

[Caml-list] RTA extended deadline

2010-01-19 Thread Hitoshi Ohsaki
The deadline for RTA has been extended one week. The new deadline for abstracts is January 22. The new deadline for papers is January 29. The call for papers is here: http://www.clarkson.edu/projects/carl/rta-2010/ Christopher A. Lynch, RTA 2010 PC chair,

[Caml-list] Bytecode run on AIX - "unknown C primitive" error

2010-01-19 Thread Dawid Toton
I have installed part of this OCaml port http://home.arcor.de/chr_bauer/ocaml-aix.html on a computer running on AIX. It seems that everything built correctly except ocamlopt. So I have ocamlrun and standard library and this should be enough for bytecode to run. I have to build the bytecode on

Re: [Caml-list] 2147483648l < 2147483647l

2010-01-19 Thread Elnatan Reisner
On Jan 19, 2010, at 1:28 PM, David Allsopp wrote: Goswin von Brederlow wrote: # 2147483648l;; - : int32 = -2147483648l Isn't that documented properly? I think in the docs I saw at least that ocaml will silently overflow ints. Arithmetic operations are allowed to overflow silently but at

RE: [Caml-list] 2147483648l < 2147483647l

2010-01-19 Thread David Allsopp
Goswin von Brederlow wrote: > "David Allsopp" writes: > > > Matej Kosik wrote: > >> I am sorry, I have a stupid question. > >> I would like to ask if this: > >> > >># 2147483648l < 2147483647l;; > >>- : bool = true > > > > The bug is in fact: > > > > # 2147483648l;; > > - : int32 = -21474

Re: [Caml-list] 2147483648l < 2147483647l

2010-01-19 Thread Goswin von Brederlow
"David Allsopp" writes: > Matej Kosik wrote: >> I am sorry, I have a stupid question. >> I would like to ask if this: >> >> # 2147483648l < 2147483647l;; >> - : bool = true > > The bug is in fact: > > # 2147483648l;; > - : int32 = -2147483648l > > and given that behaviour, the above re

Re: [Caml-list] Queue.fold give wrong order?

2010-01-19 Thread Bruno Verlyck
Hi, From: Tom Wilkie Date: Tue, 19 Jan 2010 15:10:43 + > Is Queue.fold going over items in the wrong order? It says "equivalent to > List.fold_left" but I would expect the behaviour to be, when inserting items > 1, > then 2, then 3 a fold would be given items in that order? It's already the

RE: [Caml-list] Queue.fold give wrong order?

2010-01-19 Thread David Allsopp
Tom Wilkie wrote: > Dear all > > Is Queue.fold going over items in the wrong order? It says "equivalent > to List.fold_left" but I would expect the behaviour to be, when > inserting items 1, then 2, then 3 a fold would be given items in that > order? > > Is there a good reason for this? Could b

[Caml-list] Queue.fold give wrong order?

2010-01-19 Thread Tom Wilkie
Dear all Is Queue.fold going over items in the wrong order? It says "equivalent to List.fold_left" but I would expect the behaviour to be, when inserting items 1, then 2, then 3 a fold would be given items in that order? Is there a good reason for this? Could be have a rev_fold for the opposi

Re: [Caml-list] Batteries Included 1.0.0

2010-01-19 Thread Stefano Zacchiroli
On Tue, Jan 19, 2010 at 12:06:53PM +0100, Nicolas Cannasse wrote: > >> ExtLib's. If both development teams are on board, I would suggest an > >> explicit deprecation of ExtLib in favour of AAA Batteries. > >This is up to the ExtLib team - our intention is to do much more > >than > You're welco

Re: [Caml-list] Batteries Included 1.0.0

2010-01-19 Thread Nicolas Cannasse
Edgar Friendly a écrit : On 01/17/2010 11:13 AM, Dario Teixeira wrote: - What is the relation between the development of ExtLib and AAA Batteries? A first glance at the AAA Batteries API suggests it to be a superset of ExtLib's. If both development teams are on board, I would suggest an