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

Minor comment formatting.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2011-09-15 16:47:02 -04:00
parent 1f3d68e55e
commit 2570fae481
1 changed files with 12 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
collects/typed-racket/base-env/base-env.rkt
View File

@ -1522,16 +1522,18 @@
;Section 14.4 (Processes)
;; Subprocces has 3 arguments and 3 return values which are either ports
;; or false. There is a relation that if a port argument is false, then
;; the corresponding return value is a port, and if it is a port the return
;; value is false. process/ports and process*/ports have a similar behavior.
;; This behavior is encoded in the type system as each possible combination
;; of port arguments being one case of a case-> type. There is also a
;; final case where the unions are preserved because TR currently can
;; not deal with applying a case lambda to union types, and ensure that
;; while no one branch covers every union, every union is covered by a branch.
;; There is also twice as many cases to deal with the 'exact behavior for windows.
;; `subprocess' has 3 arguments and 3 return values which are either
;; ports or false. There is a relation that if a port argument is
;; false, then the corresponding return value is a port, and if it is
;; a port the return value is false. `process/ports` and
;; `process*/ports' have a similar behavior. This behavior is encoded
;; in the type system as each possible combination of port arguments
;; being one case of a case-> type. There is also a final case where
;; the unions are preserved because TR currently can not deal with
;; applying a case lambda to union types, and ensure that while no one
;; branch covers every union, every union is covered by a branch.
;; There is also twice as many cases to deal with the 'exact behavior
;; for windows.
[subprocess
(let* ((make-opt-in-port (lambda (port) (if port -Input-Port (-val #f))))