From ac499ccfc6eb85731bc9232050444d21e6ac8878 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Tue, 15 Jul 2014 14:14:18 -0400 Subject: [PATCH] Add a type for `replace-evt` original commit: 7d9f8d5eb31f2bf963b7290d0857be7b409300a7 --- .../typed-racket-lib/typed-racket/base-env/base-env.rkt | 4 ++++ 1 file changed, 4 insertions(+) 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 6e095e16..ab48e908 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 @@ -1345,6 +1345,10 @@ [poll-guard-evt (-poly (a) (-> (-> -Boolean (-evt a)) (-evt a)))] [always-evt (-mu x (-evt x))] +[replace-evt (-poly (a b) + (cl->* + (-> (-evt a) (-> a (-evt b)) (-evt b)) + (-> (-evt a) (-> a b) (-mu x (-evt x)))))] [never-evt (-evt (Un))] [system-idle-evt (-> (-evt -Void))] [alarm-evt (-> -Real (-mu x (-evt x)))]