From a191a15bca1528315fc631650f4704dedf580191 Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@racket-lang.org>
Date: Tue, 19 Apr 2011 18:30:19 -0400
Subject: [PATCH] Add clever comments. (cherry picked from commit
 6c17b01f99473deecea91ffe3435fd6b11819f37)

---
 collects/typed-scheme/types/abbrev.rkt | 1 +
 collects/typed-scheme/types/union.rkt  | 3 ++-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/collects/typed-scheme/types/abbrev.rkt b/collects/typed-scheme/types/abbrev.rkt
index 7e41e0db3f..397f56c471 100644
--- a/collects/typed-scheme/types/abbrev.rkt
+++ b/collects/typed-scheme/types/abbrev.rkt
@@ -62,6 +62,7 @@
   (foldr -pair b l))
 
 (define (untuple t)
+  ;; FIXME - do we really need resolution here?
   (match (resolve t)
     [(Value: '()) null]
     [(Pair: a b) (cond [(untuple b) => (lambda (l) (cons a l))]
diff --git a/collects/typed-scheme/types/union.rkt b/collects/typed-scheme/types/union.rkt
index 35a81a51b2..4b2590111e 100644
--- a/collects/typed-scheme/types/union.rkt
+++ b/collects/typed-scheme/types/union.rkt
@@ -39,7 +39,8 @@
      (let ([types (remove-dups (sort (apply append (map flat args)) type<?))])
        (cond
          [(null? types) (make-union* null)]
-         [(null? (cdr types)) (car types)]           
+         [(null? (cdr types)) (car types)]   
+         ;; FIXME: this sort is unneccessary
          [else (make-union* (sort (foldr union2 '() (remove-subtypes types)) type<?))]))]))
 
 (define (u-maker args) (apply Un args))