[Haskell-cafe] TVars & throw

7 Mar 2007

      Hi All,

Consider the following:

foo = do
    v <- newTVar "hi there!"
    throwDyn v

main = do
    catchDyn (atomically foo) \v -> do
        x <- atomically (readTVar v)
        putStr x

I.e. throw information that gets rolled back from inside a
transaction, catch it and use it.

This looks like bad. I assume it actually works, but should it?

T.
-- 
Dr Thomas Conway      You are beautiful; but learn to work,
drtomc@gmail.com         for you cannot eat your beauty.
                                              -- Congo proverb