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

Adjust TR and docs for alarm-evt's domain

Browse Source 
It was previously non-negative real, but the actual
implementation allows negative inputs. In addition, it's
harder to use the function in TR without a more permissive
type for the domain.
This commit is contained in:
Asumu Takikawa 2013-07-30 00:23:25 -04:00
parent 6c888143e7
commit 91a015255d
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/racket-pkgs/racket-doc/scribblings/reference/evts.scrbl
View File

@ -274,7 +274,7 @@ with timeouts that have not yet expired. The system-idle event's
]}
@defproc[(alarm-evt [msecs (>=/c 0)]) evt?]{
@defproc[(alarm-evt [msecs real?]) evt?]{
Returns a @tech{synchronizable event} that is not @tech{ready for synchronization} when
@racket[(current-inexact-milliseconds)] would return a value that is

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

@ -315,7 +315,7 @@
[always-evt (-mu x (make-Evt x))]
[never-evt (make-Evt (Un))]
[system-idle-evt (-> (make-Evt -Void))]
[alarm-evt (-> -NonNegReal (-mu x (make-Evt x)))]
[alarm-evt (-> -Real (-mu x (make-Evt x)))]
[handle-evt? (make-pred-ty (make-Evt Univ))]
[current-evt-pseudo-random-generator
(-Param -Pseudo-Random-Generator -Pseudo-Random-Generator)]