[Haskell-cafe] STM, orElse and timed read from a channel

[Tomasz Zielonka]

On Sat, Dec 03, 2005 at 10:35:54PM +0100, Tomasz Zielonka wrote:
> so I could export a waitUntil function with type
> 
>     waitUntil :: Time -> STM ()
> 
> but I tripped on something that was reported before, namely that STM
> transactions can't be nested (as a result of unsafePerformIO or
> unsafeInterleaveIO). Is there a plan to support such scenario?

OK, it can be worked around by running the atomically block in a new
transaction. But still it would be nice if the program didn't segfault,
but cause an exception for example.

Updated modules attached.

Best regards
Tomasz

-- 
I am searching for a programmer who is good at least in some of
[Haskell, ML, C++, Linux, FreeBSD, math] for work in Warsaw, Poland
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Test.hs
Type: text/x-haskell
Size: 1947 bytes
Desc: not available
Url : http://www.haskell.org//pipermail/haskell-cafe/attachments/20051204/17156c89/Test.bin
-------------- next part --------------
A non-text attachment was scrubbed...
Name: TimeVar.hs
Type: text/x-haskell
Size: 1757 bytes
Desc: not available
Url : http://www.haskell.org//pipermail/haskell-cafe/attachments/20051204/17156c89/TimeVar.bin