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

Fix typechecker tests for new environment setup.

Browse Source 
original commit: 00a8a85f9dd344026a1ca8a4087a86d9bf571728
This commit is contained in:
Sam Tobin-Hochstadt 2010-09-09 14:12:49 -04:00
parent ea078904a5
commit 9e9680d5ff
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"
(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)