misc things

svn: r8866

original commit: 5ff5d6c58005f8276e4517079ded454205359aba

collects/typed-scheme/lang/minimal.ss

@@ -26,4 +26,3 @@
              (provide (rename-out [b* b] ...))
              (provide (all-from-out ts))
              (provide (all-from-out lb) ...))))))]))
-	

collects/typed-scheme/lang/reader.ss

@@ -12,4 +12,3 @@
 		     (r:read-syntax src in))))
   
   (provide (rename-out [*read read] [*read-syntax read-syntax])))
-

collects/typed-scheme/private/extra-procs.ss

@@ -6,4 +6,4 @@
       (error "Assertion failed - value was #f"))
     v)
 
-  )
+  )

collects/typed-scheme/private/mutated-vars.ss

@@ -49,4 +49,4 @@
   
   (provide find-mutated-vars is-var-mutated?)
   
-  )
+  )

collects/typed-scheme/private/parse-type.ss

@@ -207,4 +207,3 @@
            (string? (syntax-e #'t)))
        (-val (syntax-e #'t))]
       [_ (tc-error "not a valid type: ~a" (syntax->datum stx))])))
-

collects/typed-scheme/private/prims.ss

@@ -331,5 +331,3 @@ This file defines two sorts of primitives. All of them are provided into any mod
                       (begin e1 e2 ...)
                       (begin c ... (doloop step ...)))))]))]))
 
-
-

collects/typed-scheme/private/remove-intersect.ss

@@ -92,5 +92,3 @@
 
 ;(trace *remove)
 ;(trace restrict)
-
-

collects/typed-scheme/private/resolve-type.ss

@@ -76,4 +76,4 @@
 
 ;(trace resolve-type)
 
-|#
+|#

collects/typed-scheme/private/subtype.ss

@@ -268,5 +268,3 @@
 
 ;(subtype (-> Univ B) (-> Univ Univ))
 ;(subtype (make-poly '(a) (make-tvar 'a)) (make-lst N))
-
-

collects/typed-scheme/private/type-effect-convenience.ss

@@ -228,4 +228,4 @@
           [_ (exit t)]))))
 
   
-  )
+  )

collects/typed-scheme/private/type-effect-printer.ss

@@ -142,4 +142,4 @@
   (set-box! print-type* print-type)
   (set-box! print-effect* print-effect)
   
-  )
+  )

collects/typed-scheme/private/type-utils.ss

@@ -75,4 +75,4 @@
 (define (fv t) (hash-table-map (free-vars* t) (lambda (k v) k)))
 
 ;; fv/list : Listof[Type] -> Listof[Name]
-(define (fv/list ts) (hash-table-map (combine-frees (map free-vars* ts)) (lambda (k v) k)))  
+(define (fv/list ts) (hash-table-map (combine-frees (map free-vars* ts)) (lambda (k v) k)))

collects/typed-scheme/private/union.ss

@@ -59,4 +59,4 @@
   ;(trace u-maker)
   (set-union-maker! u-maker)
   
-  )
+  )

collects/typed-scheme/typed-scheme.ss

@@ -23,8 +23,7 @@
           "private/type-contract.ss"
           "private/nest.ss"
           syntax/kerncase
-          mzlib/list
-          mzlib/plt-match))
+          scheme/match))
 
 
 (provide