diff options
Diffstat (limited to 'lib/dialyzer/test/small_tests_SUITE_data/src/contract3.erl')
-rw-r--r-- | lib/dialyzer/test/small_tests_SUITE_data/src/contract3.erl | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/lib/dialyzer/test/small_tests_SUITE_data/src/contract3.erl b/lib/dialyzer/test/small_tests_SUITE_data/src/contract3.erl deleted file mode 100644 index c135b72d45..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/src/contract3.erl +++ /dev/null @@ -1,34 +0,0 @@ -%%%------------------------------------------------------------------- -%%% File : contract3.erl -%%% Author : Tobias Lindahl <[email protected]> -%%% Description : Check overloaded domains -%%% -%%% Created : 2 Nov 2007 by Tobias Lindahl <[email protected]> -%%%------------------------------------------------------------------- --module(contract3). - --export([t/3]). - -t(X, Y, Z) -> - t1(X), - t2(X, Y), - t3(X, Y, Z). - --spec t1(atom()|integer()) -> integer(); - (atom()|list()) -> atom(). - -t1(X) -> - foo:bar(X). - --spec t2(atom(), integer()) -> integer(); - (atom(), list()) -> atom(). - -t2(X, Y) -> - foo:bar(X, Y). - --spec t3(atom(), integer(), list()) -> integer(); - (X, integer(), list()) -> X. - -t3(X, Y, Z) -> - X. - |