diff options
author | Hans Bolinder <[email protected]> | 2015-08-24 08:28:42 +0200 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2015-08-24 08:28:42 +0200 |
commit | f81065c4296c679bfdd023e988289b4d884cfdd2 (patch) | |
tree | e846ea7a1349677457a28f7bbde297b46e3f063a /lib/hipe/cerl/erl_bif_types.erl | |
parent | 378f70052f13ae607eebd5aebd7e978dc48a4c53 (diff) | |
parent | e409bd71d9aec56dec9f111966d1ca99d2537c41 (diff) | |
download | otp-f81065c4296c679bfdd023e988289b4d884cfdd2.tar.gz otp-f81065c4296c679bfdd023e988289b4d884cfdd2.tar.bz2 otp-f81065c4296c679bfdd023e988289b4d884cfdd2.zip |
Merge branch 'maint'
* maint:
hipe/dialyzer: Fix a bug concerning opaque types and keydelete/3
Diffstat (limited to 'lib/hipe/cerl/erl_bif_types.erl')
-rw-r--r-- | lib/hipe/cerl/erl_bif_types.erl | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/lib/hipe/cerl/erl_bif_types.erl b/lib/hipe/cerl/erl_bif_types.erl index 0b033ca439..dc149c0d8c 100644 --- a/lib/hipe/cerl/erl_bif_types.erl +++ b/lib/hipe/cerl/erl_bif_types.erl @@ -2,7 +2,7 @@ %% %% %CopyrightBegin% %% -%% Copyright Ericsson AB 2003-2014. All Rights Reserved. +%% Copyright Ericsson AB 2003-2015. All Rights Reserved. %% %% Licensed under the Apache License, Version 2.0 (the "License"); %% you may not use this file except in compliance with the License. @@ -93,7 +93,7 @@ t_list/0, t_list/1, t_list_elements/2, - t_list_termination/1, + t_list_termination/2, t_mfa/0, t_module/0, t_nil/0, @@ -1335,8 +1335,8 @@ type(lists, foldr, 3, Xs, _Opaques) -> type(lists, foldl, 3, Xs); % same type(lists, keydelete, 3, Xs, Opaques) -> strict(lists, keydelete, 3, Xs, fun ([_, _, L]) -> - Term = t_list_termination(L), - t_sup(Term, erl_types:lift_list_to_pos_empty(L)) + Term = t_list_termination(L, Opaques), + t_sup(Term, erl_types:lift_list_to_pos_empty(L, Opaques)) end, Opaques); type(lists, keyfind, 3, Xs, Opaques) -> strict(lists, keyfind, 3, Xs, |