From 46ac4b22bd663e50e6737f93c9bfff5fbbcb388c Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Wed, 16 Jul 2014 14:46:53 -0400 Subject: [PATCH] Add TR tests for `replace-evt` original commit: a365f75ebb5f4ea576ab45321b90443c84e306b0 --- .../tests/typed-racket/unit-tests/typecheck-tests.rkt | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt index 30555cb4..37d4329d 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt @@ -1722,6 +1722,10 @@ (make-Evt -String)) (tc-e (guard-evt (inst make-channel String)) (make-Evt -String)) + (tc-e (sync (replace-evt always-evt (lambda (x) 3))) + (-mu x (make-Evt x))) + (tc-e (sync (replace-evt always-evt (lambda (x) (alarm-evt (+ (current-inexact-milliseconds) 1000))))) + (-mu x (make-Evt x))) (tc-err (let: ([a : (U (Evtof Any) String) always-evt]) (if (handle-evt? a) a (string->symbol a))) #:ret (ret (t:Un -Symbol (make-Evt Univ))))