aboutsummaryrefslogtreecommitdiffstats
path: root/lib/hipe/cerl
diff options
context:
space:
mode:
authorSverker Eriksson <[email protected]>2012-08-28 16:35:05 +0200
committerSverker Eriksson <[email protected]>2012-08-28 16:36:42 +0200
commitac243c3f95eab0d15a9cf05724238a2175a59aab (patch)
treeced4ef86891ad2a11d8d211f3792b4c7f0905af9 /lib/hipe/cerl
parent830a13cd43ce59ac8b1ce07e830f3b8f7f7d9eec (diff)
downloadotp-ac243c3f95eab0d15a9cf05724238a2175a59aab.tar.gz
otp-ac243c3f95eab0d15a9cf05724238a2175a59aab.tar.bz2
otp-ac243c3f95eab0d15a9cf05724238a2175a59aab.zip
Fix dialyzer warning for erlang:statistics(scheduler_wall_time)
Diffstat (limited to 'lib/hipe/cerl')
-rw-r--r--lib/hipe/cerl/erl_bif_types.erl3
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);