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

Fix types for process and process*

Browse Source 
Closes PR 14297
This commit is contained in:
Asumu Takikawa 2014-01-16 17:02:32 -05:00
parent 0a110a30be
commit 0efc6d59e7
1 changed files with 18 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt
View File

@ -2436,30 +2436,30 @@
[process (->key [process (->key
-String -String
#:set-pwd? Univ #f #:set-pwd? Univ #f
(-values (list -Input-Port -Output-Port -Nat -Input-Port (-lst* -Input-Port -Output-Port -Nat -Input-Port
(cl->* (-> (-val 'status) (one-of/c 'running 'done-ok 'done-error)) (cl->* (-> (-val 'status) (one-of/c 'running 'done-ok 'done-error))
(-> (-val 'exit-code) (-opt -Byte)) (-> (-val 'exit-code) (-opt -Byte))
(-> (-val 'wait) ManyUniv) (-> (-val 'wait) ManyUniv)
(-> (-val 'interrupt) -Void) (-> (-val 'interrupt) -Void)
(-> (-val 'kill) -Void)))))] (-> (-val 'kill) -Void))))]
[process* [process*
(cl->* (cl->*
(->optkey -Pathlike [] #:rest (Un -Path -String -Bytes) #:set-pwd? Univ #f (->optkey -Pathlike [] #:rest (Un -Path -String -Bytes) #:set-pwd? Univ #f
(-values (list -Input-Port -Output-Port -Nat -Input-Port (-lst* -Input-Port -Output-Port -Nat -Input-Port
(cl->* (-> (-val 'status) (one-of/c 'running 'done-ok 'done-error)) (cl->* (-> (-val 'status) (one-of/c 'running 'done-ok 'done-error))
(-> (-val 'exit-code) (-opt -Byte)) (-> (-val 'exit-code) (-opt -Byte))
(-> (-val 'wait) ManyUniv) (-> (-val 'wait) ManyUniv)
(-> (-val 'interrupt) -Void) (-> (-val 'interrupt) -Void)
(-> (-val 'kill) -Void))))) (-> (-val 'kill) -Void))))
(->key -Pathlike (-val 'exact) -String (->key -Pathlike (-val 'exact) -String
#:set-pwd? Univ #f #:set-pwd? Univ #f
(-values (list -Input-Port -Output-Port -Nat -Input-Port (-lst* -Input-Port -Output-Port -Nat -Input-Port
(cl->* (-> (-val 'status) (one-of/c 'running 'done-ok 'done-error)) (cl->* (-> (-val 'status) (one-of/c 'running 'done-ok 'done-error))
(-> (-val 'exit-code) (-opt -Byte)) (-> (-val 'exit-code) (-opt -Byte))
(-> (-val 'wait) ManyUniv) (-> (-val 'wait) ManyUniv)
(-> (-val 'interrupt) -Void) (-> (-val 'interrupt) -Void)
(-> (-val 'kill) -Void))))))] (-> (-val 'kill) -Void)))))]
[process/ports [process/ports
(let* ((fun-type (let* ((fun-type