diff options
| author | Björn Gustavsson <[email protected]> | 2010-06-02 09:12:39 +0200 |
|---|---|---|
| committer | Raimo Niskanen <[email protected]> | 2010-06-07 17:41:17 +0200 |
| commit | 31ea3c846d5ce812101e9769fd8047411d94bfbb (patch) | |
| tree | 9a0407a639711947f01275d4ddef328258ef12dc /lib/hipe/cerl | |
| parent | fb832e3b64859fc064bd51bf07df963b5e9fe8f6 (diff) | |
| download | otp-31ea3c846d5ce812101e9769fd8047411d94bfbb.tar.gz otp-31ea3c846d5ce812101e9769fd8047411d94bfbb.tar.bz2 otp-31ea3c846d5ce812101e9769fd8047411d94bfbb.zip | |
Add type information for erlang:port_call/2
(erlang:port_call/2 is undocumented.)
Diffstat (limited to 'lib/hipe/cerl')
| -rw-r--r-- | lib/hipe/cerl/erl_bif_types.erl | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/lib/hipe/cerl/erl_bif_types.erl b/lib/hipe/cerl/erl_bif_types.erl index e6017b10d8..4328c19b5c 100644 --- a/lib/hipe/cerl/erl_bif_types.erl +++ b/lib/hipe/cerl/erl_bif_types.erl @@ -1234,8 +1234,8 @@ type(erlang, phash2, 2, Xs) -> strict(arg_types(erlang, phash2, 2), Xs, fun (_) -> t_non_neg_integer() end); type(erlang, pid_to_list, 1, Xs) -> strict(arg_types(erlang, pid_to_list, 1), Xs, fun (_) -> t_string() end); -type(erlang, port_call, 3, Xs) -> - strict(arg_types(erlang, port_call, 3), Xs, fun (_) -> t_any() end); +type(erlang, port_call, Arity, Xs) when Arity =:= 2; Arity =:= 3 -> + strict(arg_types(erlang, port_call, Arity), Xs, fun (_) -> t_any() end); type(erlang, port_close, 1, Xs) -> strict(arg_types(erlang, port_close, 1), Xs, fun (_) -> t_atom('true') end); @@ -3792,6 +3792,8 @@ arg_types(erlang, phash2, 2) -> [t_any(), t_pos_integer()]; arg_types(erlang, pid_to_list, 1) -> [t_pid()]; +arg_types(erlang, port_call, 2) -> + [t_sup(t_port(), t_atom()), t_any()]; arg_types(erlang, port_call, 3) -> [t_sup(t_port(), t_atom()), t_integer(), t_any()]; arg_types(erlang, port_close, 1) -> |