From ec58da0ff0ee5e60d0ffff15cc8d6626a40fdbc8 Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@racket-lang.org>
Date: Thu, 23 Oct 2008 21:43:23 +0000
Subject: [PATCH] Improve printing of effects for functions with simple
 effects. Reject contract creation of overloaded types.

svn: r12105

original commit: ae1fd58e2b085dbd605f41b17a8ad360aa2bb830
---
 collects/typed-scheme/private/type-effect-printer.ss | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/collects/typed-scheme/private/type-effect-printer.ss b/collects/typed-scheme/private/type-effect-printer.ss
index 6b29c7c6..c9f49f25 100644
--- a/collects/typed-scheme/private/type-effect-printer.ss
+++ b/collects/typed-scheme/private/type-effect-printer.ss
@@ -64,8 +64,10 @@
        (when drest
          (fp "~a ... ~a " (car drest) (cdr drest)))
        (fp "-> ~a" rng)
-       (unless (and (null? thn-eff) (null? els-eff))
-         (fp " : ~a ~a" thn-eff els-eff))
+       (match* (thn-eff els-eff)
+         [((list) (list)) (void)]
+         [((list (Latent-Restrict-Effect: t)) (list (Latent-Remove-Effect: t))) (fp " : ~a" t)]
+         [(_ _) (fp " : ~a ~a" thn-eff els-eff)])
        (fp ")")]))
   (define (tuple? t)
     (match t