diff --git a/collects/tests/typed-scheme/unit-tests/contract-tests.ss b/collects/tests/typed-scheme/unit-tests/contract-tests.ss index a8b0f5ce..d339a359 100644 --- a/collects/tests/typed-scheme/unit-tests/contract-tests.ss +++ b/collects/tests/typed-scheme/unit-tests/contract-tests.ss @@ -7,8 +7,7 @@ (rep type-rep filter-rep object-rep) (types utils union convenience) (utils tc-utils mutated-vars) - (schemeunit) - stxclass) + (schemeunit)) (define-syntax-rule (t e) (test-not-exn (format "~a" e) (lambda () (type->contract e (lambda _ (error "type could not be converted to contract")))))) diff --git a/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss b/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss index c6f2ae32..c22a4a23 100644 --- a/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss +++ b/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss @@ -12,7 +12,7 @@ (utils tc-utils mutated-vars) (env type-name-env type-environments init-envs) (schemeunit) - stxclass) + syntax/parse) (require (for-syntax (utils tc-utils) (typecheck typechecker) @@ -21,7 +21,7 @@ (for-template (private base-env base-types base-types-extra))) -(require (for-syntax syntax/kerncase stxclass)) +(require (for-syntax syntax/kerncase syntax/parse)) (provide typecheck-tests g tc-expr/expand)