From aa6d48e80f9d1c7235983607332725e35334512d Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Fri, 11 Jun 2010 16:51:13 -0400 Subject: [PATCH] Print names using the name, ignoring aliases. original commit: 7c32898cb29bb6baee4591bc05fa96621ff1d6d1 --- collects/typed-scheme/types/printer.rkt | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/collects/typed-scheme/types/printer.rkt b/collects/typed-scheme/types/printer.rkt index 2c0f959c..ebcb3196 100644 --- a/collects/typed-scheme/types/printer.rkt +++ b/collects/typed-scheme/types/printer.rkt @@ -6,7 +6,7 @@ ;; do we attempt to find instantiations of polymorphic types to print? ;; FIXME - currently broken -(define print-poly-types? #f) +(define print-poly-types? #t) ;; do we use simple type aliases in printing (define print-aliases #t) @@ -117,8 +117,8 @@ [(? Rep-stx a) (fp "~a" (syntax->datum (Rep-stx a)))] [(Univ:) (fp "Any")] - ;; special case number until something better happens - ;;[(Base: 'Number _) (fp "Number")] + ;; names are just the printed as the original syntax + [(Name: stx) (fp "~a" (syntax-e stx))] [(app has-name? (? values name)) (fp "~a" name)] [(StructTop: st) (fp "~a" st)] @@ -126,8 +126,6 @@ [(ChannelTop:) (fp "Channel")] [(VectorTop:) (fp "Vector")] [(MPairTop:) (fp "MPair")] - ;; names are just the printed as the original syntax - [(Name: stx) (fp "~a" (syntax-e stx))] [(App: rator rands stx) (fp "~a" (list* rator rands))] ;; special cases for lists