From bc1da3d5371ccb1ffd2503aeab3f3a964ebfde11 Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@racket-lang.org>
Date: Thu, 5 Mar 2009 00:33:48 +0000
Subject: [PATCH] All subtype tests now pass.

svn: r13963

original commit: 511d641b450b788760ca9207b586fe0792a4744e
---
 collects/typed-scheme/infer/infer-unit.ss | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/collects/typed-scheme/infer/infer-unit.ss b/collects/typed-scheme/infer/infer-unit.ss
index 1a1d55cc..ea3648b0 100644
--- a/collects/typed-scheme/infer/infer-unit.ss
+++ b/collects/typed-scheme/infer/infer-unit.ss
@@ -386,6 +386,10 @@
               ([t-arr t-arr] [s-arr s-arr])
               (with-handlers ([exn:infer? (lambda (_) #f)])
                 (cgen/arr V X t-arr s-arr)))))]
+          ;; this is overly conservative
+          [((Result: s f o)
+            (Result: t f o))
+           (cg s t)]
           [(_ _)
            (cond [(subtype S T) empty]
                  ;; or, nothing worked, and we fail