diff options
| author | Kostis Sagonas <[email protected]> | 2010-03-03 16:07:18 +0000 |
|---|---|---|
| committer | Erlang/OTP <[email protected]> | 2010-03-03 16:07:18 +0000 |
| commit | 4ca96c184819541fd9f67fc954d5dd9edb43e609 (patch) | |
| tree | d0430a548b7bba116facb349ce36211d44d83945 | |
| parent | 67e5a5f8833a9d090e4e9920f29541870eba34f5 (diff) | |
| download | otp-4ca96c184819541fd9f67fc954d5dd9edb43e609.tar.gz otp-4ca96c184819541fd9f67fc954d5dd9edb43e609.tar.bz2 otp-4ca96c184819541fd9f67fc954d5dd9edb43e609.zip | |
Fix small confusion/buglet in the handling of 'or'
| -rw-r--r-- | lib/dialyzer/src/dialyzer_dataflow.erl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/dialyzer/src/dialyzer_dataflow.erl b/lib/dialyzer/src/dialyzer_dataflow.erl index a57d9a96c6..1ccfaaa52f 100644 --- a/lib/dialyzer/src/dialyzer_dataflow.erl +++ b/lib/dialyzer/src/dialyzer_dataflow.erl @@ -2290,11 +2290,11 @@ handle_guard_or(Guard, Map, Env, Eval, State) -> end; neg -> {Map1, Type1} = bind_guard(Arg1, Map, Env, neg, State), - case t_is_atom(true, Type1) of + case t_is_atom(false, Type1) of false -> throw({fail, none}); true -> {Map2, Type2} = bind_guard(Arg2, Map1, Env, neg, State), - case t_is_atom(true, Type2) of + case t_is_atom(false, Type2) of false -> throw({fail, none}); true -> {Map2, t_atom(false)} end |