aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/options2_SUITE_data/src
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2017-05-03 12:48:49 +0200
committerHans Bolinder <[email protected]>2017-06-13 13:40:25 +0200
commit6d3b38a9d80af50b2153536fbb73de134420c406 (patch)
treeb7b965ced74271852b0f86b25080eb006bbf6ad7 /lib/dialyzer/test/options2_SUITE_data/src
parentde84a11b97f9b7d3642169b424e418106e117c68 (diff)
downloadotp-6d3b38a9d80af50b2153536fbb73de134420c406.tar.gz
otp-6d3b38a9d80af50b2153536fbb73de134420c406.tar.bz2
otp-6d3b38a9d80af50b2153536fbb73de134420c406.zip
dialyzer: Warn about unused unknown types
Diffstat (limited to 'lib/dialyzer/test/options2_SUITE_data/src')
-rw-r--r--lib/dialyzer/test/options2_SUITE_data/src/unused_unknown_type.erl10
1 files changed, 10 insertions, 0 deletions
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()}.