From: Jere S. <xm...@xm...> - 2004-07-19 22:52:26
|
Hi, just noticed that the IO module got the read/write_double functions, thanks for them! How about adding support for int64 (not a biggie and almost implemented by read_double/write_double). As for something that would REALLY be useful would be a read_float/write_float (single precision, ie. 32bits). As I noticed that the 3.08 ocaml standard libraries come with Int32.bits_of_float and float_of_bits, this would be a breeze to code. And many binary formats use single precision floats so I think this would be useful. But again we have this problem: how long do we need to support older ocamls? Any comments? -- Jere Sanisalo [xm...@xm...] - http://www.xmunkki.org/ |
From: Nicolas C. <war...@fr...> - 2004-07-20 07:00:02
|
> Hi, > > just noticed that the IO module got the read/write_double functions, thanks > for them! How about adding support for int64 (not a biggie and almost I'm working quite a lot with different kind of binary file formats, and I've rarely seen 64-bits values, maybe simply because the FF designer are working on 32-bits computers :) > implemented by read_double/write_double). As for something that would REALLY > be useful would be a read_float/write_float (single precision, ie. 32bits). > > As I noticed that the 3.08 ocaml standard libraries come with > Int32.bits_of_float and float_of_bits, this would be a breeze to code. And > many binary formats use single precision floats so I think this would be > useful. But again we have this problem: how long do we need to support older > ocamls? Any comments? I noticed too. Quoting my previous post : "we could add read_float / write_float for 32 bits IEEE floats now that there is support of them in In32 module but I think it's still early to force 3.08 usage for ExtLib." Regards, Nicolas Cannasse |
From: Jere S. <xm...@xm...> - 2004-07-20 08:39:20
|
On Tue, Jul 20, 2004 at 08:59:00AM +0200, Nicolas Cannasse wrote: >> just noticed that the IO module got the read/write_double functions, >> thanks for them! How about adding support for int64 (not a biggie and >> almost >I'm working quite a lot with different kind of binary file formats, and I've >rarely seen 64-bits values, maybe simply because the FF designer are working >on 32-bits computers :) Well for instance when doing raw binary generators for the PS2 console one encounters 64bits (and 128) quite often. So they are useful. Doubles I have encountered less often, though :). >I noticed too. Quoting my previous post : >"we could add read_float / write_float for 32 bits IEEE floats now that >there >is support of them in In32 module but I think it's still early to force 3.08 >usage for ExtLib." Ah sorry, I missed this post. It's too bad there's no (simple) preprocessor without external tools (although I do find it a bit clearer when everything you see is what you get). -- Jere Sanisalo [xm...@xm...] - http://www.xmunkki.org/ |