From 53b8945aa2b23ab97ba83e55d5784ecc575dd2b8 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Tue, 4 Mar 2008 02:46:54 +0000 Subject: [PATCH] misc things svn: r8866 original commit: 5ff5d6c58005f8276e4517079ded454205359aba --- collects/typed-scheme/lang/minimal.ss | 1 - collects/typed-scheme/lang/reader.ss | 1 - collects/typed-scheme/private/extra-procs.ss | 2 +- collects/typed-scheme/private/mutated-vars.ss | 2 +- collects/typed-scheme/private/parse-type.ss | 1 - collects/typed-scheme/private/prims.ss | 2 -- collects/typed-scheme/private/remove-intersect.ss | 2 -- collects/typed-scheme/private/resolve-type.ss | 2 +- collects/typed-scheme/private/subtype.ss | 2 -- collects/typed-scheme/private/type-effect-convenience.ss | 2 +- collects/typed-scheme/private/type-effect-printer.ss | 2 +- collects/typed-scheme/private/type-utils.ss | 2 +- collects/typed-scheme/private/union.ss | 2 +- collects/typed-scheme/typed-scheme.ss | 3 +-- 14 files changed, 8 insertions(+), 18 deletions(-) diff --git a/collects/typed-scheme/lang/minimal.ss b/collects/typed-scheme/lang/minimal.ss index c732931f..7c9b94e0 100644 --- a/collects/typed-scheme/lang/minimal.ss +++ b/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) ...))))))])) - \ No newline at end of file diff --git a/collects/typed-scheme/lang/reader.ss b/collects/typed-scheme/lang/reader.ss index 8794ba59..27caa224 100644 --- a/collects/typed-scheme/lang/reader.ss +++ b/collects/typed-scheme/lang/reader.ss @@ -12,4 +12,3 @@ (r:read-syntax src in)))) (provide (rename-out [*read read] [*read-syntax read-syntax]))) - diff --git a/collects/typed-scheme/private/extra-procs.ss b/collects/typed-scheme/private/extra-procs.ss index cd8af3b2..bd7722be 100644 --- a/collects/typed-scheme/private/extra-procs.ss +++ b/collects/typed-scheme/private/extra-procs.ss @@ -6,4 +6,4 @@ (error "Assertion failed - value was #f")) v) - ) \ No newline at end of file + ) diff --git a/collects/typed-scheme/private/mutated-vars.ss b/collects/typed-scheme/private/mutated-vars.ss index b55ce41c..3b3778f4 100644 --- a/collects/typed-scheme/private/mutated-vars.ss +++ b/collects/typed-scheme/private/mutated-vars.ss @@ -49,4 +49,4 @@ (provide find-mutated-vars is-var-mutated?) - ) \ No newline at end of file + ) diff --git a/collects/typed-scheme/private/parse-type.ss b/collects/typed-scheme/private/parse-type.ss index f4e16dd9..8bd050d5 100644 --- a/collects/typed-scheme/private/parse-type.ss +++ b/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))]))) - diff --git a/collects/typed-scheme/private/prims.ss b/collects/typed-scheme/private/prims.ss index 29bb988a..45452b4f 100644 --- a/collects/typed-scheme/private/prims.ss +++ b/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 ...)))))]))])) - - diff --git a/collects/typed-scheme/private/remove-intersect.ss b/collects/typed-scheme/private/remove-intersect.ss index 6765e215..4ad90431 100644 --- a/collects/typed-scheme/private/remove-intersect.ss +++ b/collects/typed-scheme/private/remove-intersect.ss @@ -92,5 +92,3 @@ ;(trace *remove) ;(trace restrict) - - diff --git a/collects/typed-scheme/private/resolve-type.ss b/collects/typed-scheme/private/resolve-type.ss index b07bf88d..28385b80 100644 --- a/collects/typed-scheme/private/resolve-type.ss +++ b/collects/typed-scheme/private/resolve-type.ss @@ -76,4 +76,4 @@ ;(trace resolve-type) -|# \ No newline at end of file +|# diff --git a/collects/typed-scheme/private/subtype.ss b/collects/typed-scheme/private/subtype.ss index dcda390b..52342b29 100644 --- a/collects/typed-scheme/private/subtype.ss +++ b/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)) - - diff --git a/collects/typed-scheme/private/type-effect-convenience.ss b/collects/typed-scheme/private/type-effect-convenience.ss index d12f0cbd..898768d9 100644 --- a/collects/typed-scheme/private/type-effect-convenience.ss +++ b/collects/typed-scheme/private/type-effect-convenience.ss @@ -228,4 +228,4 @@ [_ (exit t)])))) - ) \ No newline at end of file + ) diff --git a/collects/typed-scheme/private/type-effect-printer.ss b/collects/typed-scheme/private/type-effect-printer.ss index 94240489..c43c07e4 100644 --- a/collects/typed-scheme/private/type-effect-printer.ss +++ b/collects/typed-scheme/private/type-effect-printer.ss @@ -142,4 +142,4 @@ (set-box! print-type* print-type) (set-box! print-effect* print-effect) - ) \ No newline at end of file + ) diff --git a/collects/typed-scheme/private/type-utils.ss b/collects/typed-scheme/private/type-utils.ss index edfc6dc8..6053562f 100644 --- a/collects/typed-scheme/private/type-utils.ss +++ b/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))) diff --git a/collects/typed-scheme/private/union.ss b/collects/typed-scheme/private/union.ss index a58d59fb..517ad141 100644 --- a/collects/typed-scheme/private/union.ss +++ b/collects/typed-scheme/private/union.ss @@ -59,4 +59,4 @@ ;(trace u-maker) (set-union-maker! u-maker) - ) \ No newline at end of file + ) diff --git a/collects/typed-scheme/typed-scheme.ss b/collects/typed-scheme/typed-scheme.ss index 4a856362..baac75e0 100644 --- a/collects/typed-scheme/typed-scheme.ss +++ b/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