[erlang-questions] Temporarily violating record type constraints annoys dialyzer
Tue Nov 13 13:44:14 CET 2018
On 11/13, Brujo Benavides wrote:
>Funny… I do exactly the opposite thing.
>Since many of my projects are libraries and dialyzer is mostly clueless on the correctness of exported function specs when it has no other code using them, I use the tests to let dialyzer know how the functions are meant to be used. That way it can tell me if my specs are wrong or if something I meant to do with those functions is actually not possible.
>That’s why, more often than not, instead of `rebar3 dialyzer`, I do `rebar3 as test dialyzer`.
>BTW, I don’t think Krzysztof was saying that he run dialyzer against tests, just that (on one hand) tests pass but (on the other hand) when he checked his code with dialyzer, it complained. Mostly because I can see how dialyzer would complain with just his code, and no tests :)
>Brujo Benavides <http://about.me/elbrujohalcon>
Do you just not do negative tests or you silence each of them
More information about the erlang-questions