We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
#:pool
thread
1 parent 0318907 commit 150f172Copy full SHA for 150f172
typed-racket-lib/typed-racket/base-env/base-env.rkt
@@ -1601,7 +1601,7 @@
1601
;; Section 11.1 (Threads)
1602
1603
;; Section 11.1.1
1604
-[thread (->key (-> Univ) #:keep (Un #f (-val 'results)) #f -Thread)]
+[thread (->key (-> Univ) #:keep (Un (-val #f) (-val 'results)) #f #:pool Univ #f -Thread)]
1605
[thread? (unsafe-shallow:make-pred-ty -Thread)]
1606
[current-thread (-> -Thread)]
1607
[thread/suspend-to-kill (-> (-> Univ) -Thread)]
0 commit comments