From 8cfeea9ab8def262bfc11bbf4cc8ec6a3421f452 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Tue, 30 Jul 2013 00:23:25 -0400 Subject: [PATCH] Adjust TR and docs for alarm-evt's domain 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. original commit: 91a015255dd077e81ed05f3cd1471b916bae5cf2 --- .../typed-racket-lib/typed-racket/base-env/base-env.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 e4c61258..c4c63ec9 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)]