From 9e9680d5ff13f1c61b5e1fb7c94a67e2a806dade Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 9 Sep 2010 14:12:49 -0400 Subject: [PATCH] Fix typechecker tests for new environment setup. original commit: 00a8a85f9dd344026a1ca8a4087a86d9bf571728 --- .../typed-scheme/unit-tests/typecheck-tests.rkt | 16 ++++++++++------ 1 file changed, 10 insertions(+), 6 deletions(-) diff --git a/collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt b/collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt index 249ae7ef..9c9283fb 100644 --- a/collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt +++ b/collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt @@ -3,10 +3,9 @@ (require "test-utils.ss" (for-syntax scheme/base) (for-template scheme/base)) -(require (private #;base-env prims type-annotation - base-types-extra - #;base-env-numeric - base-env-indexing +(require (private prims type-annotation + base-types-extra base-special-env + base-env-indexing base-structs parse-type) (typecheck typechecker) (rep type-rep filter-rep object-rep) @@ -25,14 +24,19 @@ (typecheck typechecker) (env global-env) (private #;base-env #;base-env-numeric - base-env-indexing)) + base-env-indexing base-special-env)) (for-template (private #;base-env base-types base-types-extra - #;base-env-numeric + #;base-env-numeric base-special-env base-env-indexing)) (for-syntax syntax/kerncase syntax/parse)) +(require (prefix-in b: (private base-env)) + (prefix-in n: (private base-env-numeric))) + (provide typecheck-tests g tc-expr/expand) +(b:init) (n:init) (initialize-structs) (initialize-indexing) + (define N -Number) (define B -Boolean) (define Sym -Symbol)