diff --git a/collects/tests/typed-scheme/stress.ss b/collects/tests/typed-scheme/stress.ss deleted file mode 100644 index e238e23d38..0000000000 --- a/collects/tests/typed-scheme/stress.ss +++ /dev/null @@ -1,52 +0,0 @@ -(define files - (list "basic-tests.ss" - "area.ss" - "barland.ss" - "batched-queue.scm" - "annotation-test.ss" - "cl.ss" - "do.ss" - "foo.scm" - "if-splitting-test.ss" - "leftist-heap.ss" - "let-values-tests.ss" - "little-schemer.ss" - "seasoned-schemer.ss" - "manual-examples.ss" - "mu-rec.ss" - "struct-exec.ss" - "pair-test.ss" - "poly-struct.ss" - "poly-tests.ss" - "priority-queue.scm" - "rec-types.ss" - "require-tests.ss" - #;"set-struct.ss" - "typed-list.ss" - "varargs-tests.ss" - "vec-tests.ss")) - -(define eli-files - (map (lambda (s) (string-append "660-examples/" s)) - (list "slow.ss" - "hw01.scm" - "hw02.scm" - "hw03.scm" - "hw04.scm" - "hw05.scm"))) - -(define (loader f) (with-handlers ([exn:fail? (lambda _ (printf "FAILED: ~a~n" f))]) - (load f))) - -(require (planet "io.ss" ("dherman" "io.plt" 1))) - -(define (count-lines f) - (length (read-lines (open-input-file f)))) - -(define (go) - (for-each loader files) - (for-each loader eli-files)) - -(apply + (map count-lines (append files eli-files))) - -(time (go)) diff --git a/collects/tests/typed-scheme/unit-tests/contract-tests.ss b/collects/tests/typed-scheme/unit-tests/contract-tests.ss index a8b0f5ce4b..d339a35950 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 c6f2ae3213..c22a4a23b3 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)