Move infer-ops to infer

2008-06-10 14:29:05 -04:00 · 2008-06-10 14:29:05 -04:00 · 37c2f7f2c9
commit 37c2f7f2c9
parent 6afcb9aa96
3 changed files with 2 additions and 2 deletions
--- a/collects/typed-scheme/private/infer-ops.ss
+++ b/collects/typed-scheme/private/infer-ops.ss
--- 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"
--- 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"