[polyml] Bounded Time Execution (TimeLimit)

On Monday, May 31, 2004, at 13:05 Europe/London, Tjark Weber wrote:

I am trying to implement bounded time execution (similar to SML/NJ's TimeLimit.timeLimit) in PolyML. Below is my current attempt. However, the code causes a SEGV when Interrupt'ed and run for a second time -- presumably because the signal handler is persistent? Any help would be appreciated.

I tried this on a number of platforms using PolyML 4.1.3 and haven't had any crash. Which version of Poly/ML are you running? Can you give me some more information. There was a bug in 4.1.2 on the PowerPC which could have caused a crash in the circumstances you describe.

Regards, David.