From d1153d23e04d9e2603546c86b233acd5528311eb Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 12 May 2010 17:25:53 -0400 Subject: [PATCH] more lost changes original commit: daf43d1702800a47210489080f47a1bc14386ace --- collects/typed-scheme/private/base-env.rkt | 37 ++++++++++++++++++++-- 1 file changed, 35 insertions(+), 2 deletions(-) diff --git a/collects/typed-scheme/private/base-env.rkt b/collects/typed-scheme/private/base-env.rkt index 82c7d346..60bfa34e 100644 --- a/collects/typed-scheme/private/base-env.rkt +++ b/collects/typed-scheme/private/base-env.rkt @@ -711,5 +711,38 @@ [system/exit-code (-String . -> . -Integer)] [system*/exit-code ((list -Pathlike) -String . ->* . -Integer)] - -;; mutable pairs +;; Byte and String Output (Section 12.3 of the Reference) +[write-char (cl-> [(-Char) -Void] + [(-Char -Output-Port) -Void])] +[write-byte (cl-> [(-Nat) -Void] + [(-Nat -Output-Port) -Void])] +[newline (cl-> [() -Void] + [(-Output-Port) -Void])] +[write-string (cl-> [(-String) -Nat] + [(-String -Output-Port) -Nat] + [(-String -Output-Port -Nat) -Nat] + [(-String -Output-Port -Nat -Nat) -Nat])] +[write-bytes (cl-> [(-Bytes) -Nat] + [(-Bytes -Output-Port) -Nat] + [(-Bytes -Output-Port -Nat) -Nat] + [(-Bytes -Output-Port -Nat -Nat) -Nat])] +[write-bytes-avail (cl-> [(-Bytes) -Nat] + [(-Bytes -Output-Port) -Nat] + [(-Bytes -Output-Port -Nat) -Nat] + [(-Bytes -Output-Port -Nat -Nat) -Nat])] +[write-bytes-avail* (cl-> [(-Bytes) (-opt -Nat)] + [(-Bytes -Output-Port) (-opt -Nat)] + [(-Bytes -Output-Port -Nat) (-opt -Nat)] + [(-Bytes -Output-Port -Nat -Nat) (-opt -Nat)])] +[write-bytes-avail/enable-break (cl-> [(-Bytes) -Nat] + [(-Bytes -Output-Port) -Nat] + [(-Bytes -Output-Port -Nat) -Nat] + [(-Bytes -Output-Port -Nat -Nat) -Nat])] +[write-special (cl-> [(Univ) -Boolean] + [(Univ -Output-Port) -Boolean])] +;; Need event type before we can include these +;;write-special-avail* +;;write-bytes-avail-evt +;;write-special-evt +[port-writes-atomic? (-Output-Port . -> . -Boolean)] +[port-writes-special? (-Output-Port . -> . -Boolean)]