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

Update TR type for current-process-milliseconds

Browse Source 
original commit: 03153d46ecebccab845797d1c1599a914ae26743
This commit is contained in:
Asumu Takikawa 2014-11-03 01:24:54 -05:00
parent 89f25ec981
commit de18a43b33
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-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)))]