| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-05-25 | dialyzer: Refine the test for overspecified functions | Hans Bolinder | |
| The -Woverspecs (-Wspecdiffs) option generates warnings in a few more cases. The refinement is analogous to the test that -Wunderspecs already does: it checks if the contract has nothing in common with some element (see erl_types:t_elements/1) of the success typing. | |||
