From dfbfc371e25badd5bae47a0f099466e19fe2010a Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 27 Apr 2009 22:24:47 +0000 Subject: [PATCH] more printer improvements svn: r14633 --- collects/typed-scheme/types/printer.ss | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/collects/typed-scheme/types/printer.ss b/collects/typed-scheme/types/printer.ss index fee5aa4575..5aa5fcc454 100644 --- 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