minor test edits

original commit: 90f7f522f8b53d6460fc0da2113605e538969762

collects/tests/typed-scheme/unit-tests/all-tests.rkt

@@ -3,16 +3,20 @@
 (require 
  "test-utils.ss"
  "typecheck-tests.ss" ;;fail
+ 
  "subtype-tests.ss" ;; pass
  "type-equal-tests.ss" ;; pass
  "remove-intersect-tests.ss" ;; pass
  "parse-type-tests.ss" ;; pass
- "type-annotation-test.ss" ;; pass
- "module-tests.ss" ;; pass
  "subst-tests.ss" ;; pass
  "infer-tests.ss" ;; pass
+ "type-annotation-test.ss" ;; pass
+ 
+ "module-tests.ss" ;; pass
  "contract-tests.ss"
- (r:infer infer infer-dummy) racunit)
+
+ (r:infer infer infer-dummy) 
+ racunit racunit/text-ui)
 
 (provide unit-tests)
 
@@ -22,7 +26,7 @@
   (make-test-suite 
    "Unit Tests"
    (for/list ([f (list
-                  typecheck-tests
+                  typecheck-tests 
                   subtype-tests
                   type-equal-tests
                   restrict-tests

collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt

@@ -6,7 +6,8 @@
 (require (private base-env prims type-annotation 
 		  base-types-extra
 		  base-env-numeric
-		  base-env-indexing)
+		  base-env-indexing
+                  parse-type)
 	 (typecheck typechecker)
 	 (rep type-rep filter-rep object-rep)
          (rename-in (types utils union convenience abbrev)
@@ -17,7 +18,7 @@
          (utils tc-utils utils)
          unstable/mutated-vars
          (env type-name-env type-environments init-envs)
-         racunit
+         racunit racunit/text-ui
          syntax/parse
          (for-syntax (utils tc-utils)
                      (typecheck typechecker)