Yes please do update the fixes branch :) On 24 Apr 2016 21:41, "David Matthews" <[email protected]> wrote:
> Thanks for attempting to cut down the problem. I had a sense of déjà vu > here. A while back I fixed a bug in OS.Process.sleep that was exactly this > problem but it seems that the bug was left in Posix.Process.sleep. I've > committed a fix to git master that seems to fix it. It could be worth > adding this and a few other fixes to the fixes branch and perhaps making a > new release. > > David > > On 22/04/2016 08:48, Michael Norrish wrote: > >> The attached tarball (derived from a prefix of the HOL4 sources) >> reliably (every one of the tens of attempts I've made so far) crashes >> PolyML 5.6 on my Macbook Pro with >> >> Assertion failed: (save_vec_addr < save_vec+1000), function push, >> file save_vec.cpp, line 70. Abort trap: 6 >> >> Just change into the crashpoly directory and do >> >> poly --use usethis.ML >> >> If the call to Posix.Process.sleep in multiLib.sml is made for a much >> shorter length of time (pass 15 instead of 15000 to the genthms call, >> say), it works as expected. I also got 3/3 crashes with the time >> delay at 5000. >> >> I have tried to remove extraneous material from the tarball, but I'd >> be very surprised if it was minimal. >> >> Michael >> >> >> >> ________________________________ >> >> The information in this e-mail may be confidential and subject to >> legal professional privilege and/or copyright. National ICT Australia >> Limited accepts no liability for any damage caused by this email or >> its attachments. >> >> >> >> _______________________________________________ polyml mailing list >> [email protected] >> http://lists.inf.ed.ac.uk/mailman/listinfo/polyml >> >> _______________________________________________ > polyml mailing list > [email protected] > http://lists.inf.ed.ac.uk/mailman/listinfo/polyml >
_______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
