Make evaluator a separate file.

pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/evaluator.rkt

@@ -0,0 +1,11 @@
+#lang racket/base
+;; Allow evaluation at phase1
+(require (for-syntax racket/base syntax/parse))
+(provide phase1-eval)
+
+(define-namespace-anchor anchor)
+(define namespace (namespace-anchor->empty-namespace anchor))
+(define-syntax phase1-eval
+  (syntax-parser
+    [(_ form:expr ...)
+     #'(eval-syntax (quote-syntax (begin-for-syntax form ...)) namespace)]))

pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt

@@ -1,19 +1,5 @@
 #lang racket/base
 
-;; Allow evaluation at phase1
-(module evaluator racket/base
-  (require
-    (for-syntax
-      racket/base
-      syntax/parse))
-  (provide phase1-eval)
-  (define-namespace-anchor anchor)
-  (define namespace (namespace-anchor->empty-namespace anchor))
-  (define-syntax phase1-eval
-    (syntax-parser
-      [(_ form:expr ...)
-       #'(eval-syntax (quote-syntax (begin-for-syntax form ...)) namespace)])))
-
 ;; Functions for testing correct behavior of typechecking
 (module tester racket/base
   (require
@@ -79,11 +65,11 @@
 
 
 (require
-  (submod "." evaluator)
+  "evaluator.rkt"
   (for-syntax
     racket/base
     syntax/parse
-    (submod "." tester)))
+    'tester))
 
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;