suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix typechecker tests for new environment setup.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2010-09-09 14:12:49 -04:00
parent 5302b3e87c
commit 00a8a85f9d
1 changed files with 10 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt
View File

@ -3,10 +3,9 @@
(require "test-utils.ss" (require "test-utils.ss"
(for-syntax scheme/base) (for-syntax scheme/base)
(for-template scheme/base)) (for-template scheme/base))
(require (private #;base-env prims type-annotation (require (private prims type-annotation
base-types-extra base-types-extra base-special-env
#;base-env-numeric base-env-indexing base-structs
base-env-indexing
parse-type) parse-type)
(typecheck typechecker) (typecheck typechecker)
(rep type-rep filter-rep object-rep) (rep type-rep filter-rep object-rep)
@ -25,14 +24,19 @@
(typecheck typechecker) (typecheck typechecker)
(env global-env) (env global-env)
(private #;base-env #;base-env-numeric (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 (for-template (private #;base-env base-types base-types-extra
#;base-env-numeric #;base-env-numeric base-special-env
base-env-indexing)) base-env-indexing))
(for-syntax syntax/kerncase syntax/parse)) (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) (provide typecheck-tests g tc-expr/expand)
(b:init) (n:init) (initialize-structs) (initialize-indexing)
(define N -Number) (define N -Number)
(define B -Boolean) (define B -Boolean)
(define Sym -Symbol) (define Sym -Symbol)