From f14d2fd415120b5e0ca7d6a8ef1855db243b19cf Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Thu, 17 Jun 2010 11:16:27 -0400 Subject: [PATCH] Added types for thread mailbox operations. Can't have typed mailboxes, though. original commit: cc796a9f9a1e0284dfd21328323cbedce416870c --- collects/typed-scheme/private/base-env.rkt | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/collects/typed-scheme/private/base-env.rkt b/collects/typed-scheme/private/base-env.rkt index 19a1fc43..f0f3b830 100644 --- a/collects/typed-scheme/private/base-env.rkt +++ b/collects/typed-scheme/private/base-env.rkt @@ -294,6 +294,10 @@ [thread-running? (-Thread . -> . B)] [thread-dead? (-Thread . -> . B)] [thread-wait (-Thread . -> . -Void)] +[thread-send (-poly (a) (-Thread Univ [(-> a)] . ->opt . (Un -Void (-val #f) a)))] +[thread-receive (-> Univ)] +[thread-try-receive (-> Univ)] +[thread-rewind-receive (-> (-lst Univ) -Void)] [reverse (-poly (a) (-> (-lst a) (-lst a)))] [append (-poly (a) (->* (list) (-lst a) (-lst a)))]