diff options
| author | Raimo Niskanen <[email protected]> | 2012-03-22 14:29:55 +0100 |
|---|---|---|
| committer | Raimo Niskanen <[email protected]> | 2012-03-22 15:41:18 +0100 |
| commit | f67487b67bfb9ab04b01ef87bbfc39a24f604f11 (patch) | |
| tree | 3029c7a42a621670cdf4834a3712bca2f9376b9d /lib/hipe/cerl/erl_bif_types.erl | |
| parent | 5d7ed57d07118f95cf970ee655ea8eea76cbe6fd (diff) | |
| parent | 1e13b92d5c6543c82219610aa1336dbdf1f4dc2d (diff) | |
| download | otp-f67487b67bfb9ab04b01ef87bbfc39a24f604f11.tar.gz otp-f67487b67bfb9ab04b01ef87bbfc39a24f604f11.tar.bz2 otp-f67487b67bfb9ab04b01ef87bbfc39a24f604f11.zip | |
Merge branch 'maint'
Conflicts:
erts/doc/src/erlang.xml
erts/emulator/beam/erl_process.c
erts/emulator/beam/erl_process.h
erts/emulator/test/bif_SUITE.erl
erts/preloaded/ebin/erlang.beam
erts/preloaded/src/erlang.erl
lib/hipe/cerl/erl_bif_types.erl
Diffstat (limited to 'lib/hipe/cerl/erl_bif_types.erl')
| -rw-r--r-- | lib/hipe/cerl/erl_bif_types.erl | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/lib/hipe/cerl/erl_bif_types.erl b/lib/hipe/cerl/erl_bif_types.erl index 7ddbf56dd4..a65b46494e 100644 --- a/lib/hipe/cerl/erl_bif_types.erl +++ b/lib/hipe/cerl/erl_bif_types.erl @@ -139,6 +139,7 @@ type(M, F, A) -> %%-- erlang ------------------------------------------------------------------- type(erlang, halt, 0, _) -> t_none(); type(erlang, halt, 1, _) -> t_none(); +type(erlang, halt, 2, _) -> t_none(); type(erlang, exit, 1, _) -> t_none(); type(erlang, error, 1, _) -> t_none(); type(erlang, error, 2, _) -> t_none(); @@ -2195,7 +2196,10 @@ arg_types(erlang, disconnect_node, 1) -> arg_types(erlang, halt, 0) -> []; arg_types(erlang, halt, 1) -> - [t_sup(t_non_neg_fixnum(), t_string())]; + [t_sup([t_non_neg_fixnum(), t_atom('abort'), t_string()])]; +arg_types(erlang, halt, 2) -> + [t_sup([t_non_neg_fixnum(), t_atom('abort'), t_string()]), + t_list(t_tuple([t_atom('flush'), t_boolean()]))]; arg_types(erlang, error, 1) -> [t_any()]; arg_types(erlang, error, 2) -> |