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

Use type aliases when printing full types.

Browse Source 
Reduces the printout size significantly.
This commit is contained in:
Vincent St-Amour 2012-08-06 16:35:54 -04:00
parent 7eaae20f41
commit 34ee1d2603
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/typed-racket/core.rkt
View File

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