Remove tc/if-twoarm/check

svn: r14860

collects/typed-scheme/typecheck/signatures.ss

@@ -1,6 +1,7 @@
 #lang scheme/base
-(require scheme/unit scheme/contract "../utils/utils.ss")
-(require (rep type-rep)
+(require scheme/unit scheme/contract
+         "../utils/utils.ss"
+         (rep type-rep)
          (utils unit-utils)
          (types utils))
 (provide (all-defined-out))
@@ -26,8 +27,7 @@
    [cnt check-subforms/with-handlers/check (syntax? tc-results? . -> . any)]))
 
 (define-signature tc-if^
-  ([cnt tc/if-twoarm (syntax? syntax? syntax? . -> . tc-results?)]   
-   [cnt tc/if-twoarm/check (syntax? syntax? syntax? tc-results? . -> . tc-results?)]))
+  ([cnt tc/if-twoarm ((syntax? syntax? syntax?) (tc-results?) . ->* . tc-results?)]))
 
 (define-signature tc-lambda^
   ([cnt tc/lambda (syntax? syntax? syntax? . -> . tc-results?)]

collects/typed-scheme/typecheck/tc-expr-unit.ss

@@ -228,7 +228,7 @@
          (begin (tc-exprs/check (syntax->list #'es) Univ)
                 (tc-expr/check #'e expected))]          
         ;; if
-        [(if tst thn els) (tc/if-twoarm/check #'tst #'thn #'els expected)]
+        [(if tst thn els) (tc/if-twoarm #'tst #'thn #'els expected)]
         ;; lambda
         [(#%plain-lambda formals . body)
          (tc/lambda/check form #'(formals) #'(body) expected)]        

collects/typed-scheme/typecheck/tc-new-if.ss

@@ -36,5 +36,3 @@
     [(tc-results: t _ _)
      (tc-error/expr #:return (ret (or expected Err))
                     "Test expression expects one value, given ~a" t)]))
-
-(define tc/if-twoarm/check tc/if-twoarm)