From 0dda32fb4aba341fbb7ebc73f182d44ed640b59a Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Tue, 21 Jan 2014 18:52:45 -0500 Subject: [PATCH] Use pretty-printing for all TR REPL commands original commit: b5bc36391693baa1b1953f7860d2d0b0821e9830 --- .../typed-racket/base-env/top-interaction.rkt | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/top-interaction.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/top-interaction.rkt index 69877be6..d53857e5 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/top-interaction.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/top-interaction.rkt @@ -61,7 +61,7 @@ [current-type-names (if (attribute verbose-kw) '() (current-type-names))] [current-print-unexpanded (box '())]) - (define type (format "~a" (parse-type #'ty))) + (define type (pretty-format-type (parse-type #'ty))) (define unexpanded (remove-duplicates (unbox (current-print-unexpanded)))) (define cue (if (null? unexpanded) @@ -101,9 +101,9 @@ (op dummy-arg ...)) (λ (expanded type) #`(display - #,(format "~a\n" - (match type - [(tc-result1: (and t (Function: _)) f o) t]))))))] + #,(pretty-format-type + (match type + [(tc-result1: (and t (Function: _)) f o) t]))))))] [form (raise-syntax-error #f "must be applied to at least one argument" #'form)])) @@ -122,7 +122,7 @@ [(Function: '()) "Desired return type not in the given function's range.\n"] [(Function: arrs) - (format "~a\n" cleaned)])))] + (pretty-format-type cleaned)])))] [_ (error (format "~a: not a function" (syntax->datum #'op)))]))))] [form (raise-syntax-error #f "must be applied to exactly two arguments" #'form)])))