aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/src/dialyzer_plt.erl
diff options
context:
space:
mode:
authorKostis Sagonas <[email protected]>2010-03-04 18:58:53 +0200
committerBjörn Gustavsson <[email protected]>2010-06-03 14:34:26 +0200
commit95277553914a5c1a64fa93ac4b84ae475f49d695 (patch)
tree89d6df78b28030a082840527fdf67ca3cdd5e392 /lib/dialyzer/src/dialyzer_plt.erl
parent95ee37bc47ae9ff6eb26b7364f7ec953f894fc46 (diff)
downloadotp-95277553914a5c1a64fa93ac4b84ae475f49d695.tar.gz
otp-95277553914a5c1a64fa93ac4b84ae475f49d695.tar.bz2
otp-95277553914a5c1a64fa93ac4b84ae475f49d695.zip
Add infrastructure for the -export_type() attribute
erl_lint has been updated so that it takes the new -export_type() attribute into account. This means: - do not complain about types which are defined but nowhere used in the module but exported to other modules - check that all types which are exported are indeed defined in the module - warn when there are multiple occurrences of exported types. In doing this change, I've also taken the liberty to introduce many types and specs for functions of this module and to do small cleanups here and there.
Diffstat (limited to 'lib/dialyzer/src/dialyzer_plt.erl')
0 files changed, 0 insertions, 0 deletions