aboutsummaryrefslogtreecommitdiffstats
path: root/lib/hipe/cerl
diff options
context:
space:
mode:
authorStavros Aronis <[email protected]>2012-03-01 10:59:34 +0100
committerStavros Aronis <[email protected]>2012-03-01 10:59:34 +0100
commit1f9f1f5f841853310889d3668141b807b744ece2 (patch)
tree80cc2f13a3ab1b53d74d6c4ef4c8973f4ff21a30 /lib/hipe/cerl
parent06d0fd439347d1364078314b187dd388c5800c62 (diff)
downloadotp-1f9f1f5f841853310889d3668141b807b744ece2.tar.gz
otp-1f9f1f5f841853310889d3668141b807b744ece2.tar.bz2
otp-1f9f1f5f841853310889d3668141b807b744ece2.zip
Fix bug in remote type solving
Diffstat (limited to 'lib/hipe/cerl')
-rw-r--r--lib/hipe/cerl/erl_types.erl4
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/hipe/cerl/erl_types.erl b/lib/hipe/cerl/erl_types.erl
index aa4758c1d3..65b9a057de 100644
--- a/lib/hipe/cerl/erl_types.erl
+++ b/lib/hipe/cerl/erl_types.erl
@@ -683,9 +683,9 @@ t_solve_remote(?opaque(Set), ET, R, C) ->
{NewList, RR} = opaques_solve_remote(List, ET, R, C),
{?opaque(ordsets:from_list(NewList)), RR};
t_solve_remote(?tuple(?any, _, _) = T, _ET, _R, _C) -> {T, []};
-t_solve_remote(?tuple(Types, Arity, Tag), ET, R, C) ->
+t_solve_remote(?tuple(Types, _Arity, _Tag), ET, R, C) ->
{RL, RR} = list_solve_remote(Types, ET, R, C),
- {?tuple(RL, Arity, Tag), RR};
+ {t_tuple(RL), RR};
t_solve_remote(?tuple_set(Set), ET, R, C) ->
{NewSet, RR} = tuples_solve_remote(Set, ET, R, C),
{?tuple_set(NewSet), RR};