Hi
> Why shouldn't non GHC compilers provides this, but with an interface
> that simply never times out?
Would the programmer really want a function that does nothing if timeout
functionality isn't available? It's not obvious to me. Perhaps there
should be an attemptTimeout function or something for that?
Personally, yes. Imagine that you have a program that does some
complex static analysis. You have a proof that its terminating, but in
practice it occasionally can take an unreasonable amount of time.
Imagine you want to run say 12 different tests in one execution, if
the second one takes too long you would ideally like to abort that,
and just continue on with the others. Here the timeout is useful, but
not strictly necessary.
Having it as attemptTimeout is perfectly reasonable though.
Not that the timeout seems to do that for me, it just makes the
execution times slower in the fast case, and doesn't abort them if
they run over anyway (see my cafe thread)
Thanks
Neil
_______________________________________________
Cvs-libraries mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-libraries
