diff --git a/collects/typed-racket/core.rkt b/collects/typed-racket/core.rkt index d2a8ae4011..66cb957405 100644 --- a/collects/typed-racket/core.rkt +++ b/collects/typed-racket/core.rkt @@ -55,8 +55,8 @@ #`(display #,(format "~a\n" (parse-type #'ty)))] ;; Prints the _entire_ type. May be quite large. [(_ . ((~literal :print-type) e:expr)) - #`(display #,(format "~a\n" - (tc-setup #'stx #'e 'top-level expanded init tc-toplevel-form before type + #`(display #,(tc-setup #'stx #'e 'top-level expanded init tc-toplevel-form before type + (format "~a\n" (match type [(tc-result1: t f o) t] [(tc-results: t) (cons 'Values t)]))))]