From 4ca96c184819541fd9f67fc954d5dd9edb43e609 Mon Sep 17 00:00:00 2001 From: Kostis Sagonas Date: Wed, 3 Mar 2010 16:07:18 +0000 Subject: Fix small confusion/buglet in the handling of 'or' --- lib/dialyzer/src/dialyzer_dataflow.erl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'lib/dialyzer') 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 -- cgit v1.2.3