From c714d0ac594a8372122bff137b51f0ba19facb97 Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@racket-lang.org>
Date: Wed, 30 Apr 2008 21:54:03 +0000
Subject: [PATCH] Disable tests for old inference.

svn: r9550
---
 .../tests/typed-scheme/unit-tests/all-tests.ss   | 16 ++++------------
 .../tests/typed-scheme/unit-tests/infer-tests.ss | 10 +++++-----
 .../unit-tests/remove-intersect-tests.ss         |  2 +-
 3 files changed, 10 insertions(+), 18 deletions(-)

diff --git a/collects/tests/typed-scheme/unit-tests/all-tests.ss b/collects/tests/typed-scheme/unit-tests/all-tests.ss
index 3092a60a70..5c3a5006cf 100644
--- a/collects/tests/typed-scheme/unit-tests/all-tests.ss
+++ b/collects/tests/typed-scheme/unit-tests/all-tests.ss
@@ -35,9 +35,7 @@
          type-annotation-tests
          typecheck-tests
          module-tests
-         fv-tests
-         i2-tests
-         combine-tests))))
+         fv-tests))))
 
 
 
@@ -50,9 +48,7 @@
   type-annotation-tests
   typecheck-tests
   module-tests
-  fv-tests
-  i2-tests
-  combine-tests) 
+  fv-tests) 
 
 (define (fast)
   (run     
@@ -64,9 +60,7 @@
    type-annotation-tests
    typecheck-tests
    module-tests
-   fv-tests
-   i2-tests
-   combine-tests))
+   fv-tests))
 
 (define (faster)
   (run     
@@ -76,9 +70,7 @@
    remove-tests
    parse-type-tests
    type-annotation-tests
-   fv-tests
-   i2-tests
-   combine-tests))
+   fv-tests))
 
 ;(go/gui)
 
diff --git a/collects/tests/typed-scheme/unit-tests/infer-tests.ss b/collects/tests/typed-scheme/unit-tests/infer-tests.ss
index 450fb313f9..bcf33ad392 100644
--- a/collects/tests/typed-scheme/unit-tests/infer-tests.ss
+++ b/collects/tests/typed-scheme/unit-tests/infer-tests.ss
@@ -1,12 +1,12 @@
 #lang scheme/base
 (require "test-utils.ss" (for-syntax scheme/base))
-(require (private planet-requires type-effect-convenience type-rep unify union infer)
+(require (private planet-requires type-effect-convenience type-rep unify union infer-ops)
          (prefix-in table: (private tables)))
 (require (schemeunit)) 
 
 (define (fv . args) (list))
 
-(provide fv-tests i2-tests combine-tests)
+(provide fv-tests)
 
 (define-syntax-rule (fv-t ty elems ...)
   (let ([ty* ty])
@@ -44,7 +44,7 @@
 (define-syntax-rule (i2-f t1 t2)
   (test-false (format "~a ~a" t1 t2)                   
               (f t1 t2)))
-
+#|
 (define (i2-tests)
   (test-suite "Tests for infer"
               [i2-t (-v a) N ('a N)]
@@ -118,5 +118,5 @@
 (define (s e)
   (sort e (lambda (a b) (string<? (symbol->string (car a)) (symbol->string (car b))))))
 
-
-(define-go fv-tests i2-tests combine-tests)
+|#
+(define-go fv-tests)
diff --git a/collects/tests/typed-scheme/unit-tests/remove-intersect-tests.ss b/collects/tests/typed-scheme/unit-tests/remove-intersect-tests.ss
index ff8763a805..ea874f36a5 100644
--- a/collects/tests/typed-scheme/unit-tests/remove-intersect-tests.ss
+++ b/collects/tests/typed-scheme/unit-tests/remove-intersect-tests.ss
@@ -1,6 +1,6 @@
 #lang scheme/base
 (require "test-utils.ss" (for-syntax scheme/base))
-(require (private type-rep type-effect-convenience planet-requires remove-intersect unify subtype union))
+(require (private type-rep type-effect-convenience planet-requires remove-intersect unify subtype union infer-ops))
 
 (require (schemeunit))