follow Control.Exception changes
[packages/stm.git] / tests / conc063.stdout
1
2 Starting
3
4 Attaching successful invariant that makes an update
5
6 Attaching successful invariant that uses retry&orelse internally
7
8 Attaching a failed invariant that makes an update
9 Caught: exception :: [Char]
10
11 Attaching an invariant that blocks
12
13 Another update to the TVar with the blocking invariant
14
15 Update the TVar to cause the invariant to block again (expect thread blocked indef)
16 Caught: thread blocked indefinitely