History for 8.6

Author: samth

typed-racket-lib/typed-racket/HISTORY.txt

@@ -1,3 +1,5 @@
+8.6
+- Bug fixes and type updates.
 8.5
 - Add `typed/xml` and related library wrappers.
 8.4

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

@@ -10,6 +10,7 @@
          "../find-annotation.rkt"
          "../tc-metafunctions.rkt"
          "../../types/abbrev.rkt"
+         "../../types/resolve.rkt"
          "../../types/utils.rkt"
          "../../types/generalize.rkt"
          "../../types/type-table.rkt"
@@ -108,8 +109,8 @@
                        (generalize (tc-expr/t ac)))))]
            [acc-ty (or
                     (type-annotation #'val #:infer #t)
-                    (match expected
-                      [(tc-result1: (and t (Listof: _))) t]
+                    (match (resolve expected)
+                      [(tc-result1: (app resolve (and t (Listof: _)))) t]
                       [_ #f])
                     (generalize -Null))])
        ;; this check is needed because the type annotation may come