diff options
Diffstat (limited to 'lib/dialyzer/test/small_tests_SUITE_data/src/contract2.erl')
-rw-r--r-- | lib/dialyzer/test/small_tests_SUITE_data/src/contract2.erl | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/lib/dialyzer/test/small_tests_SUITE_data/src/contract2.erl b/lib/dialyzer/test/small_tests_SUITE_data/src/contract2.erl deleted file mode 100644 index 83ee5910f2..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/src/contract2.erl +++ /dev/null @@ -1,18 +0,0 @@ --module(contract2). --export([test/2]). - --spec test(list(), list()) -> ok. - -test([], []) -> - ok; -test([], L) -> - raise(L); -test([H|T], L) -> - case H of - true -> test(T, L); - false -> test(T, [H|L]) - end. - --spec raise(_) -> no_return(). -raise(X) -> - throw(X). |