Stupid code reviewers making me write better code and comments.
Replies:
3
@david_chisnall I know, it’s the most annoying thing in our entire process!
@david_chisnall don't they at least do it in the form of one click applicable patches/suggestions? I do that a lot :)
@mdione Well, the most recent one was roughly:
So, this reader-writer lock you've implemented. I'd like to model its properties in a theorem prover. Could you write down what the properties actually are supposed to be?
Which is something that absolutely should be a doc comment. And isn't.
