aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorBjörn Gustavsson <bjorn@erlang.org>2010-02-13 07:42:37 +0100
committerBjörn Gustavsson <bjorn@erlang.org>2010-02-14 16:48:56 +0100
commit3f2a3a5e0b451ec82f33ece82132921cf8492094 (patch)
treebd398cee15be628ef11a0d1ed3c2dd72834fe28a
parent11d4aabd55fbf07701840827040f4b5496221587 (diff)
downloadotp-3f2a3a5e0b451ec82f33ece82132921cf8492094.tar.gz
otp-3f2a3a5e0b451ec82f33ece82132921cf8492094.tar.bz2
otp-3f2a3a5e0b451ec82f33ece82132921cf8492094.zip
Add types for os:timestamp/0
-rw-r--r--lib/hipe/cerl/erl_bif_types.erl4
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/hipe/cerl/erl_bif_types.erl b/lib/hipe/cerl/erl_bif_types.erl
index 862166cb1b..7cd3fc7157 100644
--- a/lib/hipe/cerl/erl_bif_types.erl
+++ b/lib/hipe/cerl/erl_bif_types.erl
@@ -2672,6 +2672,8 @@ type(os, getenv, 1, Xs) ->
type(os, getpid, 0, _) -> t_string();
type(os, putenv, 2, Xs) ->
strict(arg_types(os, putenv, 2), Xs, fun (_) -> t_atom('true') end);
+type(os, timestamp, 0, _) ->
+ t_time();
%%-- re -----------------------------------------------------------------------
type(re, compile, 1, Xs) ->
strict(arg_types(re, compile, 1), Xs,
@@ -4294,6 +4296,8 @@ arg_types(os, getpid, 0) ->
[];
arg_types(os, putenv, 2) ->
[t_string(), t_string()];
+arg_types(os, timestamp, 0) ->
+ [];
%%-- re -----------------------------------------------------------------------
arg_types(re, compile, 1) ->
[t_iodata()];