diff options
| author | Hans Bolinder <[email protected]> | 2012-09-22 19:29:03 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2012-09-26 16:15:07 +0200 |
| commit | 2660d9b52c668e85d987208f8118b415a19c4ea5 (patch) | |
| tree | 90565678b308048b45898c9df2cb85a60a2ccb33 /lib/stdlib/test | |
| parent | d66bc8561265e699df4706e88611b67d243ba933 (diff) | |
| download | otp-2660d9b52c668e85d987208f8118b415a19c4ea5.tar.gz otp-2660d9b52c668e85d987208f8118b415a19c4ea5.tar.bz2 otp-2660d9b52c668e85d987208f8118b415a19c4ea5.zip | |
Warn for underspecified opaque types
Diffstat (limited to 'lib/stdlib/test')
| -rw-r--r-- | lib/stdlib/test/erl_lint_SUITE.erl | 8 |
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) -> |