more printer improvements

svn: r14633 original commit: dfbfc371e25badd5bae47a0f099466e19fe2010a
2009-04-27 22:24:47 +00:00 · 2009-04-27 22:24:47 +00:00 · 7b651a3856
commit 7b651a3856
parent e3f499b605
1 changed files with 9 additions and 1 deletions
--- a/collects/typed-scheme/types/printer.ss
+++ b/collects/typed-scheme/types/printer.ss
@ -89,7 +89,15 @@
         (fp "~a* " rest))
       (when drest
         (fp "~a ... ~a " (car drest) (cdr drest)))
-       (fp "-> ~a" rng)
+       (match rng
+         [(Values: (list (Result: t (LFilterSet: (list) (list)) (LEmpty:))))
+          (fp "-> ~a" t)]
+         [(Values: (list (Result: t fs (LEmpty:)))) 
+          (fp "-> ~a : ~a" t fs)]
+         [(Values: (list (Result: t lf lo)))
+          (fp "-> ~a : ~a ~a" t lf lo)]
+         [_
+          (fp "-> ~a" rng)])
       (fp ")")]))
  (define (tuple? t)
    (match t