aboutsummaryrefslogtreecommitdiffstats
path: root/lib/stdlib/test/erl_lint_SUITE.erl
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2012-09-22 19:29:03 +0200
committerHans Bolinder <[email protected]>2012-09-26 16:15:07 +0200
commit2660d9b52c668e85d987208f8118b415a19c4ea5 (patch)
tree90565678b308048b45898c9df2cb85a60a2ccb33 /lib/stdlib/test/erl_lint_SUITE.erl
parentd66bc8561265e699df4706e88611b67d243ba933 (diff)
downloadotp-2660d9b52c668e85d987208f8118b415a19c4ea5.tar.gz
otp-2660d9b52c668e85d987208f8118b415a19c4ea5.tar.bz2
otp-2660d9b52c668e85d987208f8118b415a19c4ea5.zip
Warn for underspecified opaque types
Diffstat (limited to 'lib/stdlib/test/erl_lint_SUITE.erl')
-rw-r--r--lib/stdlib/test/erl_lint_SUITE.erl8
1 files changed, 8 insertions, 0 deletions
diff --git a/lib/stdlib/test/erl_lint_SUITE.erl b/lib/stdlib/test/erl_lint_SUITE.erl
index 2a9163b6c4..90a37f6441 100644
--- a/lib/stdlib/test/erl_lint_SUITE.erl
+++ b/lib/stdlib/test/erl_lint_SUITE.erl
@@ -2399,6 +2399,14 @@ otp_10436(Config) when is_list(Config) ->
{warnings,[{4,erl_lint,{not_exported_opaque,{t2,0}}},
{4,erl_lint,{unused_type,{t2,0}}}]} =
run_test2(Config, Ts, []),
+ Ts2 = <<"-module(otp_10436_2).
+ -export_type([t1/0, t2/0]).
+ -opaque t1() :: term().
+ -opaque t2() :: any().
+ ">>,
+ {warnings,[{3,erl_lint,{underspecified_opaque,{t1,0}}},
+ {4,erl_lint,{underspecified_opaque,{t2,0}}}]} =
+ run_test2(Config, Ts2, []),
ok.
export_all(doc) ->