otp.git/lib/dialyzer/test/specdiffs_SUITE_data, branch maint Mirror of Erlang/OTP repository. dialyzer: Add test cases with indentation 2019-05-07T06:25:03+00:00 Hans Bolinder hasse@erlang.org 2019-04-17T11:20:56+00:00 77cbe3b6ced0ca42cf3ec5c8ca0333d9418a0372 A smallish selection of already existing tests, run with the indentation option. 
A smallish selection of already existing tests, run with
the indentation option.
dialyzer: Refine the test for overspecified functions 2018-05-25T07:46:47+00:00 Hans Bolinder hasse@erlang.org 2018-05-24T10:21:21+00:00 324fc38bc442460f871f3ae002dd853415ae9e51 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. 
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.