From 37c2f7f2c996baebced78273e4b98ae29a84e0e9 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 10 Jun 2008 14:29:05 -0400 Subject: [PATCH] Move infer-ops to infer --- collects/typed-scheme/private/{infer-ops.ss => infer.ss} | 0 collects/typed-scheme/private/tc-app-unit.ss | 2 +- collects/typed-scheme/private/tc-if-unit.ss | 2 +- 3 files changed, 2 insertions(+), 2 deletions(-) rename collects/typed-scheme/private/{infer-ops.ss => infer.ss} (100%) diff --git a/collects/typed-scheme/private/infer-ops.ss b/collects/typed-scheme/private/infer.ss similarity index 100% rename from collects/typed-scheme/private/infer-ops.ss rename to collects/typed-scheme/private/infer.ss diff --git a/collects/typed-scheme/private/tc-app-unit.ss b/collects/typed-scheme/private/tc-app-unit.ss index d6af97670c..c5bafb1428 100644 --- a/collects/typed-scheme/private/tc-app-unit.ss +++ b/collects/typed-scheme/private/tc-app-unit.ss @@ -6,7 +6,7 @@ "tc-utils.ss" "subtype.ss" "unify.ss" - "infer-ops.ss" + "infer.ss" "union.ss" "type-utils.ss" "type-effect-convenience.ss" diff --git a/collects/typed-scheme/private/tc-if-unit.ss b/collects/typed-scheme/private/tc-if-unit.ss index de8e8b6807..f59b19fe60 100644 --- a/collects/typed-scheme/private/tc-if-unit.ss +++ b/collects/typed-scheme/private/tc-if-unit.ss @@ -10,7 +10,7 @@ "subtype.ss" (only-in "remove-intersect.ss" [remove *remove]) - "infer-ops.ss" + "infer.ss" "union.ss" "type-utils.ss" "tc-utils.ss"