diff options
| author | Filipe David Manana <[email protected]> | 2011-05-16 17:00:25 +0100 |
|---|---|---|
| committer | Filipe David Manana <[email protected]> | 2011-08-27 21:16:21 -0700 |
| commit | 1b2cea397131a36a39b18c6ce8c6944bf11db4c7 (patch) | |
| tree | e3f6ec427883d36e3ab8104ee73eb1c9c5966fcb /lib/hipe/cerl | |
| parent | 9a52e239698ae62cddbc0d780502c72458867b6f (diff) | |
| download | otp-1b2cea397131a36a39b18c6ce8c6944bf11db4c7.tar.gz otp-1b2cea397131a36a39b18c6ce8c6944bf11db4c7.tar.bz2 otp-1b2cea397131a36a39b18c6ce8c6944bf11db4c7.zip | |
Add erlang:external_size/2 BIF
This BIF's second parameter is a list of options.
Currently the only allowed option is {minor_version, Version}
where version is either 0 (default) or 1.
Diffstat (limited to 'lib/hipe/cerl')
| -rw-r--r-- | lib/hipe/cerl/erl_bif_types.erl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/hipe/cerl/erl_bif_types.erl b/lib/hipe/cerl/erl_bif_types.erl index 82e3675938..acc7366d6b 100644 --- a/lib/hipe/cerl/erl_bif_types.erl +++ b/lib/hipe/cerl/erl_bif_types.erl @@ -739,6 +739,7 @@ type(erlang, element, 2, Xs) -> type(erlang, erase, 0, _) -> t_any(); type(erlang, erase, 1, _) -> t_any(); type(erlang, external_size, 1, _) -> t_integer(); +type(erlang, external_size, 2, _) -> t_integer(); type(erlang, finish_after_on_load, 2, Xs) -> %% Internal BIF used by on_load. strict(arg_types(erlang, finish_after_on_load, 2), Xs, @@ -3446,6 +3447,8 @@ arg_types(erlang, exit, 2) -> [t_sup(t_pid(), t_port()), t_any()]; arg_types(erlang, external_size, 1) -> [t_any()]; % takes any term as input +arg_types(erlang, external_size, 2) -> + [t_any(), t_list()]; % takes any term as input and a list of options arg_types(erlang, finish_after_on_load, 2) -> [t_atom(), t_boolean()]; arg_types(erlang, float, 1) -> |