diff options
author | Stavros Aronis <[email protected]> | 2011-04-02 18:57:42 +0300 |
---|---|---|
committer | Henrik Nord <[email protected]> | 2011-05-04 15:06:15 +0200 |
commit | ca4633fd683527097451ca1398c90c87bb5c14fc (patch) | |
tree | 3d8e18c9becd4feb7d3ceb1eed24bdce2ef69dd6 /lib/dialyzer/test/small_tests_SUITE_data/src/overloaded1.erl | |
parent | bc619f0cbf9555df6dfc44a499f0cd9cee8bd1be (diff) | |
download | otp-ca4633fd683527097451ca1398c90c87bb5c14fc.tar.gz otp-ca4633fd683527097451ca1398c90c87bb5c14fc.tar.bz2 otp-ca4633fd683527097451ca1398c90c87bb5c14fc.zip |
Rename suite data directories
Diffstat (limited to 'lib/dialyzer/test/small_tests_SUITE_data/src/overloaded1.erl')
-rw-r--r-- | lib/dialyzer/test/small_tests_SUITE_data/src/overloaded1.erl | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/lib/dialyzer/test/small_tests_SUITE_data/src/overloaded1.erl b/lib/dialyzer/test/small_tests_SUITE_data/src/overloaded1.erl deleted file mode 100644 index 0af4f7446f..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/src/overloaded1.erl +++ /dev/null @@ -1,31 +0,0 @@ -%%----------------------------------------------------------------------------- -%% Test that tests overloaded contratcs. -%% In December 2008 it works as far as intersection types are concerned (test1) -%% However, it does NOT work as far as type variables are concerned (test2) -%%----------------------------------------------------------------------------- --module(overloaded1). --export([test1/0, test2/0, foo/2]). - -test1() -> - {ok, gazonk} = foo({a,b,1}, atom_to_list(gazonk)), - ok. - -test2() -> - {ok, gazonk} = foo(baz, []), - ok. - --type mod() :: atom(). - --spec foo(ATM, list()) -> {'ok', ATM} | {'error', _} when is_subtype(ATM, mod()) - ; (MFA, list()) -> {'ok', MFA} | {'error', _} when is_subtype(MFA, mfa()). - -foo(F, _) when is_atom(F) -> - case atom_to_list(F) of - [42|_] -> {ok, F}; - _Other -> {error, mod:bar(F)} - end; -foo({M,F,A}, _) -> - case A =:= 0 of - false -> {ok, {M,F,A}}; - true -> {error, M} - end. |