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

Refine type of current-inexact-milliseconds.

Browse Source 
Thanks to Alex Knauth for the report.
This commit is contained in:
Vincent St-Amour 2015-01-27 20:30:28 -05:00
parent d93b387150
commit ef35d21a31
2 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
typed-racket-lib/typed-racket/base-env/base-env.rkt
View File

@ -2829,7 +2829,7 @@
(-Integer Univ . -> . -Date))]
[current-seconds (-> -Integer)]
[current-milliseconds (-> -Fixnum)]
[current-inexact-milliseconds (-> -Real)]
[current-inexact-milliseconds (-> -Flonum)]
[current-gc-milliseconds (-> -Fixnum)]
[current-process-milliseconds
(->opt [(Un (-val #f) (-val 'subprocesses) -Thread)] -Fixnum)]

1
typed-racket-test/unit-tests/typecheck-tests.rkt
View File

@ -1815,6 +1815,7 @@
(make-Evt -String))
(tc-e (sync (replace-evt always-evt (lambda (x) 3)))
(-mu x (make-Evt x)))
(tc-e (current-inexact-milliseconds) -Flonum)
(tc-e (sync (replace-evt always-evt (lambda (x)
(alarm-evt (+ (current-inexact-milliseconds) 1000)))))
(-mu x (make-Evt x)))