Refactoring of new tc-app.

original commit: 514c1c5921a83297a8f305678d95d7f2357a7180

collects/typed-racket/typecheck/tc-app-combined.rkt

@@ -0,0 +1,27 @@
+#lang racket/base
+
+(require "../utils/utils.rkt"
+
+         "tc-app/tc-app-apply.rkt"
+         "tc-app/tc-app-eq.rkt"
+         "tc-app/tc-app-hetero.rkt"
+         "tc-app/tc-app-keywords.rkt"
+         "tc-app/tc-app-lambda.rkt"
+         "tc-app/tc-app-list.rkt"
+         "tc-app/tc-app-objects.rkt"
+         "tc-app/tc-app-special.rkt"
+         "tc-app/tc-app-values.rkt"
+         "tc-app/tc-app-main.rkt"
+         "tc-app/signatures.rkt"
+         "signatures.rkt")
+
+(require racket/unit)
+(provide tc-app-combined@)
+
+(define-compound-unit/infer tc-app-combined@
+  (import tc-expr^ tc-lambda^ tc-let^ tc-apply^)
+  (export tc-app^)
+
+  (link tc-app-main@
+        tc-app-hetero@ tc-app-list@ tc-app-apply@ tc-app-values@ tc-app-keywords@
+        tc-app-objects@ tc-app-eq@ tc-app-lambda@ tc-app-special@))

collects/typed-racket/typecheck/tc-app/tc-app-main.rkt

@@ -1,8 +1,8 @@
 #lang racket/unit
 
-(require "../utils/utils.rkt"
-         "tc-app/signatures.rkt"
-         "tc-app/utils.rkt"
+(require "../../utils/utils.rkt"
+         "signatures.rkt"
+         "utils.rkt"
          syntax/parse racket/match 
          syntax/parse/experimental/reflect
          (typecheck signatures check-below tc-funapp)

collects/typed-racket/typecheck/tc-app/utils.rkt

@@ -21,3 +21,4 @@
         #:attributes (check) parse-option ...
         (pattern syntax-pattern pattern-directive ...
                  #:attr check (lambda () body)) ...))))
+

collects/typed-racket/typecheck/typechecker.rkt

@@ -6,7 +6,7 @@
                   provide-signature-elements
                   define-values/invoke-unit/infer link)
          "signatures.rkt"
-         "tc-app/tc-app-combined.rkt"
+         "tc-app-combined.rkt"
          "tc-if.rkt" "tc-lambda-unit.rkt"
          "tc-let-unit.rkt" "tc-apply.rkt"
          "tc-expr-unit.rkt" "check-subforms-unit.rkt")