Walter Bright wrote: > I'm not going to swap them without a compelling demonstration of > its advantages.
If there are advantages, then the specs are wrong, because they do not define the sequence of execution and an optimizing compiler might put the calls to <condition>s and `invariant' into different threads executed in parallel. -manfred
