The Coq mailing list

[Jason Gross <jasongross9 AT gmail.com>]

Currently, [Timeout] raises an anomaly about sys.signal on Windows.  I may try my hand at writing a simpler variant as a plugin, but I figured I'd ask if anyone has already written something like this:

How hard would it be to write the following variant of [Timeout], say, called [PoorMansTimeout n tac]: It would executes [tac] fully, measuring how long it takes, and is equivalent to [fail "Timeout!"] if it takes longer than [n] seconds, and is equivalent to [tac] otherwise.

Thanks,

Jason