Age | Commit message (Collapse) | Author | |
---|---|---|---|
2019-04-08 | dialyzer: Fix pretty printing of binaries | Hans Bolinder | |
Notice the comment in dialyzer_utils: %% Copied from core_pp. The function cerl:binary_segments/2 should/could %% be extended to handle literals, but then the cerl module cannot be %% HiPE-compiled as of Erlang/OTP 22.0 (due to <<I:N>>). When at it: simplify some common cases like "/binary-unit:8". | |||
2011-10-14 | Change category of 'might also return' warnings | Stavros Aronis | |
Dialyzer emits warnings like the following "The specification for _ states that the function might also return _ but the inferred return is _", which are actually underspecifications and not wrong type specifications. This patch makes sure that they are filed under the appropriate category. | |||
2011-05-04 | Add small/tuple_set_crash | Stavros Aronis | |