David, > On 26 Nov 2017, at 09:14, David Matthews <[email protected]> > wrote: > > I don't see that myself but it's certainly possible. A delay followed by > Error 1 suggests that it is relying on the crow-bar thread to stop. The fact > that this only happens on some platforms suggests a race condition. > > In view of this I'm inclined to release the version without this change > (44b7b88) as 5.7.1 and investigate the problem later.
i’ve no objection to that as far as ProofPower is concerned, because the situation in the ProofPower build process where there a lots of little runs of Poly/ML is completely untypical of normal use of ProofPower. In normal use, a typical session is either an interactive session lasting hours or even days or a batch replay of a proof script that will take 10 seconds or more. Regards, Rob. _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
