coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Jason Gross <jasongross9 AT gmail.com>
- To: coq-club <coq-club AT inria.fr>
- Subject: Re: [Coq-Club] Windows Timeout Command
- Date: Fri, 6 Jun 2014 22:54:46 +0100
Any chance of a patch or plugin that works with 8.4?
-Jason
On Jun 6, 2014 9:50 PM, "Pierre-Marie Pédrot" <pierre-marie.pedrot AT inria.fr> wrote:
On 06/06/2014 20:33, Jason Gross wrote:
> 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.
I think we may instead use threads to mimic the timeout behaviour on
Windows. There is already a direct way to interrupt the process by
setting the Util.interrupt flag to [true]. I am going to write a patch
to test this.
PMP
- [Coq-Club] Windows Timeout Command, Jason Gross, 06/06/2014
- Re: [Coq-Club] Windows Timeout Command, Pierre-Marie Pédrot, 06/06/2014
- Re: [Coq-Club] Windows Timeout Command, Jason Gross, 06/06/2014
- Re: [Coq-Club] Windows Timeout Command, Pierre-Marie Pédrot, 06/06/2014
- Re: [Coq-Club] Windows Timeout Command, Jason Gross, 06/09/2014
- Re: [Coq-Club] Windows Timeout Command, Pierre-Marie Pédrot, 06/06/2014
- Re: [Coq-Club] Windows Timeout Command, Jason Gross, 06/06/2014
- Re: [Coq-Club] Windows Timeout Command, Pierre-Marie Pédrot, 06/06/2014
Archive powered by MHonArc 2.6.18.