diff options
| author | Björn Gustavsson <[email protected]> | 2010-06-01 10:41:08 +0200 |
|---|---|---|
| committer | Raimo Niskanen <[email protected]> | 2010-06-07 17:41:17 +0200 |
| commit | fb832e3b64859fc064bd51bf07df963b5e9fe8f6 (patch) | |
| tree | 7cb6e258c7e73c6357316cf9ac00999f3f229aa1 | |
| parent | 73dd7b96f997aa07f0482669fca057135122c9b2 (diff) | |
| download | otp-fb832e3b64859fc064bd51bf07df963b5e9fe8f6.tar.gz otp-fb832e3b64859fc064bd51bf07df963b5e9fe8f6.tar.bz2 otp-fb832e3b64859fc064bd51bf07df963b5e9fe8f6.zip | |
Add type information for erlang:display* BIFs
| -rw-r--r-- | lib/hipe/cerl/erl_bif_types.erl | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/lib/hipe/cerl/erl_bif_types.erl b/lib/hipe/cerl/erl_bif_types.erl index 0c04195e98..e6017b10d8 100644 --- a/lib/hipe/cerl/erl_bif_types.erl +++ b/lib/hipe/cerl/erl_bif_types.erl @@ -809,6 +809,10 @@ type(erlang, demonitor, 2, Xs) -> type(erlang, disconnect_node, 1, Xs) -> strict(arg_types(erlang, disconnect_node, 1), Xs, fun (_) -> t_boolean() end); type(erlang, display, 1, _) -> t_atom('true'); +type(erlang, display_string, 1, Xs) -> + strict(arg_types(erlang, display_string, 1), Xs, fun(_) -> t_atom('true') end); +type(erlang, display_nl, 0, _) -> + t_atom('true'); type(erlang, dist_exit, 3, Xs) -> strict(arg_types(erlang, dist_exit, 3), Xs, fun (_) -> t_atom('true') end); type(erlang, element, 2, Xs) -> @@ -3556,6 +3560,10 @@ arg_types(erlang, disconnect_node, 1) -> [t_node()]; arg_types(erlang, display, 1) -> [t_any()]; +arg_types(erlang, display_nl, 0) -> + []; +arg_types(erlang, display_string, 1) -> + [t_string()]; arg_types(erlang, dist_exit, 3) -> [t_pid(), t_dist_exit(), t_sup(t_pid(), t_port())]; arg_types(erlang, element, 2) -> |