From 0399babc85d72a7dfc3114cb127285779f053228 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Sat, 16 Mar 2013 20:31:36 -0400 Subject: [PATCH] pretty-format returns a String, not Void --- collects/typed-racket/base-env/base-env.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-racket/base-env/base-env.rkt b/collects/typed-racket/base-env/base-env.rkt index 6b1b977267..ad881fd510 100644 --- a/collects/typed-racket/base-env/base-env.rkt +++ b/collects/typed-racket/base-env/base-env.rkt @@ -2571,7 +2571,7 @@ [pretty-print (Univ [-Output-Port (one-of/c 0 1)] . ->opt . -Void)] [pretty-write (Univ [-Output-Port] . ->opt . -Void)] [pretty-display (Univ [-Output-Port] . ->opt . -Void)] -[pretty-format (Univ [-Output-Port] . ->opt . -Void)] +[pretty-format (Univ [-Nat] . ->opt . -String)] [pretty-print-handler (-> Univ -Void)] [pretty-print-columns (-Param (Un -Nat (-val 'infinity)) (Un -Nat (-val 'infinity)))]