From 30e80ee60465c821668812d1857fa95b84b565f6 Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@racket-lang.org>
Date: Tue, 7 Aug 2012 15:35:27 -0400
Subject: [PATCH] Add back some special cases.

original commit: 7eaae20f41e0b5bbbe90af0461e24f9aef1b2931
---
 collects/typed-racket/types/union.rkt | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/collects/typed-racket/types/union.rkt b/collects/typed-racket/types/union.rkt
index 9d78661b..f817a736 100644
--- a/collects/typed-racket/types/union.rkt
+++ b/collects/typed-racket/types/union.rkt
@@ -34,9 +34,17 @@
     [(Union: es) es]
     [_ (list t)]))
 
+(define empty-union (make-Union null))
+
 ;; Union constructor
 ;; Normalizes representation by sorting types.
 ;; Type * -> Type
 ;; The input types can overlap and be union types
-(define (Un . args)
-  (make-union* (foldr merge '() (remove-dups (sort (append-map flat args) type<?)))))
+(define Un
+  (case-lambda 
+    [() empty-union]
+    [(t) t]
+    [args 
+     (define ts (foldr merge '()
+                       (remove-dups (sort (append-map flat args) type<?))))
+     (make-union* ts)]))