aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorStavros Aronis <[email protected]>2013-02-14 17:44:58 +0100
committerStavros Aronis <[email protected]>2013-02-15 17:13:08 +0100
commita8b0dc0f6bc5bbf1330c6fa55a50198c40998eb4 (patch)
treefade7aa807c8d8c419006e456bda9c9fd7343aae
parent62a2a6b6b0b8a4d0ea5c3f8b209e340990a3e5c3 (diff)
downloadotp-a8b0dc0f6bc5bbf1330c6fa55a50198c40998eb4.tar.gz
otp-a8b0dc0f6bc5bbf1330c6fa55a50198c40998eb4.tar.bz2
otp-a8b0dc0f6bc5bbf1330c6fa55a50198c40998eb4.zip
Minor refactoring
-rw-r--r--lib/dialyzer/src/dialyzer_typesig.erl13
1 files changed, 1 insertions, 12 deletions
diff --git a/lib/dialyzer/src/dialyzer_typesig.erl b/lib/dialyzer/src/dialyzer_typesig.erl
index 0df003a035..8c0e45c8da 100644
--- a/lib/dialyzer/src/dialyzer_typesig.erl
+++ b/lib/dialyzer/src/dialyzer_typesig.erl
@@ -2582,19 +2582,8 @@ enter_type(Key, Val, Map) when is_integer(Key) ->
end
end;
enter_type(Key, Val, Map) ->
- ?debug("Entering ~s :: ~s\n", [format_type(Key), format_type(Val)]),
KeyName = t_var_name(Key),
- case t_is_any(Val) of
- true ->
- erase_type(KeyName, Map);
- false ->
- LimitedVal = t_limit(Val, ?INTERNAL_TYPE_LIMIT),
- case dict:find(KeyName, Map) of
- {ok, LimitedVal} -> Map;
- {ok, _} -> map_store(KeyName, LimitedVal, Map);
- error -> map_store(KeyName, LimitedVal, Map)
- end
- end.
+ enter_type(KeyName, Val, Map).
enter_type_lists([Key|KeyTail], [Val|ValTail], Map) ->
Map1 = enter_type(Key, Val, Map),