diff options
| author | Erlang/OTP <[email protected]> | 2010-06-08 13:46:42 +0200 |
|---|---|---|
| committer | Erlang/OTP <[email protected]> | 2010-06-08 13:46:42 +0200 |
| commit | 207dee6794b554af9d78336b1f1b5ccc11ee9ba1 (patch) | |
| tree | 5b6e8232129cacec742470c145f6e7045388cbe9 /lib/hipe/cerl | |
| parent | cc362ea3985f3d5f20d8f5316059c5ede04e6851 (diff) | |
| parent | 4b928be53fa903f091230f19b1fd7374eb096edf (diff) | |
| download | otp-207dee6794b554af9d78336b1f1b5ccc11ee9ba1.tar.gz otp-207dee6794b554af9d78336b1f1b5ccc11ee9ba1.tar.bz2 otp-207dee6794b554af9d78336b1f1b5ccc11ee9ba1.zip | |
Merge branch 'bg/nif_error' into dev
* commit 'bg/nif_error':
crypto: Add type specs for all documented functions
crypto: Use erlang:nif_error/1 to squelch false Dialyzer warnings
Add erlang:nif_error/1,2
Diffstat (limited to 'lib/hipe/cerl')
| -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 be3073c0e6..523c00b2be 100644 --- a/lib/hipe/cerl/erl_bif_types.erl +++ b/lib/hipe/cerl/erl_bif_types.erl @@ -1155,6 +1155,10 @@ type(erlang, monitor_node, 2, Xs) -> type(erlang, monitor_node, 3, Xs) -> strict(arg_types(erlang, monitor_node, 3), Xs, fun (_) -> t_atom('true') end); +type(erlang, nif_error, 1, _) -> + t_any(); +type(erlang, nif_error, 2, Xs) -> + strict(arg_types(erlang, nif_error, 2), Xs, fun (_) -> t_any() end); type(erlang, node, 0, _) -> t_node(); type(erlang, node, 1, Xs) -> strict(arg_types(erlang, node, 1), Xs, fun (_) -> t_node() end); @@ -3628,6 +3632,10 @@ arg_types(erlang, monitor_node, 2) -> [t_node(), t_boolean()]; arg_types(erlang, monitor_node, 3) -> [t_node(), t_boolean(), t_list(t_atom('allow_passive_connect'))]; +arg_types(erlang, nif_error, 1) -> + [t_any()]; +arg_types(erlang, nif_error, 2) -> + [t_any(), t_list()]; arg_types(erlang, node, 0) -> []; arg_types(erlang, node, 1) -> |