From de18a43b3328416c599c558ef16e227775e5fd1e Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Mon, 3 Nov 2014 01:24:54 -0500 Subject: [PATCH] Update TR type for `current-process-milliseconds` original commit: 03153d46ecebccab845797d1c1599a914ae26743 --- .../typed-racket-lib/typed-racket/base-env/base-env.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt index cd20c428..c22ae6e0 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt @@ -2819,7 +2819,8 @@ [current-milliseconds (-> -Fixnum)] [current-inexact-milliseconds (-> -Real)] [current-gc-milliseconds (-> -Fixnum)] -[current-process-milliseconds (-> -Fixnum)] +[current-process-milliseconds + (->opt [(Un (-val #f) (-val 'subprocesses) -Thread)] -Fixnum)] ;; Section 15.7 [getenv (-> -String (Un -String (-val #f)))]