On 7/12/06, Taral <taralx at gmail.com> wrote: > Because atomically doesn't like unsafePerformIO. In more detail: "atomically" is not re-entrant. You could try something like: main = a `seq` do ... to make sure that you don't re-enter the STM subsystem and crash. -- Taral <taralx at gmail.com> "You can't prove anything." -- Gödel's Incompetence Theorem