diff options
| author | Kostis Sagonas <[email protected]> | 2013-10-09 17:07:40 +0200 |
|---|---|---|
| committer | Kostis Sagonas <[email protected]> | 2013-10-09 17:07:40 +0200 |
| commit | d25ed2cf7161c22544a667464fe4d3f3f156a9db (patch) | |
| tree | 1303494f04cec8370d7af9b23b2017e3d81f63e6 | |
| parent | 1e665762b7e3f5d6e8da2137130e842432f246b2 (diff) | |
| download | otp-d25ed2cf7161c22544a667464fe4d3f3f156a9db.tar.gz otp-d25ed2cf7161c22544a667464fe4d3f3f156a9db.tar.bz2 otp-d25ed2cf7161c22544a667464fe4d3f3f156a9db.zip | |
No reason for calls to unknown modules
| -rw-r--r-- | lib/dialyzer/test/small_SUITE_data/src/contract3.erl | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/lib/dialyzer/test/small_SUITE_data/src/contract3.erl b/lib/dialyzer/test/small_SUITE_data/src/contract3.erl index 5b0bee9694..a6ce91882e 100644 --- a/lib/dialyzer/test/small_SUITE_data/src/contract3.erl +++ b/lib/dialyzer/test/small_SUITE_data/src/contract3.erl @@ -18,16 +18,23 @@ t(X, Y, Z) -> (atom()|list()) -> atom(). t1(X) -> - foo:bar(X). + f(X). -spec t2(atom(), integer()) -> integer(); (atom(), list()) -> atom(). t2(X, Y) -> - foo:bar(X, Y). + g(X, Y). -spec t3(atom(), integer(), list()) -> integer(); (X, integer(), list()) -> X. t3(X, Y, Z) -> X. + +%% dummy functions below + +f(X) -> X. + +g(X, Y) when is_atom(X), is_integer(Y) -> Y; +g(X, Y) when is_atom(X), is_list(Y) -> X. |