Document compiler options warn_missing_spec and warn_missing_spec_all

[paulo-ferraz-oliveira]

As discussed in https://bugs.erlang.org/browse/ERL-1430.

[paulo-ferraz-oliveira]

It's still missing tests.

Let me know if those tests are sufficient. Mind you I'm not testing new behavior; I'm just (minimally) making sure no regressions are introduced in the future.

[bjorng]

Thanks for your pull request.

The documentation looks good.

The tests are more complicated than they need to be. We usually put tests for options in the application that implements them. In this case, the spec options are implemented in erl_lint (in STDLIB) and should be tested in erl_lint_SUITE.

[paulo-ferraz-oliveira]

Thanks for your pull request.

The documentation looks good.

The tests are more complicated than they need to be. We usually put tests for options in the application that implements them. In this case, the spec options are implemented in erl_lint (in STDLIB) and should be tested in erl_lint_SUITE.

Yeah. I was mislead in the bug report, but I'll fix that.

As for the tests, you prefer I make them simpler? I actually think they're as simple as possible, but I'm willing to change them, if you see it fit.

[bjorng]

As for the tests, you prefer I make them simpler?

I mean simpler in the sense that the scaffolding in erl_lint_SUITE will allow you to do the same tests using less code and without creating four extra Erlang modules. In erl_lint_SUITE, you can just put source code to be tested in one or more binaries and call the run/2 function.

[paulo-ferraz-oliveira]

I mean simpler in the sense that the scaffolding in erl_lint_SUITE will allow you to do the same tests using less code

Sure thing. Let me simplify these proper. Thanks for your help.

[paulo-ferraz-oliveira]

@bjorng: I squashed most of the previous stuff (now force-pushed), then simplified the test suite.

[bjorng]

Thanks for the update. I have some more suggestions for changes. When you have done those changes, please squash to a single commit.

[paulo-ferraz-oliveira]

@bjorng, I think I've handled all your requests. I squashed all previous commits. Thanks for your help.

[bjorng]

Thanks! Added to our daily builds.

[bjorng]

Thanks for the pull request!