suzanne.soy/typed-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

original commit: 0efc6d59e708a680307386a01a06989be3f8bbc0
This commit is contained in:
Asumu Takikawa 2014-01-16 17:02:32 -05:00
parent 6eb44688c7
commit a5937ba827
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
-String
#:set-pwd? Univ #f
(-values (list -Input-Port -Output-Port -Nat -Input-Port
(cl->* (-> (-val 'status) (one-of/c 'running 'done-ok 'done-error))
(-> (-val 'exit-code) (-opt -Byte))
(-> (-val 'wait) ManyUniv)
(-> (-val 'interrupt) -Void)
(-> (-val 'kill) -Void)))))]
(-lst* -Input-Port -Output-Port -Nat -Input-Port
(cl->* (-> (-val 'status) (one-of/c 'running 'done-ok 'done-error))
(-> (-val 'exit-code) (-opt -Byte))
(-> (-val 'wait) ManyUniv)
(-> (-val 'interrupt) -Void)
(-> (-val 'kill) -Void))))]
[process*
(cl->*
(->optkey -Pathlike [] #:rest (Un -Path -String -Bytes) #:set-pwd? Univ #f
(-values (list -Input-Port -Output-Port -Nat -Input-Port
(cl->* (-> (-val 'status) (one-of/c 'running 'done-ok 'done-error))
(-> (-val 'exit-code) (-opt -Byte))
(-> (-val 'wait) ManyUniv)
(-> (-val 'interrupt) -Void)
(-> (-val 'kill) -Void)))))
(-lst* -Input-Port -Output-Port -Nat -Input-Port
(cl->* (-> (-val 'status) (one-of/c 'running 'done-ok 'done-error))
(-> (-val 'exit-code) (-opt -Byte))
(-> (-val 'wait) ManyUniv)
(-> (-val 'interrupt) -Void)
(-> (-val 'kill) -Void))))
(->key -Pathlike (-val 'exact) -String
#:set-pwd? Univ #f
(-values (list -Input-Port -Output-Port -Nat -Input-Port
(cl->* (-> (-val 'status) (one-of/c 'running 'done-ok 'done-error))
(-> (-val 'exit-code) (-opt -Byte))
(-> (-val 'wait) ManyUniv)
(-> (-val 'interrupt) -Void)
(-> (-val 'kill) -Void))))))]
(-lst* -Input-Port -Output-Port -Nat -Input-Port
(cl->* (-> (-val 'status) (one-of/c 'running 'done-ok 'done-error))
(-> (-val 'exit-code) (-opt -Byte))
(-> (-val 'wait) ManyUniv)
(-> (-val 'interrupt) -Void)
(-> (-val 'kill) -Void)))))]
[process/ports
(let* ((fun-type