fix errors from 8e7f390

typed-racket-lib/typed-racket/infer/infer-unit.rkt

@@ -869,8 +869,10 @@
       (or/c #f Values/c ValuesDots?))
      ((or/c #f Values/c AnyValues? ValuesDots?)
       #:multiple? boolean?)
-     . ->* . (or/c #f substitution/c (cons/c substitution/c
-                                             (listof substitution/c))))
+     . ->* . (or/c boolean?
+                   substitution/c
+                   (cons/c substitution/c
+                           (listof substitution/c))))
     (define ctx (context null X Y ))
     (define expected-cset
       (if expected

typed-racket-lib/typed-racket/typecheck/tc-app/tc-app-lambda.rkt

@@ -53,8 +53,7 @@
                       expected)))))
 
 
-(define/cond-contract
-  (let-loop-check lam lp actuals args body expected)
+(define/cond-contract (let-loop-check lam lp actuals args body expected)
   (syntax? syntax? syntax? syntax? syntax? tc-results/c . --> . full-tc-results/c)
   (syntax-parse #`(#,args #,body #,actuals)
     #:literal-sets (kernel-literals lambda-literals)

typed-racket-lib/typed-racket/typecheck/tc-app/tc-app-list.rkt

@@ -111,7 +111,7 @@
                 (ret (-Tuple argtys))))
             (or result
                 (begin (expected-but-got t (-Tuple (map tc-expr/t args-list)))
-                       expected))]
+                       (fix-results expected)))]
            [else (ret (-Tuple (map tc-expr/t args-list)))])])]
      [_ (ret (-Tuple (map tc-expr/t args-list)))])))
   ;; special case for `list*'

typed-racket-test/unit-tests/infer-tests.rkt

@@ -71,8 +71,8 @@
   (test-suite
    "Test suite for fi"
    [fi-t (make-ValuesDots null (-v a) 'a) [a variance:co]]
-   [fi-t (->... (list) ((-v a) (-v a)) (make-ValuesDots null (-v a) 'a))
-         [a variance:co]]))
+   [fi-t (->... (list) ((-lst (-v a)) b) -Symbol)
+         [b variance:contra]]))
 
 (define-syntax (pd-t stx)
   (syntax-parse stx