All subtype tests now pass.

svn: r13963

collects/typed-scheme/infer/infer-dummy.ss

@@ -1,8 +1,9 @@
 #lang scheme/base
 (require "../utils/utils.ss")
 
-(require (rep type-rep) (utils tc-utils))
+(require (rep type-rep) (utils tc-utils) mzlib/trace)
 
 (define infer-param (make-parameter (lambda e (int-err "infer not initialized"))))
 (define (unify X S T) ((infer-param) X S T (make-Univ) null))
+;(trace unify)
 (provide unify infer-param)

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