Avoid requiring old base-types.

original commit: 9701ae0065dbc54f36059b20a78a917a20ae18e5

collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt

@@ -62,7 +62,6 @@
     [(_ e)
      #`(parameterize ([delay-errors? #f]
                       [current-namespace (namespace-anchor->namespace anch)]
-                      [custom-printer #f]
                       [orig-module-stx (quote-syntax e)])
          (let ([ex (expand 'e)])
            (find-mutated-vars ex)
@@ -73,7 +72,6 @@
     [(_ e)
      #`(parameterize ([delay-errors? #f]
                       [current-namespace (namespace-anchor->namespace anch)]
-                      [custom-printer #f]
                       [orig-module-stx (quote-syntax e)])
          (let ([ex (expand 'e)])
            (find-mutated-vars ex)

collects/typed-scheme/private/prims.rkt

@@ -48,7 +48,7 @@ This file defines two sorts of primitives. All of them are provided into any mod
          (except-in mzlib/contract ->)
          (only-in mzlib/contract [-> c->])
          mzlib/struct
-         "base-types.rkt"
+         "base-types-new.rkt"
          "base-types-extra.rkt")
 
 (define-for-syntax (ignore stx) (syntax-property stx 'typechecker:ignore #t))

collects/typed-scheme/private/with-types.rkt

@@ -8,7 +8,6 @@
 	 "base-env-indexing-old.rkt"
 	 "extra-procs.rkt"
          "prims.rkt"
-         "base-types.rkt"
          racket/contract/regions racket/contract/base
          (for-syntax 
           "base-types-extra.rkt"

collects/typed-scheme/typed-scheme.rkt

@@ -2,7 +2,7 @@
 
 (require (rename-in "utils/utils.rkt" [infer r:infer]))
 
-(require (private base-types with-types)
+(require (private with-types)
          (for-syntax 
           (except-in syntax/parse id)
           scheme/base