RE: How to get BlockedOnDeadMVar exception?
I didn't succeed in getting (or catching?) this exception through an obvious example. Is this exception thrown at all or just NYI?
Is this exception thrown at all or just NYI?
Sure it's implemented. However, a main thread will never get this exception (at the moment). Try this example in 4.08.1: module Main where import Exception import Concurrent main = do id <- myThreadId forkIO (catchAllIO (do m <- newEmptyMVar; takeMVar m) (\e -> raiseInThread id e)) catchAllIO (print (sum [1..1000000])) (\e -> print e) Cheers, Simon
On Fri, Oct 13, 2000 at 04:01:00AM -0700, Simon Marlow wrote:
Sure it's implemented. However, a main thread will never get this exception (at the moment). Try this example in 4.08.1:
Funny, it works and almost looks the same like my code. Only {Ee}xception: I was using a getLine-loop for preventing the main thread from exiting. Could this be the reason I don't get the exception? -- Volker Stolz * stolz@i2.informatik.rwth-aachen.de * PGP + S/MIME
participants (2)
-
Simon Marlow -
Volker Stolz