From a25a07987e5e610cc94073e1dc78d207ce3b9570 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Mon, 7 Sep 2015 15:33:49 -0500 Subject: [PATCH] Update type of `pretty-format`. --- typed-racket-lib/typed-racket/base-env/base-env.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/typed-racket-lib/typed-racket/base-env/base-env.rkt b/typed-racket-lib/typed-racket/base-env/base-env.rkt index 5b0d5b76..610a5d0b 100644 --- a/typed-racket-lib/typed-racket/base-env/base-env.rkt +++ b/typed-racket-lib/typed-racket/base-env/base-env.rkt @@ -2108,7 +2108,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 [-Nat] . ->opt . -String)] +[pretty-format (Univ [-Nat] #:mode -Symbol #f . ->optkey . -String)] [pretty-print-handler (-> Univ -Void)] [pretty-print-columns (-Param (Un -Nat (-val 'infinity)) (Un -Nat (-val 'infinity)))]