I've added this to master. It seemed like a good idea although it was a
bit more complicated than PackReal because Real32.real values are
"boxed" in 32-bit Poly/ML but tagged in 64-bit.
I'm not exactly clear how useful PackRealN operations are for general
data interchange. Currently they just store and load the bytes that
make up the number but how those are interpreted will depend on the
platform. For example it seems that the X87 format used on X86/32 is
different from the SSE format used on X86/64.
David
On 02/02/2021 09:25, Chris Cannam wrote:
Hello! I find I could do with the PackReal32{Big,Little} structures, 32-bit
floats being often more amenable to serialisation and used in some storage
formats.
Would there be any appetite for adding these?
Thanks,
Chris
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml