diff options
| author | Kostis Sagonas <[email protected]> | 2010-05-26 16:43:36 +0200 |
|---|---|---|
| committer | Raimo Niskanen <[email protected]> | 2010-06-07 17:41:16 +0200 |
| commit | 518bde000ae62811fc969ce29cf038c70a4415c8 (patch) | |
| tree | 24d7649e8c7e617c4ac81722a8c32e1e4aa96010 | |
| parent | adc4f6a6ea6f620d1f58d1a6533595faabb4b489 (diff) | |
| download | otp-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.erl | 6 |
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) -> |