I committed a change on 7th October to set the precision to 64-bits with
the current floating point implementation.
Regards,
David
On 30/10/2015 10:36, Fabian Immler wrote:
Hi David,
Thanks for your answer, I should have subscribed to the polyml
mailing list earlier. Using the SSE2 instructions and/or setting the
intermediate precision to 64 bit would give a nice and clear
semantics to floating point expressions in Poly/ML, so I would be
very much looking forward to such a change.
Best regards, Fabian
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
