Ok, so we have gaps. Gaps let us specify 'anything _until_something else happens'. This is very useful.
However, what if we want to say 'I want one, and precisely one, thing to happen in this message set, but I don't care what it actually is'? Gaps are too strong here, and alternative blocks such as suggested in #14 won't be able to scale to arbitrary message sets.
We may need some sort of new concept here, maybe a something in SET form of the arrow action. This said, one could make the argument that gaps become obsolete if we add this, a we can always express anything in SET until X as loop { something in SET } until X.
Ok, so we have gaps. Gaps let us specify 'anything _until_something else happens'. This is very useful.
However, what if we want to say 'I want one, and precisely one, thing to happen in this message set, but I don't care what it actually is'? Gaps are too strong here, and alternative blocks such as suggested in #14 won't be able to scale to arbitrary message sets.
We may need some sort of new concept here, maybe a
something in SETform of the arrow action. This said, one could make the argument that gaps become obsolete if we add this, a we can always expressanything in SET until Xasloop { something in SET } until X.