16 Feb
2011
16 Feb
'11
6:46 p.m.
On Wed, Feb 16, 2011 at 9:27 PM, Bas van Dijk
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.