From 97dba9b99a1dae3ac05fec94f99ffdf507cff152 Mon Sep 17 00:00:00 2001
From: Eric Dobson <eric.n.dobson@gmail.com>
Date: Mon, 7 Oct 2013 22:09:45 -0700
Subject: [PATCH] Make evaluator a separate file.

---
 .../typed-racket/unit-tests/evaluator.rkt      | 11 +++++++++++
 .../unit-tests/typecheck-tests.rkt             | 18 ++----------------
 2 files changed, 13 insertions(+), 16 deletions(-)
 create mode 100644 pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/evaluator.rkt

diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/evaluator.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/evaluator.rkt
new file mode 100644
index 0000000000..82a63f56a1
--- /dev/null
+++ b/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)]))
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 f719a68d63..afcc510283 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
@@ -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))
 
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;