diff options
| author | Stavros Aronis <[email protected]> | 2013-02-14 17:44:58 +0100 |
|---|---|---|
| committer | Stavros Aronis <[email protected]> | 2013-02-15 17:13:08 +0100 |
| commit | a8b0dc0f6bc5bbf1330c6fa55a50198c40998eb4 (patch) | |
| tree | fade7aa807c8d8c419006e456bda9c9fd7343aae /lib/dialyzer | |
| parent | 62a2a6b6b0b8a4d0ea5c3f8b209e340990a3e5c3 (diff) | |
| download | otp-a8b0dc0f6bc5bbf1330c6fa55a50198c40998eb4.tar.gz otp-a8b0dc0f6bc5bbf1330c6fa55a50198c40998eb4.tar.bz2 otp-a8b0dc0f6bc5bbf1330c6fa55a50198c40998eb4.zip | |
Minor refactoring
Diffstat (limited to 'lib/dialyzer')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_typesig.erl | 13 |
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), |