[MLton] Re: Real*.gdtoa not thread safe

Henry Cejtin henry.cejtin at sbcglobal.net
Mon Aug 28 20:09:21 PDT 2006


Yes, it would not work if we had more than one thread of control actually
running at the same time, but that just means that one would have to change
the implementation of the fetchAndUpdate primitive in that world.



More information about the MLton mailing list