My first version of WHILE was broken because of the race on receives. I faked it by changing the stdlib to have sendrecv rather than send. This is really lame though and it would be better to actually fix the problem, because I'm sure it will hit us again.
My first version of WHILE was broken because of the race on receives. I faked it by changing the stdlib to have
sendrecv
rather thansend
. This is really lame though and it would be better to actually fix the problem, because I'm sure it will hit us again.