On Sunday, 8 September 2013 at 23:24:32 UTC, Walter Bright wrote:
On 9/7/2013 9:45 PM, Daniel Murphy wrote:tl;dr I don't think this justifies a new feature. A lint rule, absolutely.A warning, possibly. But not a new feature.I agree with the reasoning of the others here - not worth it.
It seems my last message got lost, but I reached the same conclusion:
Anyway after some more thought I think it's overkill, since not resetting the counter could be just as confusing as resetting it.