I'm happy to cut a pull request on github to do this, if you'd like. Is that the preferred way to contribute? Or would you prefer to just add it yourself, or is there some other process I should go through?
]]>I have in the past written code much like this:
if
:: timeout -> skip;
:: someChan ! someMsg;
fi
if
:: timeout -> skip;
:: someChan ? someOtherMsg;
fi
... etc etc
Is there any way to do this with some sort of while-guard, like
while (! timeout) {
send and receive stuff
} else {
handle the fact that you've timed out / reached what would otherwise be a deadlock
}
? Thank you!
]]>