diff options
Diffstat (limited to 'lib/dialyzer/test/overlapping_contract_SUITE_data/src/overlapping_contract.erl')
| -rw-r--r-- | lib/dialyzer/test/overlapping_contract_SUITE_data/src/overlapping_contract.erl | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/lib/dialyzer/test/overlapping_contract_SUITE_data/src/overlapping_contract.erl b/lib/dialyzer/test/overlapping_contract_SUITE_data/src/overlapping_contract.erl new file mode 100644 index 0000000000..57b0d7f799 --- /dev/null +++ b/lib/dialyzer/test/overlapping_contract_SUITE_data/src/overlapping_contract.erl @@ -0,0 +1,12 @@ +-module(overlapping_contract). + +-export([t1/0]). + +%% Should result in a overlapping_contract warning +-spec t1() -> list(); + () -> [atom]. +t1() -> + case rand:uniform(2) of + 1 -> [test]; + 2 -> [2] + end. |