From 6d3b38a9d80af50b2153536fbb73de134420c406 Mon Sep 17 00:00:00 2001 From: Hans Bolinder Date: Wed, 3 May 2017 12:48:49 +0200 Subject: dialyzer: Warn about unused unknown types --- .../test/options2_SUITE_data/results/unused_unknown_type | 2 ++ .../test/options2_SUITE_data/src/unused_unknown_type.erl | 10 ++++++++++ 2 files changed, 12 insertions(+) create mode 100644 lib/dialyzer/test/options2_SUITE_data/results/unused_unknown_type create mode 100644 lib/dialyzer/test/options2_SUITE_data/src/unused_unknown_type.erl (limited to 'lib/dialyzer/test/options2_SUITE_data') 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()}. -- cgit v1.2.3