diff options
| author | Björn Gustavsson <[email protected]> | 2010-02-13 07:42:37 +0100 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2010-02-14 16:48:56 +0100 |
| commit | 3f2a3a5e0b451ec82f33ece82132921cf8492094 (patch) | |
| tree | bd398cee15be628ef11a0d1ed3c2dd72834fe28a /lib/hipe/cerl/erl_bif_types.erl | |
| parent | 11d4aabd55fbf07701840827040f4b5496221587 (diff) | |
| download | otp-3f2a3a5e0b451ec82f33ece82132921cf8492094.tar.gz otp-3f2a3a5e0b451ec82f33ece82132921cf8492094.tar.bz2 otp-3f2a3a5e0b451ec82f33ece82132921cf8492094.zip | |
Add types for os:timestamp/0
Diffstat (limited to 'lib/hipe/cerl/erl_bif_types.erl')
| -rw-r--r-- | lib/hipe/cerl/erl_bif_types.erl | 4 |
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()]; |