From 103a959de13d2c49962dc9f84e8b6c5124bcf79b Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 21 May 2008 20:10:39 +0000 Subject: [PATCH] fix test svn: r9924 original commit: 833bebbd3b237f7fa31632affa410912d5dab533 --- collects/tests/typed-scheme/main.ss | 5 +++-- collects/tests/typed-scheme/unit-tests/typecheck-tests.ss | 2 +- 2 files changed, 4 insertions(+), 3 deletions(-) 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)]