From a5937ba8271139e96606f032b34f941402b2b9f7 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Thu, 16 Jan 2014 17:02:32 -0500 Subject: [PATCH] Fix types for `process` and `process*` Closes PR 14297 original commit: 0efc6d59e708a680307386a01a06989be3f8bbc0 --- .../typed-racket/base-env/base-env.rkt | 36 +++++++++---------- 1 file changed, 18 insertions(+), 18 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt index 9a27e117..1a5c7f5f 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt @@ -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