diff --git a/pkgs/racket-pkgs/racket-doc/scribblings/reference/evts.scrbl b/pkgs/racket-pkgs/racket-doc/scribblings/reference/evts.scrbl index f71e491a88..8b68a7bee9 100644 --- a/pkgs/racket-pkgs/racket-doc/scribblings/reference/evts.scrbl +++ b/pkgs/racket-pkgs/racket-doc/scribblings/reference/evts.scrbl @@ -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 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 e4c6125861..c4c63ec96d 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 @@ -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)]