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
