diff options
| author | Hans Bolinder <[email protected]> | 2017-05-03 12:48:49 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2017-06-13 13:40:25 +0200 |
| commit | 6d3b38a9d80af50b2153536fbb73de134420c406 (patch) | |
| tree | b7b965ced74271852b0f86b25080eb006bbf6ad7 /lib/dialyzer/test | |
| parent | de84a11b97f9b7d3642169b424e418106e117c68 (diff) | |
| download | otp-6d3b38a9d80af50b2153536fbb73de134420c406.tar.gz otp-6d3b38a9d80af50b2153536fbb73de134420c406.tar.bz2 otp-6d3b38a9d80af50b2153536fbb73de134420c406.zip | |
dialyzer: Warn about unused unknown types
Diffstat (limited to 'lib/dialyzer/test')
| -rw-r--r-- | lib/dialyzer/test/options2_SUITE_data/results/unused_unknown_type | 2 | ||||
| -rw-r--r-- | lib/dialyzer/test/options2_SUITE_data/src/unused_unknown_type.erl | 10 |
2 files changed, 12 insertions, 0 deletions
diff --git a/lib/dialyzer/test/options2_SUITE_data/results/unused_unknown_type b/lib/dialyzer/test/options2_SUITE_data/results/unused_unknown_type new file mode 100644 index 0000000000..110d896c76 --- /dev/null +++ b/lib/dialyzer/test/options2_SUITE_data/results/unused_unknown_type @@ -0,0 +1,2 @@ + +:0: Unknown type unknown:type1/0:0: Unknown type unknown:type2/0:0: Unknown type unknown:type3/0
\ No newline at end of file diff --git a/lib/dialyzer/test/options2_SUITE_data/src/unused_unknown_type.erl b/lib/dialyzer/test/options2_SUITE_data/src/unused_unknown_type.erl new file mode 100644 index 0000000000..90df7d528a --- /dev/null +++ b/lib/dialyzer/test/options2_SUITE_data/src/unused_unknown_type.erl @@ -0,0 +1,10 @@ +-module(unused_unknown_type). + +-export_type([unused/0]). + +-type unused() :: unknown:type1(). + +-record(unused_rec, {a :: unknown:type2()}). + +-record(rec, {a}). +-type unused_rec() :: #rec{a :: unknown:type3()}. |