From 0b962a8f5dc69ab7d2a37f33c1526ada57eaec0b Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Mon, 6 Aug 2012 16:35:54 -0400 Subject: [PATCH] Use type aliases when printing full types. Reduces the printout size significantly. original commit: 34ee1d26032f84cd67a7835b66e3bddbdce8d497 --- collects/typed-racket/core.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/typed-racket/core.rkt b/collects/typed-racket/core.rkt index d2a8ae40..66cb9574 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)]))))]