All subtype tests now pass.

svn: r13963 original commit: 511d641b450b788760ca9207b586fe0792a4744e
2009-03-05 00:33:48 +00:00 · 2009-03-05 00:33:48 +00:00 · bc1da3d537
commit bc1da3d537
parent ee917a791e
1 changed files with 4 additions and 0 deletions
--- 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