From d3affbf868a6aba549578ae1592c6fcca3f5b7ed Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 13 Oct 2008 15:30:55 +0000 Subject: [PATCH] * Move `write' next to `display' * Make it have the same type (can write anything) * Add `print' with the same type svn: r12004 original commit: 0209663ec75b138c505d101e6f8dfb636c51ec6a --- collects/typed-scheme/private/base-env.ss | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/typed-scheme/private/base-env.ss b/collects/typed-scheme/private/base-env.ss index 2f2de1de..1ddaed22 100644 --- a/collects/typed-scheme/private/base-env.ss +++ b/collects/typed-scheme/private/base-env.ss @@ -138,6 +138,8 @@ [match:error (Univ . -> . (Un))] [display (cl-> [(Univ) -Void] [(Univ -Port) -Void])] +[write (cl-> [(Univ) -Void] [(Univ -Port) -Void])] +[print (cl-> [(Univ) -Void] [(Univ -Port) -Void])] [void (->* '() Univ -Void)] [void? (make-pred-ty -Void)] [printf (->* (list -String) Univ -Void)] @@ -396,7 +398,6 @@ #;[exn:fail? (-> Univ B)] #;[exn:fail:read? (-> Univ B)] -[write (-> -Sexp -Void)] [open-output-string (-> -Output-Port)] ;; FIXME - wrong [get-output-string (-> -Output-Port -String)]