From f9708ff850058556cb7eadc1eb7f16ecb4c20f0e Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 10 Jun 2008 14:27:49 -0400 Subject: [PATCH] Remove infer.ss original commit: 6afcb9aa9625376b1d634ed96ab96b8ae48b47f8 --- collects/typed-scheme/private/remove-intersect.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/private/remove-intersect.ss b/collects/typed-scheme/private/remove-intersect.ss index 616fbb8e..afdb21bd 100644 --- a/collects/typed-scheme/private/remove-intersect.ss +++ b/collects/typed-scheme/private/remove-intersect.ss @@ -1,6 +1,6 @@ #lang scheme/base -(require "type-rep.ss" "unify.ss" "union.ss" "infer.ss" "subtype.ss" +(require "type-rep.ss" "unify.ss" "union.ss" "subtype.ss" "type-utils.ss" "resolve-type.ss" "type-effect-convenience.ss" mzlib/plt-match mzlib/trace)