diff options
| author | Kostis Sagonas <[email protected]> | 2010-03-04 18:58:53 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2010-06-03 14:34:26 +0200 |
| commit | 95277553914a5c1a64fa93ac4b84ae475f49d695 (patch) | |
| tree | 89d6df78b28030a082840527fdf67ca3cdd5e392 /lib/dialyzer/src/dialyzer_plt.erl | |
| parent | 95ee37bc47ae9ff6eb26b7364f7ec953f894fc46 (diff) | |
| download | otp-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