aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorKostis Sagonas <[email protected]>2010-05-26 16:43:36 +0200
committerRaimo Niskanen <[email protected]>2010-06-07 17:41:16 +0200
commit518bde000ae62811fc969ce29cf038c70a4415c8 (patch)
tree24d7649e8c7e617c4ac81722a8c32e1e4aa96010
parentadc4f6a6ea6f620d1f58d1a6533595faabb4b489 (diff)
downloadotp-518bde000ae62811fc969ce29cf038c70a4415c8.tar.gz
otp-518bde000ae62811fc969ce29cf038c70a4415c8.tar.bz2
otp-518bde000ae62811fc969ce29cf038c70a4415c8.zip
Add type info for erlang:append/2 and erlang:subtract/2
These are aliases for '++'/2 and '--'/2.
-rw-r--r--lib/hipe/cerl/erl_bif_types.erl6
1 files changed, 6 insertions, 0 deletions
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) ->