Re: Faster timeout but is it correct?

On Wed, Feb 16, 2011 at 9:27 PM, Bas van Dijk <v.dijk.bas@gmail.com> wrote:

I started working on a hopefully even more efficient timeout that uses the new GHC event manager.

The idea is that instead of forking a thread which delays for the timeout period after which it throws a Timeout exception, I register a timeout with the event manager. When the timeout fires the event manager will throw the Timeout exception.

Doesn't this version need unsafeUnmask? Cheers! -- Felipe.