id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,os,architecture,failure,difficulty,testcase,blockedby,blocking,related
491,Nested 'atomically' should raise an exception,simonpj,simonmar,"{{{
Using 'atomically' inside an unsafePerformIO, inside 
another 'atomically' should raise an exception.  
Currently, it seg-faults.

Here's an example:

    import Control.Concurrent.STM
    import System.IO.Unsafe (unsafePerformIO)

    {-# NOINLINE var #-}
    var :: TVar ()
    var = unsafePerformIO (atomically (newTVar ()))

    main = atomically (readTVar var)

Simon
}}}",bug,closed,low,6.4.2,Runtime System,6.4.1,fixed,,,Unknown/Multiple,Unknown/Multiple,,,,,,