From 2aa14bc37f7e3f66d3ae9705547f74ed86b2ca83 Mon Sep 17 00:00:00 2001
From: Eric Dobson <eric.n.dobson@gmail.com>
Date: Tue, 8 Oct 2013 22:39:27 -0700
Subject: [PATCH] Make typechecking do the standard inits.

original commit: 3aa5c18d1197ec8e03923548f24eff55f0a58df0
---
 .../typed-racket/unit-tests/typecheck-tests.rkt | 17 +++--------------
 1 file changed, 3 insertions(+), 14 deletions(-)

diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt
index 9f3c975c..898600ff 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt
@@ -6,25 +6,14 @@
     typed-racket/utils/utils
     racket/base
     syntax/parse
-    (base-env
-      base-env-indexing
-      base-special-env
-      base-structs)
+    (for-template (only-in typed-racket/typed-racket do-standard-inits))
     (typecheck typechecker)
     (utils mutated-vars)
-    (env mvar-env)
-    (prefix-in b: (base-env base-env))
-    (prefix-in n: (base-env base-env-numeric))
-    (submod typed-racket/base-env/base-types initialize))
+    (env mvar-env))
   (provide test-literal test test/proc tc tc-literal tr-expand)
 
 
-  (b:init)
-  (n:init)
-  (initialize-structs)
-  (initialize-indexing)
-  (initialize-type-names)
-  (initialize-special)
+  (do-standard-inits)
   
   ;; tr-expand: syntax? -> syntax?
   ;; Expands out a form and annotates it with necesarry TR machinery.