From 518bde000ae62811fc969ce29cf038c70a4415c8 Mon Sep 17 00:00:00 2001 From: Kostis Sagonas Date: Wed, 26 May 2010 16:43:36 +0200 Subject: Add type info for erlang:append/2 and erlang:subtract/2 These are aliases for '++'/2 and '--'/2. --- lib/hipe/cerl/erl_bif_types.erl | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/lib/hipe/cerl/erl_bif_types.erl b/lib/hipe/cerl/erl_bif_types.erl index 18e24ba2c7..8fa2ead18c 100644 --- a/lib/hipe/cerl/erl_bif_types.erl +++ b/lib/hipe/cerl/erl_bif_types.erl @@ -672,6 +672,7 @@ type(erlang, adler32, 2, Xs) -> type(erlang, adler32_combine, 3, Xs) -> strict(arg_types(erlang, adler32_combine, 3), Xs, fun (_) -> t_adler32() end); +type(erlang, append, 2, Xs) -> type(erlang, '++', 2, Xs); % alias type(erlang, append_element, 2, Xs) -> strict(arg_types(erlang, append_element, 2), Xs, fun (_) -> t_tuple() end); type(erlang, apply, 2, Xs) -> @@ -1510,6 +1511,7 @@ type(erlang, statistics, 1, Xs) -> T_statistics_1 end end); +type(erlang, subtract, 2, Xs) -> type(erlang, '--', 2, Xs); % alias type(erlang, suspend_process, 1, Xs) -> strict(arg_types(erlang, suspend_process, 1), Xs, fun (_) -> t_atom('true') end); @@ -3387,6 +3389,8 @@ arg_types(erlang, adler32, 2) -> [t_adler32(), t_iodata()]; arg_types(erlang, adler32_combine, 3) -> [t_adler32(), t_adler32(), t_non_neg_integer()]; +arg_types(erlang, append, 2) -> + arg_types(erlang, '++', 2); arg_types(erlang, append_element, 2) -> [t_tuple(), t_any()]; arg_types(erlang, apply, 2) -> @@ -3807,6 +3811,8 @@ arg_types(erlang, statistics, 1) -> t_atom('run_queue'), t_atom('runtime'), t_atom('wall_clock')])]; +arg_types(erlang, subtract, 2) -> + arg_types(erlang, '--', 2); arg_types(erlang, suspend_process, 1) -> [t_pid()]; arg_types(erlang, suspend_process, 2) -> -- cgit v1.2.3