diff options
| author | Sverker Eriksson <[email protected]> | 2012-08-28 16:35:05 +0200 |
|---|---|---|
| committer | Sverker Eriksson <[email protected]> | 2012-08-28 16:36:42 +0200 |
| commit | ac243c3f95eab0d15a9cf05724238a2175a59aab (patch) | |
| tree | ced4ef86891ad2a11d8d211f3792b4c7f0905af9 | |
| parent | 830a13cd43ce59ac8b1ce07e830f3b8f7f7d9eec (diff) | |
| download | otp-ac243c3f95eab0d15a9cf05724238a2175a59aab.tar.gz otp-ac243c3f95eab0d15a9cf05724238a2175a59aab.tar.bz2 otp-ac243c3f95eab0d15a9cf05724238a2175a59aab.zip | |
Fix dialyzer warning for erlang:statistics(scheduler_wall_time)
| -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 1a75c1ed7e..fbb77b6a42 100644 --- a/lib/hipe/cerl/erl_bif_types.erl +++ b/lib/hipe/cerl/erl_bif_types.erl @@ -1483,6 +1483,8 @@ type(erlang, statistics, 1, Xs) -> t_tuple([t_non_neg_integer(), t_integer(0)]); ['wall_clock'] -> t_tuple([t_non_neg_integer(), t_integer(0)]); + ['scheduler_wall_time'] -> + t_list(t_tuple([t_integer(), t_number(), t_number()])); List when is_list(List) -> T_statistics_1; unknown -> @@ -3903,6 +3905,7 @@ arg_types(erlang, statistics, 1) -> t_atom('reductions'), t_atom('run_queue'), t_atom('runtime'), + t_atom('scheduler_wall_time'), t_atom('wall_clock')])]; arg_types(erlang, subtract, 2) -> arg_types(erlang, '--', 2); |