Quoting Daniel de Rauglaudre (daniel.de_rauglau...@inria.fr): > Hi, > > > > Obviously, Iovalue.sizeof_long is too big. Dividing it by two makes the > > > original query work (it seems). But I cannot give any guarantee that it > > > doesn't break something else. > > Which version (ident src/iovalue.ml)? I indeed found bugs for 64 bits > architectures. In src/iovalue.ml, "sizeof_long" is now defined as (line > 14 of that file): > value sizeof_long = Sys.word_size / 8;
The overall version is a CVS snapshot as of Oct. 31 2009. iovalue.ml is: (* $Id: iovalue.ml,v 5.9 2009-03-10 21:10:29 ddr Exp $ *) I bet that I'll need to do another CVS snapshot..:-)
signature.asc
Description: Digital signature
