fix test

svn: r9924

original commit: 833bebbd3b237f7fa31632affa410912d5dab533

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.")))
 
 

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)]