Thanks for finding, fixing and replying so quickly! Michael
> On 24 Apr 2016, at 21:36, David Matthews <david.matth...@prolingua.co.uk> > 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 >> polyml@inf.ed.ac.uk >> http://lists.inf.ed.ac.uk/mailman/listinfo/polyml ________________________________ 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 polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml