On 12/13/12 1:57 PM, Mark S. Miller wrote: > No, that change of behavior is fine. The invariants don't say when the > operations must succeed. They only constrain what happens when they > succeed. Ah, interesting. That does simplify things a lot, yeah.... -BorisReceived on Thursday, 13 December 2012 19:03:25 UTC
This archive was generated by hypermail 2.3.1 : Wednesday, 8 May 2013 19:30:08 UTC