suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Print names using the name, ignoring aliases.

Browse Source 
original commit: 7c32898cb29bb6baee4591bc05fa96621ff1d6d1
This commit is contained in:
Sam Tobin-Hochstadt 2010-06-11 16:51:13 -04:00
parent aa087d75db
commit aa6d48e80f
1 changed files with 3 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
collects/typed-scheme/types/printer.rkt
View File

@ -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