aboutsummaryrefslogtreecommitdiffstats
path: root/lib/tools
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2018-05-24 12:21:21 +0200
committerHans Bolinder <[email protected]>2018-05-25 09:46:47 +0200
commit324fc38bc442460f871f3ae002dd853415ae9e51 (patch)
tree26ea1179da346c7954a6064b05460c2eb7cbec0e /lib/tools
parent4f91c8a34f4cc2c728a63e8d218566b3b3795b10 (diff)
downloadotp-324fc38bc442460f871f3ae002dd853415ae9e51.tar.gz
otp-324fc38bc442460f871f3ae002dd853415ae9e51.tar.bz2
otp-324fc38bc442460f871f3ae002dd853415ae9e51.zip
dialyzer: Refine the test for overspecified functions
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.
Diffstat (limited to 'lib/tools')
0 files changed, 0 insertions, 0 deletions