diff options
| author | Sverker Eriksson <[email protected]> | 2012-08-27 11:59:01 +0200 |
|---|---|---|
| committer | Sverker Eriksson <[email protected]> | 2012-08-28 16:36:37 +0200 |
| commit | 830a13cd43ce59ac8b1ce07e830f3b8f7f7d9eec (patch) | |
| tree | 4793b718b18003a110acc318e9efe36c32e5ff23 /lib/hipe/cerl | |
| parent | 16e18097c0a876fdc4714086b6715359f8ac8476 (diff) | |
| download | otp-830a13cd43ce59ac8b1ce07e830f3b8f7f7d9eec.tar.gz otp-830a13cd43ce59ac8b1ce07e830f3b8f7f7d9eec.tar.bz2 otp-830a13cd43ce59ac8b1ce07e830f3b8f7f7d9eec.zip | |
Fix dialyzer warning for system_flag(scheduler_wall_time)
Diffstat (limited to 'lib/hipe/cerl')
| -rw-r--r-- | lib/hipe/cerl/erl_bif_types.erl | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/lib/hipe/cerl/erl_bif_types.erl b/lib/hipe/cerl/erl_bif_types.erl index 17b56a1243..1a75c1ed7e 100644 --- a/lib/hipe/cerl/erl_bif_types.erl +++ b/lib/hipe/cerl/erl_bif_types.erl @@ -1532,6 +1532,8 @@ type(erlang, system_flag, 2, Xs) -> t_sequential_tracer(); ['trace_control_word'] -> t_integer(); + ['scheduler_wall_time'] -> + t_boolean(); List when is_list(List) -> T_system_flag_2; unknown -> @@ -3925,6 +3927,7 @@ arg_types(erlang, system_flag, 2) -> t_atom('trace_control_word'), %% 'internal_cpu_topology' is an undocumented internal feature. t_atom('internal_cpu_topology'), + t_atom('scheduler_wall_time'), t_integer()]), t_sup([t_integer(), %% 'cpu_topology' @@ -3940,6 +3943,9 @@ arg_types(erlang, system_flag, 2) -> %% The following two are for 'multi_scheduling' t_atom('block'), t_atom('unblock'), + %% For 'scheduler_wall_time' + t_atom('true'), + t_atom('false'), %% The following is for 'internal_cpu_topology' t_internal_cpu_topology()])]; arg_types(erlang, system_info, 1) -> |