From d98d9621953b92b9c740e65be90f17497a31c03d Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Fri, 26 Feb 2010 20:44:30 +0000 Subject: [PATCH] use new schemeunit svn: r18361 original commit: 21d0dfcf09b7ef168f7d4e861aad2e3ee062352a --- collects/tests/typed-scheme/main.ss | 8 +++----- .../typed-scheme/unit-tests/all-tests.ss | 9 ++------- .../typed-scheme/unit-tests/contract-tests.ss | 4 ++-- .../typed-scheme/unit-tests/infer-tests.ss | 4 ++-- .../unit-tests/parse-type-tests.ss | 6 +++--- .../unit-tests/remove-intersect-tests.ss | 6 +++--- .../typed-scheme/unit-tests/subst-tests.ss | 6 +++--- .../typed-scheme/unit-tests/subtype-tests.ss | 7 +++---- .../typed-scheme/unit-tests/test-utils.ss | 20 +++++++++---------- .../unit-tests/type-equal-tests.ss | 6 +++--- .../unit-tests/typecheck-tests.ss | 15 ++++++-------- 11 files changed, 40 insertions(+), 51 deletions(-) diff --git a/collects/tests/typed-scheme/main.ss b/collects/tests/typed-scheme/main.ss index ee7d29f6..339df307 100644 --- a/collects/tests/typed-scheme/main.ss +++ b/collects/tests/typed-scheme/main.ss @@ -2,8 +2,7 @@ (provide go go/text) -(require (planet schematics/schemeunit:2/test) - (planet schematics/schemeunit:2/text-ui) +(require schemeunit schemeunit/text-ui mzlib/etc scheme/port compiler/compiler scheme/match @@ -59,8 +58,7 @@ [current-directory path] [current-output-port (open-output-nowhere)]) (loader p))))))) - (apply test-suite dir - tests))) + (make-test-suite dir tests))) (define (dr p) #;((compile-zos #f) (list p) 'auto) @@ -88,7 +86,7 @@ unit-tests int-tests)) (define (go) (test/gui tests)) -(define (go/text) (test/text-ui tests)) +(define (go/text) (run-tests tests)) (provide go go/text) diff --git a/collects/tests/typed-scheme/unit-tests/all-tests.ss b/collects/tests/typed-scheme/unit-tests/all-tests.ss index 7643cc07..697a0473 100644 --- a/collects/tests/typed-scheme/unit-tests/all-tests.ss +++ b/collects/tests/typed-scheme/unit-tests/all-tests.ss @@ -2,7 +2,6 @@ (require "test-utils.ss" - "planet-requires.ss" "typecheck-tests.ss" ;;fail "subtype-tests.ss" ;; pass "type-equal-tests.ss" ;; pass @@ -13,18 +12,14 @@ "subst-tests.ss" ;; pass "infer-tests.ss" ;; pass "contract-tests.ss" - ) - -(require (r:infer infer infer-dummy) - (schemeunit)) + (r:infer infer infer-dummy) schemeunit) (provide unit-tests) (infer-param infer) (define unit-tests - (apply - test-suite + (make-test-suite "Unit Tests" (for/list ([f (list typecheck-tests diff --git a/collects/tests/typed-scheme/unit-tests/contract-tests.ss b/collects/tests/typed-scheme/unit-tests/contract-tests.ss index 96790e17..39884f06 100644 --- a/collects/tests/typed-scheme/unit-tests/contract-tests.ss +++ b/collects/tests/typed-scheme/unit-tests/contract-tests.ss @@ -1,13 +1,13 @@ #lang scheme/base -(require "test-utils.ss" "planet-requires.ss" +(require "test-utils.ss" (for-syntax scheme/base) (for-template scheme/base) (private type-contract) (rep type-rep filter-rep object-rep) (types utils union convenience) (utils tc-utils) - (schemeunit)) + 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/infer-tests.ss b/collects/tests/typed-scheme/unit-tests/infer-tests.ss index 0e60fbc3..7edf9b4c 100644 --- a/collects/tests/typed-scheme/unit-tests/infer-tests.ss +++ b/collects/tests/typed-scheme/unit-tests/infer-tests.ss @@ -1,9 +1,9 @@ #lang scheme/base -(require "test-utils.ss" "planet-requires.ss" (for-syntax scheme/base)) +(require "test-utils.ss" (for-syntax scheme/base)) (require (rep type-rep) (r:infer infer) (types convenience union utils abbrev) - (schemeunit)) + schemeunit) diff --git a/collects/tests/typed-scheme/unit-tests/parse-type-tests.ss b/collects/tests/typed-scheme/unit-tests/parse-type-tests.ss index 973c53ad..f7f028fb 100644 --- a/collects/tests/typed-scheme/unit-tests/parse-type-tests.ss +++ b/collects/tests/typed-scheme/unit-tests/parse-type-tests.ss @@ -1,6 +1,6 @@ #lang scheme/base -(require "test-utils.ss" "planet-requires.ss" (for-syntax scheme/base)) -(require (utils tc-utils) +(require "test-utils.ss" (for-syntax scheme/base) + (utils tc-utils) (env type-alias-env type-environments type-name-env init-envs) (rep type-rep) (rename-in (types comparison subtype union utils convenience) @@ -8,7 +8,7 @@ (private base-types-new base-types-extra colon) (for-template (private base-types-new base-types-extra base-env colon)) (private parse-type) - (schemeunit)) + schemeunit) (provide parse-type-tests) diff --git a/collects/tests/typed-scheme/unit-tests/remove-intersect-tests.ss b/collects/tests/typed-scheme/unit-tests/remove-intersect-tests.ss index 88b6b7f0..39fc818d 100644 --- a/collects/tests/typed-scheme/unit-tests/remove-intersect-tests.ss +++ b/collects/tests/typed-scheme/unit-tests/remove-intersect-tests.ss @@ -1,9 +1,9 @@ #lang scheme/base -(require "test-utils.ss" "planet-requires.ss" (for-syntax scheme/base)) -(require (rep type-rep) +(require "test-utils.ss" (for-syntax scheme/base) + (rep type-rep) (r:infer infer infer-dummy) (types convenience subtype union remove-intersect) - (schemeunit)) + schemeunit) (define-syntax (over-tests stx) (syntax-case stx () diff --git a/collects/tests/typed-scheme/unit-tests/subst-tests.ss b/collects/tests/typed-scheme/unit-tests/subst-tests.ss index c51fad89..337518b1 100644 --- a/collects/tests/typed-scheme/unit-tests/subst-tests.ss +++ b/collects/tests/typed-scheme/unit-tests/subst-tests.ss @@ -1,9 +1,9 @@ #lang scheme/base -(require "test-utils.ss" "planet-requires.ss" (for-syntax scheme/base)) -(require (rep type-rep) +(require "test-utils.ss" (for-syntax scheme/base) + (rep type-rep) (types utils abbrev) - (schemeunit)) + schemeunit) (define-syntax-rule (s img var tgt result) (test-eq? "test" (substitute img 'var tgt) result)) diff --git a/collects/tests/typed-scheme/unit-tests/subtype-tests.ss b/collects/tests/typed-scheme/unit-tests/subtype-tests.ss index a179c83f..f8962ec0 100644 --- a/collects/tests/typed-scheme/unit-tests/subtype-tests.ss +++ b/collects/tests/typed-scheme/unit-tests/subtype-tests.ss @@ -1,12 +1,11 @@ #lang scheme/base -(require "test-utils.ss" "planet-requires.ss") - -(require (types subtype convenience union) +(require "test-utils.ss" + (types subtype convenience union) (rep type-rep) (env init-envs type-environments) (r:infer infer infer-dummy) - (schemeunit) + schemeunit (for-syntax scheme/base)) (provide subtype-tests) diff --git a/collects/tests/typed-scheme/unit-tests/test-utils.ss b/collects/tests/typed-scheme/unit-tests/test-utils.ss index b0b3f782..b3662730 100644 --- a/collects/tests/typed-scheme/unit-tests/test-utils.ss +++ b/collects/tests/typed-scheme/unit-tests/test-utils.ss @@ -1,27 +1,27 @@ #lang scheme/base (provide (all-defined-out)) -(require "planet-requires.ss" - scheme/require-syntax +(require scheme/require-syntax scheme/match + scheme/gui/dynamic typed-scheme/utils/utils - (for-syntax scheme/base)) - - -(require (types comparison utils) - (schemeunit)) + (for-syntax scheme/base) + (types comparison utils) + schemeunit schemeunit/text-ui) (provide private typecheck (rename-out [infer r:infer]) utils env rep types) (define (mk-suite ts) (match (map (lambda (f) (f)) ts) [(list t) t] - [ts (apply test-suite "Combined Test Suite" ts)])) + [ts (make-test-suite "Combined Test Suite" ts)])) (define (run . ts) - (test/text-ui (mk-suite ts))) + (run-tests (mk-suite ts))) -(define (test/gui suite) ((dynamic-require '(planet schematics/schemeunit:2/graphical-ui) 'test/graphical-ui) suite)) +(define (test/gui suite) + (((dynamic-require 'schemeunit/private/gui/gui 'make-gui-runner)) + suite)) (define (run/gui . ts) (test/gui (mk-suite ts))) diff --git a/collects/tests/typed-scheme/unit-tests/type-equal-tests.ss b/collects/tests/typed-scheme/unit-tests/type-equal-tests.ss index b262c348..e49e57cf 100644 --- a/collects/tests/typed-scheme/unit-tests/type-equal-tests.ss +++ b/collects/tests/typed-scheme/unit-tests/type-equal-tests.ss @@ -1,9 +1,9 @@ #lang scheme/base -(require "test-utils.ss" "planet-requires.ss" (for-syntax scheme/base)) -(require (rep type-rep) +(require "test-utils.ss" (for-syntax scheme/base) + (rep type-rep) (types comparison abbrev union) - (schemeunit)) + schemeunit) (provide type-equal-tests) diff --git a/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss b/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss index ba94933d..9e847a68 100644 --- a/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss +++ b/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss @@ -1,6 +1,6 @@ #lang scheme/base -(require "test-utils.ss" "planet-requires.ss" +(require "test-utils.ss" (for-syntax scheme/base) (for-template scheme/base)) (require (private base-env prims type-annotation @@ -15,20 +15,17 @@ (utils tc-utils utils) unstable/mutated-vars (env type-name-env type-environments init-envs) - (schemeunit) - syntax/parse) - -(require (for-syntax (utils tc-utils) + schemeunit + syntax/parse + (for-syntax (utils tc-utils) (typecheck typechecker) (env type-env) (private base-env base-env-numeric base-env-indexing-old)) (for-template (private base-env base-types-new base-types-extra base-env-numeric - base-env-indexing-old))) - - -(require (for-syntax syntax/kerncase syntax/parse)) + base-env-indexing-old)) + (for-syntax syntax/kerncase syntax/parse)) (provide typecheck-tests g tc-expr/expand)