Revert "WIP"

This reverts commit df6eb12.

Author: capfredf

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

@@ -110,7 +110,7 @@
            [acc-ty (or
                     (type-annotation #'val #:infer #t)
                     (match expected
-                      [(tc-result1: (and t (Listof: _)))
+                      [(tc-result1: (and t (or (? App? (app resolve-once (Listof: _))) (Listof: _))))
                        t]
                       [_ #f])
                     (generalize -Null))])

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

@@ -155,7 +155,7 @@
   ;; special case for `reverse' to propagate expected type info
   (pattern ((~and fun (~or reverse k:reverse)) arg)
     (match expected
-      [(tc-result1: (and return-ty (Listof: _)))
+      [(tc-result1: (and return-ty (or (? App? (app resolve-once (Listof: _))) (Listof: _))))
        (begin0
          (tc-expr/check #'arg expected)
          (add-typeof-expr #'fun (ret (-> return-ty return-ty))))]

typed-racket-lib/typed-racket/types/tc-result.rkt

@@ -21,7 +21,6 @@
 (lazy-require ["../typecheck/possible-domains.rkt" (cleanup-type)]
               ["generalize.rkt" (generalize)]
               ["subtype.rkt" (subtype)]
-              ["resolve.rkt" (resolve-once)]
               ["printer.rkt" (pretty-format-rep)])
 
 (define-generics tcresult-at-toplevel
@@ -150,6 +149,7 @@
     [(_ tp fp op exi) (tc-result tp fp op exi)]
     [(_ tp) (tc-result tp _ _ _)]))
 
+
 (define-match-expander tc-result1:
   (syntax-rules ()
    [(_ t) (tc-results: (list (tc-result: t _ _ _)) #f)]