David,
As Rob says, I am using Linux (4.13.12-100.fc25.x86_64 from Fedora 25
updates).
I have tried the updated version (ga24f39a) and this fixes the issue.
ProofPower builds in the expected time. However, I have tried a few
more tests and find that some compiled applications are very delayed on
exit. In the simplest Hello World GTK application, if it is open for
more than about 3 s before being closed, it will take at least 43 s to
close. (I assume that is terminated due to the crow-bar thread.)
Oddly, another Hello World GTK demo (based on GApplication) doesn't
exhibit this behaviour.
I agree that it is a bit late in the release cycle to address this and
don't see the half second delay on exit being particularly problematic
generally.
Regards,
Phil
On 25/11/17 17:44, David Matthews wrote:
Rob,
I've had a better look and I found that I was seeing this as well. I've
pushed a fix and it no longer seems to be doing it. It's a very small
change so I would be very surprised if it has broken anything but I'll
give it a couple of days and then release 5.7.1.
Regards,
David
On 25/11/2017 16:44, Rob Arthan wrote:
David,
Knowing Phil he will be using some version of Linux, but I see similar
results on Mac OS:
E.g., on Mac OS High Sierra 10.13.1:
rda]- echo | time /usr/local/poly/5.7-inf/bin/poly
Poly/ML 5.7 Release
0.00 real 0.00 user 0.00 sys
rda]- echo | time /usr/local/poly/5.7.1-inf/bin/poly
Poly/ML 5.7.1 Release (Git version v5.7-290-g44b7b88e)
0.40 real 0.00 user 0.00 sys
Over repeated experiments, I see occasional upwards blips in the real
time for 5.7,
but 5.7.1 sticks doggedly to about 0.4 seconds.
Regards,
Rob.
_______________________________________________
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
