From 34ee1d26032f84cd67a7835b66e3bddbdce8d497 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. --- 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 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)]))))]