aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/AUTHORS
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2016-04-28 13:23:13 +0200
committerHans Bolinder <[email protected]>2016-04-29 14:16:38 +0200
commitce8162c18707fa860418118bc2f4be03719dff67 (patch)
tree0d830142dd4aad13a97e19d29552348fdc78c237 /lib/dialyzer/AUTHORS
parent5063a52959570e6df11d6d94ae904f78daf8f954 (diff)
downloadotp-ce8162c18707fa860418118bc2f4be03719dff67.tar.gz
otp-ce8162c18707fa860418118bc2f4be03719dff67.tar.bz2
otp-ce8162c18707fa860418118bc2f4be03719dff67.zip
dialyzer: Fix a bug in the translation of forms to types
A bug is fixed, but there are more problems. Modify erl_types.erl like this: -define(EXPAND_LIMIT, 500). and bogus warnings are output (again). Callbacks and specs are compared (subtype) in dialyzer_behaviour. If they are expanded to different depths, then invalid warnings can be generated.
Diffstat (limited to 'lib/dialyzer/AUTHORS')
0 files changed, 0 insertions, 0 deletions