diff options
| author | Stavros Aronis <[email protected]> | 2011-01-03 13:59:19 +0200 |
|---|---|---|
| committer | Stavros Aronis <[email protected]> | 2011-01-14 11:40:59 +0200 |
| commit | 326ec4e6a86e7ddb7b49f2465ad43adf86399aac (patch) | |
| tree | bbb9f25c6bbbf805dc912d5e4827f10bd5e960ff | |
| parent | 3b7fd1030711ad56fa45d18dc6e0f1d0beee2399 (diff) | |
| download | otp-326ec4e6a86e7ddb7b49f2465ad43adf86399aac.tar.gz otp-326ec4e6a86e7ddb7b49f2465ad43adf86399aac.tar.bz2 otp-326ec4e6a86e7ddb7b49f2465ad43adf86399aac.zip | |
Cosmetic changes
| -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 b80c7efc1a..0e51ce059c 100644 --- a/lib/dialyzer/src/dialyzer_dataflow.erl +++ b/lib/dialyzer/src/dialyzer_dataflow.erl @@ -1748,7 +1748,7 @@ bind_opaque_pats(GenType, Type, Pat, Map, State, Rev) -> bind_guard(Guard, Map, State) -> try bind_guard(Guard, Map, dict:new(), pos, State) of - {Map1, _Type} -> Map1 + {Map1, _Type} -> Map1 catch throw:{fail, Warning} -> {error, Warning}; throw:{fatal_fail, Warning} -> {error, Warning} @@ -2274,7 +2274,7 @@ handle_guard_and(Guard, Map, Env, Eval, State) -> handle_guard_or(Guard, Map, Env, Eval, State) -> [Arg1, Arg2] = cerl:call_args(Guard), case Eval of - pos -> + pos -> {Map1, Bool1} = try bind_guard(Arg1, Map, Env, pos, State) catch |