On Mon, Feb 13, 2023 at 1:38 PM Wolfgang Corcoran-Mathe <[email protected]> wrote:
> Thanks for discussing this in detail. I agree that strictly specifying > the order of effects may not be good, and that an implementor should be > able to use some kind of “buffered forcing”. > It doesn't seem right to talk about the *order* of effects. The first effect should happen first, the second effect second, and so on. What should be unspecified is *how many* effects happen on each iteration.
