suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Update TR type for current-process-milliseconds

Browse Source
This commit is contained in:
Asumu Takikawa 2014-11-03 01:24:54 -05:00
parent f59b36a951
commit 03153d46ec
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt
View File

@ -2819,7 +2819,8 @@
[current-milliseconds (-> -Fixnum)] [current-milliseconds (-> -Fixnum)]
[current-inexact-milliseconds (-> -Real)] [current-inexact-milliseconds (-> -Real)]
[current-gc-milliseconds (-> -Fixnum)] [current-gc-milliseconds (-> -Fixnum)]
[current-process-milliseconds (-> -Fixnum)] [current-process-milliseconds
(->opt [(Un (-val #f) (-val 'subprocesses) -Thread)] -Fixnum)]
;; Section 15.7 ;; Section 15.7
[getenv (-> -String (Un -String (-val #f)))] [getenv (-> -String (Un -String (-val #f)))]