suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Added types for thread operations. Added Custodian type.

Browse Source 
original commit: bdf0d13970dcb088aa4f71497e3a074b9e26d0b6
This commit is contained in:
Eric Dobson 2011-06-17 17:01:23 -04:00 committed by Sam Tobin-Hochstadt
parent 5a62623e5d
commit ce39dddf04
2 changed files with 25 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
collects/typed-scheme/base-env/base-env.rkt
View File

@ -411,22 +411,44 @@
[void (->* '() Univ -Void)]
[void? (make-pred-ty -Void)]
;Section 10.1
;Section 10.1.1
[thread (-> (-> Univ) -Thread)]
[thread? (make-pred-ty -Thread)]
[current-thread (-> -Thread)]
[thread/suspend-to-kill (-> (-> Univ) -Thread)]
[call-in-nested-thread (-poly (a) (->opt (-> a) [-Custodian] a))]
;Section 10.1.2
[thread-suspend (-Thread . -> . -Void)]
[thread-resume (->opt -Thread [(Un (-val #f) -Thread -Custodian)] -Void)]
[kill-thread (-Thread . -> . -Void)]
[break-thread (-Thread . -> . -Void)]
[sleep ([N] . ->opt . -Void)]
[thread-running? (-Thread . -> . B)]
[thread-dead? (-Thread . -> . B)]
;Section 10.1.3
[thread-wait (-Thread . -> . -Void)]
[thread-send (-poly (a) (-Thread Univ [(-> a)] . ->opt . (Un -Void (-val #f) a)))]
;TODO need event types
;thread-dead-evt
;thread-resume-evt
;thread-suspend-evt
;Section 10.1.4
[thread-send (-poly (a)
(cl->*
(-> -Thread Univ -Void)
(-> -Thread Univ (-val #f) (-opt -Void))
(-> -Thread Univ (-> a) (Un -Void a))))]
[thread-receive (-> Univ)]
[thread-try-receive (-> Univ)]
[thread-rewind-receive (-> (-lst Univ) -Void)]
[future (-poly (A) ((-> A) . -> . (-future A)))]
[touch (-poly (A) ((-future A) . -> . A))]

2
collects/typed-scheme/types/abbrev.rkt
View File

@ -206,6 +206,8 @@
(define -Special-Comment
(make-Base 'Special-Comment #'special-comment? special-comment? #'-Special-Comment))
(define -Custodian (make-Base 'Custodian #'custodian? custodian? #'Custodian))