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