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 at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml