aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorKostis Sagonas <[email protected]>2013-10-09 17:07:40 +0200
committerKostis Sagonas <[email protected]>2013-10-09 17:07:40 +0200
commitd25ed2cf7161c22544a667464fe4d3f3f156a9db (patch)
tree1303494f04cec8370d7af9b23b2017e3d81f63e6
parent1e665762b7e3f5d6e8da2137130e842432f246b2 (diff)
downloadotp-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.erl11
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.