May 16, 2013
5:01 a.m.
On May 16, 1:50 pm, Haoyi Li <haoyi...@gmail.com> wrote:
I don't believe in the "kick it to the linter" solution, since that's basically a non-solution (don't know if it should be good or bad, so let someone else decide!).
No, it's a "let the developer decide for themselves whether it's an issue" solution.
Until we get some @I_Know_What_Im_Doing decorator so that, in the source code, we can tell the linter to ignore things, it's just going to pop up every time and get in peoples way