[stm] strange behavior with TQueue and STM's alternative instance

[Simon Marlow]

On 10/12/12 15:07, Bas van Dijk wrote:
> On 10 December 2012 15:20, Simon Marlow <marlowsd at gmail.com> wrote:
>> I don't think reading or writing in the inner transaction affects the bug,
>
> If you don't read or write in the inner transaction, like in the
> following example, the program correctly prints 2:

Sorry, I should have said that more clearly.  I meant to say: I don't 
think it makes a difference whether you read or write in the inner 
transaction.  So yes, you need either a read or a write.

Cheers,
	Simon