diff --git a/collects/tests/typed-scheme/main.ss b/collects/tests/typed-scheme/main.ss index d31102a4..4bfbc9a6 100644 --- a/collects/tests/typed-scheme/main.ss +++ b/collects/tests/typed-scheme/main.ss @@ -1,6 +1,6 @@ #lang scheme/base -(provide go) +(provide go go/text) (require (planet schematics/schemeunit/test) (planet schematics/schemeunit/text-ui) @@ -77,10 +77,11 @@ unit-tests int-tests)) (define (go) (test/graphical-ui tests)) +(define (go/text) (test/text-ui tests)) (when (getenv "PLT_TESTS") (unless (parameterize ([current-output-port (open-output-string)]) - (= 0 (test/text-ui tests))) + (= 0 (go/text))) (error "Typed Scheme Tests did not pass."))) diff --git a/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss b/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss index 8aef448c..a3fe2ffe 100644 --- a/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss +++ b/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss @@ -483,7 +483,7 @@ [(a*) (quotient 5 12)] [(b*) (remainder 5 12)]) (+ a b a* b*)) - N] + -Integer] [tc-e (raise-type-error 'foo "bar" 5) (Un)] [tc-e (raise-type-error 'foo "bar" 7 (list 5)) (Un)]