From 25f9bcfe030b4e1374546a8859d2170e5bf4b6eb Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@racket-lang.org>
Date: Sun, 15 Nov 2009 22:38:30 +0000
Subject: [PATCH] Add types for with-output-to-string, open-output-nowhere Fix
 time.ss test not to print

svn: r16790
---
 collects/tests/typed-scheme/succeed/time.ss | 29 +++++++++++----------
 collects/typed-scheme/private/base-env.ss   |  3 +++
 2 files changed, 18 insertions(+), 14 deletions(-)

diff --git a/collects/tests/typed-scheme/succeed/time.ss b/collects/tests/typed-scheme/succeed/time.ss
index 7641ce633c..e84a37afad 100644
--- a/collects/tests/typed-scheme/succeed/time.ss
+++ b/collects/tests/typed-scheme/succeed/time.ss
@@ -1,17 +1,18 @@
 #lang typed-scheme
+(require scheme/port)
 
+(: foo : Number Number -> Number)
+(define (foo x y)
+  (* x y))
 
-
- (: foo : Number Number -> Number)
- (define (foo x y)
-   (* x y))
-
- (: bar : Number -> Number)
- (define (bar c)
-   (: loop : Number Number -> Number)
-   (define (loop n acc)
-     (if (< 0 n)
-         (loop (- n 1) (+ (foo c n) acc))
-         acc))
-   (loop 10000000 0))
- (time (bar 0))
+(: bar : Number -> Number)
+(define (bar c)
+  (: loop : Number Number -> Number)
+  (define (loop n acc)
+    (if (< 0 n)
+	(loop (- n 1) (+ (foo c n) acc))
+	acc))
+  (loop 10000000 0))
+(parameterize ([current-output-port (open-output-nowhere)])
+  (time (bar 0)))
+  
diff --git a/collects/typed-scheme/private/base-env.ss b/collects/typed-scheme/private/base-env.ss
index 6716261e54..39c1c2cf58 100644
--- a/collects/typed-scheme/private/base-env.ss
+++ b/collects/typed-scheme/private/base-env.ss
@@ -733,6 +733,9 @@
 ;; scheme/port
 [port->lines (cl->* (-Input-Port . -> . (-lst -String))
                     (->  (-lst -String)))]
+[with-output-to-string
+  (-> (-> Univ) -String)]
+[open-output-nowhere (-> -Output-Port)]
 
 ;; scheme/path