From ec01788aebf93188b1b896cf907c53c3a472b567 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Fri, 22 May 2009 22:06:48 +0000 Subject: [PATCH] move new-if to if. svn: r14942 original commit: 844cbc678210650cf8c0f7982f1cc4179b46d20b --- collects/typed-scheme/typecheck/{tc-new-if.ss => tc-if.ss} | 0 collects/typed-scheme/typecheck/typechecker.ss | 4 ++-- 2 files changed, 2 insertions(+), 2 deletions(-) rename collects/typed-scheme/typecheck/{tc-new-if.ss => tc-if.ss} (100%) diff --git a/collects/typed-scheme/typecheck/tc-new-if.ss b/collects/typed-scheme/typecheck/tc-if.ss similarity index 100% rename from collects/typed-scheme/typecheck/tc-new-if.ss rename to collects/typed-scheme/typecheck/tc-if.ss diff --git a/collects/typed-scheme/typecheck/typechecker.ss b/collects/typed-scheme/typecheck/typechecker.ss index 3a1e2b31..4c186cd5 100644 --- a/collects/typed-scheme/typecheck/typechecker.ss +++ b/collects/typed-scheme/typecheck/typechecker.ss @@ -7,11 +7,11 @@ provide-signature-elements define-values/invoke-unit/infer link) "signatures.ss" "tc-toplevel.ss" - "tc-new-if.ss" "tc-lambda-unit.ss" "tc-app.ss" + "tc-if.ss" "tc-lambda-unit.ss" "tc-app.ss" "tc-let-unit.ss" "tc-dots-unit.ss" "tc-expr-unit.ss" "check-subforms-unit.ss") (provide-signature-elements typechecker^ tc-expr^) (define-values/invoke-unit/infer - (link tc-toplevel@ tc-new-if@ tc-lambda@ tc-dots@ tc-app@ tc-let@ tc-expr@ check-subforms@)) + (link tc-toplevel@ tc-if@ tc-lambda@ tc-dots@ tc-app@ tc-let@ tc-expr@ check-subforms@))