Wed, 12 Apr 2000 15:12:31 +0100, Claus Reinke <[EMAIL PROTECTED]> pisze:

> PS. As for tryTakeMVar or locks on MVars, what is wrong
>        with using MMVar a = (MVar (MayBe a)) and a suitable
>        access protocol?
> 
>        MVar empty    --> MMVar is locked
>        MVar Nothing --> MMVar is empty, not locked
>        MVar (Just v)  --> MMVar holds value v, not locked

That it's impossible to implement the equivalent of takeMVar
(block until it is full).

-- 
 __("<    Marcin Kowalczyk * [EMAIL PROTECTED] http://qrczak.ids.net.pl/
 \__/              GCS/M d- s+:-- a23 C+++$ UL++>++++$ P+++ L++>++++$ E-
  ^^                  W++ N+++ o? K? w(---) O? M- V? PS-- PE++ Y? PGP+ t
QRCZAK                  5? X- R tv-- b+>++ DI D- G+ e>++++ h! r--%>++ y-


Reply via email to