diff options
| author | Stavros Aronis <[email protected]> | 2011-03-21 18:40:13 +0200 |
|---|---|---|
| committer | Henrik Nord <[email protected]> | 2011-05-04 15:06:16 +0200 |
| commit | 1f1e0451e973c379ff402a5ce64c86ea80f110de (patch) | |
| tree | 2558d7a81367ee26f1960d426f6d209b8d09a8a4 | |
| parent | 4db4b78d1e8c27774c4d803723f4aa6a5df2009c (diff) | |
| download | otp-1f1e0451e973c379ff402a5ce64c86ea80f110de.tar.gz otp-1f1e0451e973c379ff402a5ce64c86ea80f110de.tar.bz2 otp-1f1e0451e973c379ff402a5ce64c86ea80f110de.zip | |
Add small/false_false
| -rw-r--r-- | lib/dialyzer/test/small_SUITE_data/src/false_false.erl | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/lib/dialyzer/test/small_SUITE_data/src/false_false.erl b/lib/dialyzer/test/small_SUITE_data/src/false_false.erl new file mode 100644 index 0000000000..e8efc42868 --- /dev/null +++ b/lib/dialyzer/test/small_SUITE_data/src/false_false.erl @@ -0,0 +1,32 @@ +%%---------------------------------------------------------------------------- +%% Mail from user (username: sauron!) via Dan Gudmundsson (17 Dec 2010). +%% +%% tried this on: +%% Erlang R14B (erts-5.8.1.2) [smp:2:2] [rq:2] [async-threads:0] ... +%% and got funny diagnostics from dialyzer +%% +%% false_false.erl:20: Function false_or/0 has no local return +%% false_false.erl:25: The variable _ can never match since previous +%% clauses completely covered the type 'ok' +%% +%% Problem in the handling of 'or' with constant 'false' arguments +%% fixed by Stavros Aronis and Maria Christakis on the same day. +%%---------------------------------------------------------------------------- +-module(false_false). + +-export([false_or/0, wips/0]). + +false_or() -> + false or false. + +wips() -> + case new_execute_cmd(random:uniform(2)) of + ok -> mostly_good; + _ -> and_here_we_are + end. + +new_execute_cmd(1) -> + ok; +new_execute_cmd(2) -> + io:format("Surprise result is: ~p~n", [false or false]), + false. |