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

On 10/12/12 15:07, Bas van Dijk wrote:

On 10 December 2012 15:20, Simon Marlow 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