From 40fa4f26b2b9d947246094b5f354ff09c5aa9548 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Sat, 4 Jul 2009 02:28:31 +0000 Subject: [PATCH] Newlines at EOFs svn: r15380 original commit: a70bf64fd9d68487c128282ca85a8964e1592711 --- collects/tests/typed-scheme/fail/poly-expect-error.ss | 2 +- collects/tests/typed-scheme/succeed/apply-dots-list.ss | 2 +- collects/tests/typed-scheme/succeed/cmdline.ss | 2 +- collects/tests/typed-scheme/succeed/list-struct-sum.ss | 2 +- collects/tests/typed-scheme/succeed/provide-sexp.ss | 2 +- collects/tests/typed-scheme/succeed/refinement-even.ss | 2 +- collects/tests/typed-scheme/xfail/apply-map-bug.ss | 2 +- collects/typed-scheme/env/type-name-env.ss | 2 +- collects/typed-scheme/private/base-env.ss | 2 +- collects/typed-scheme/private/parse-type.ss | 2 +- collects/typed-scheme/ts-reference.scrbl | 2 +- collects/typed-scheme/typecheck/find-annotation.ss | 2 +- collects/typed-scheme/typecheck/tc-app-helper.ss | 2 +- collects/typed-scheme/typecheck/tc-metafunctions.ss | 2 +- collects/typed-scheme/types/abbrev.ss | 2 +- collects/typed-scheme/types/subtype.ss | 2 +- collects/typed-scheme/utils/stxclass-util.ss | 2 +- collects/typed-scheme/utils/tc-utils.ss | 2 +- collects/typed-scheme/utils/utils.ss | 2 +- collects/typed/file/tar.ss | 2 +- 20 files changed, 20 insertions(+), 20 deletions(-) diff --git a/collects/tests/typed-scheme/fail/poly-expect-error.ss b/collects/tests/typed-scheme/fail/poly-expect-error.ss index 0259e3ac..c4277c7b 100644 --- a/collects/tests/typed-scheme/fail/poly-expect-error.ss +++ b/collects/tests/typed-scheme/fail/poly-expect-error.ss @@ -6,4 +6,4 @@ (define (f x) #t) (: x Number) -(define x (f 3)) \ No newline at end of file +(define x (f 3)) diff --git a/collects/tests/typed-scheme/succeed/apply-dots-list.ss b/collects/tests/typed-scheme/succeed/apply-dots-list.ss index d068a14e..85af5196 100644 --- a/collects/tests/typed-scheme/succeed/apply-dots-list.ss +++ b/collects/tests/typed-scheme/succeed/apply-dots-list.ss @@ -22,4 +22,4 @@ msg expected actual))))))) (apply check-all tests) ; Works in untyped, but not in typed -(check-all (car tests) (cadr tests)) ; Works in typed or untyped \ No newline at end of file +(check-all (car tests) (cadr tests)) ; Works in typed or untyped diff --git a/collects/tests/typed-scheme/succeed/cmdline.ss b/collects/tests/typed-scheme/succeed/cmdline.ss index 61faa7b4..9dd293c1 100644 --- a/collects/tests/typed-scheme/succeed/cmdline.ss +++ b/collects/tests/typed-scheme/succeed/cmdline.ss @@ -35,4 +35,4 @@ #:args (#{filename : String}) ; expect one command-line argument: ; return the argument as a filename to compile - filename)) \ No newline at end of file + filename)) diff --git a/collects/tests/typed-scheme/succeed/list-struct-sum.ss b/collects/tests/typed-scheme/succeed/list-struct-sum.ss index d448eac8..aab80293 100644 --- a/collects/tests/typed-scheme/succeed/list-struct-sum.ss +++ b/collects/tests/typed-scheme/succeed/list-struct-sum.ss @@ -22,4 +22,4 @@ (sum2 (Cons-rest alon)))])) (sum (make-Cons 5 (make-Cons 3 (make-Cons 1 (make-Empty))))) -(sum2 (make-Cons 5 (make-Cons 3 (make-Cons 1 (make-Empty))))) \ No newline at end of file +(sum2 (make-Cons 5 (make-Cons 3 (make-Cons 1 (make-Empty))))) diff --git a/collects/tests/typed-scheme/succeed/provide-sexp.ss b/collects/tests/typed-scheme/succeed/provide-sexp.ss index c9c2476f..f7da73c8 100644 --- a/collects/tests/typed-scheme/succeed/provide-sexp.ss +++ b/collects/tests/typed-scheme/succeed/provide-sexp.ss @@ -8,4 +8,4 @@ (require 'm) -f \ No newline at end of file +f diff --git a/collects/tests/typed-scheme/succeed/refinement-even.ss b/collects/tests/typed-scheme/succeed/refinement-even.ss index 8d6d9693..71e15c4d 100644 --- a/collects/tests/typed-scheme/succeed/refinement-even.ss +++ b/collects/tests/typed-scheme/succeed/refinement-even.ss @@ -12,4 +12,4 @@ (: f (Even -> String)) (define (f e) (format "~a" e)) -(f y) \ No newline at end of file +(f y) diff --git a/collects/tests/typed-scheme/xfail/apply-map-bug.ss b/collects/tests/typed-scheme/xfail/apply-map-bug.ss index d08a5c2f..e5366668 100644 --- a/collects/tests/typed-scheme/xfail/apply-map-bug.ss +++ b/collects/tests/typed-scheme/xfail/apply-map-bug.ss @@ -5,4 +5,4 @@ (define (add-lists lst . lsts) (apply map #{+ :: (Number Number * -> Number)} lst lsts)) -(add-lists '(1 2 3) '(4 5 6) '(7 8 9)) \ No newline at end of file +(add-lists '(1 2 3) '(4 5 6) '(7 8 9)) diff --git a/collects/typed-scheme/env/type-name-env.ss b/collects/typed-scheme/env/type-name-env.ss index 69b98825..6b035daa 100644 --- a/collects/typed-scheme/env/type-name-env.ss +++ b/collects/typed-scheme/env/type-name-env.ss @@ -48,4 +48,4 @@ (define (add-alias from to) (when (lookup-type-name to (lambda () #f)) - (register-resolved-type-alias from (make-Name to)))) \ No newline at end of file + (register-resolved-type-alias from (make-Name to)))) diff --git a/collects/typed-scheme/private/base-env.ss b/collects/typed-scheme/private/base-env.ss index aefaebc9..7c90c17d 100644 --- a/collects/typed-scheme/private/base-env.ss +++ b/collects/typed-scheme/private/base-env.ss @@ -685,4 +685,4 @@ [conjugate (N . -> . N)] [sinh (N . -> . N)] [cosh (N . -> . N)] -[tanh (N . -> . N)] \ No newline at end of file +[tanh (N . -> . N)] diff --git a/collects/typed-scheme/private/parse-type.ss b/collects/typed-scheme/private/parse-type.ss index c54e302f..1d2a654e 100644 --- a/collects/typed-scheme/private/parse-type.ss +++ b/collects/typed-scheme/private/parse-type.ss @@ -583,4 +583,4 @@ (define parse-tc-results/id (parse/id parse-tc-results)) -(define parse-type/id (parse/id parse-type)) \ No newline at end of file +(define parse-type/id (parse/id parse-type)) diff --git a/collects/typed-scheme/ts-reference.scrbl b/collects/typed-scheme/ts-reference.scrbl index 44367cbf..27c9166c 100644 --- a/collects/typed-scheme/ts-reference.scrbl +++ b/collects/typed-scheme/ts-reference.scrbl @@ -319,4 +319,4 @@ Examples: @schememod[typed-scheme/no-check (: x Number) -(define x "not-a-number")] \ No newline at end of file +(define x "not-a-number")] diff --git a/collects/typed-scheme/typecheck/find-annotation.ss b/collects/typed-scheme/typecheck/find-annotation.ss index 8ac74b4d..d10889be 100644 --- a/collects/typed-scheme/typecheck/find-annotation.ss +++ b/collects/typed-scheme/typecheck/find-annotation.ss @@ -62,4 +62,4 @@ (or (ormap match? (syntax->list #'cls)) (find #'body))] [e:core-expr - (ormap find (syntax->list #'(e.expr ...)))])) \ No newline at end of file + (ormap find (syntax->list #'(e.expr ...)))])) diff --git a/collects/typed-scheme/typecheck/tc-app-helper.ss b/collects/typed-scheme/typecheck/tc-app-helper.ss index 170c7ee2..e228c754 100644 --- a/collects/typed-scheme/typecheck/tc-app-helper.ss +++ b/collects/typed-scheme/typecheck/tc-app-helper.ss @@ -65,4 +65,4 @@ (domain-mismatches t msg-doms msg-rests msg-drests msg-rngs argtypes #f #f #:expected expected) (if (not (for/and ([t (apply append (map fv/list msg-doms))]) (memq t msg-vars))) (string-append "Type Variables: " (stringify msg-vars) "\n") - "")))))])) \ No newline at end of file + "")))))])) diff --git a/collects/typed-scheme/typecheck/tc-metafunctions.ss b/collects/typed-scheme/typecheck/tc-metafunctions.ss index f84e33cb..10ec8de7 100644 --- a/collects/typed-scheme/typecheck/tc-metafunctions.ss +++ b/collects/typed-scheme/typecheck/tc-metafunctions.ss @@ -204,4 +204,4 @@ (define (tc-results->values tc) (match tc - [(tc-results: ts) (-values ts)])) \ No newline at end of file + [(tc-results: ts) (-values ts)])) diff --git a/collects/typed-scheme/types/abbrev.ss b/collects/typed-scheme/types/abbrev.ss index 75149588..875da545 100644 --- a/collects/typed-scheme/types/abbrev.ss +++ b/collects/typed-scheme/types/abbrev.ss @@ -253,4 +253,4 @@ (make-Function (list (make-arr* (append args (take opt-args i)) result)))))) (define-syntax-rule (->opt args ... [opt ...] res) - (opt-fn (list args ...) (list opt ...) res)) \ No newline at end of file + (opt-fn (list args ...) (list opt ...) res)) diff --git a/collects/typed-scheme/types/subtype.ss b/collects/typed-scheme/types/subtype.ss index 26a08fe7..d3ca0ef0 100644 --- a/collects/typed-scheme/types/subtype.ss +++ b/collects/typed-scheme/types/subtype.ss @@ -306,4 +306,4 @@ ;(subtype (make-poly '(a) (make-tvar 'a)) (make-lst N)) ;;problem: -;; (subtype (make-Mu 'x (make-Syntax (make-Union (list (make-Base 'Number #'number?) (make-F 'x))))) (make-Syntax (make-Univ))) \ No newline at end of file +;; (subtype (make-Mu 'x (make-Syntax (make-Union (list (make-Base 'Number #'number?) (make-F 'x))))) (make-Syntax (make-Univ))) diff --git a/collects/typed-scheme/utils/stxclass-util.ss b/collects/typed-scheme/utils/stxclass-util.ss index c0abe348..fa0e445e 100644 --- a/collects/typed-scheme/utils/stxclass-util.ss +++ b/collects/typed-scheme/utils/stxclass-util.ss @@ -30,4 +30,4 @@ (define-pred-stxclass byte-pregexp byte-pregexp?) (define-pred-stxclass byte-regexp byte-regexp?) (define-pred-stxclass regexp regexp?) -(define-pred-stxclass bytes bytes?) \ No newline at end of file +(define-pred-stxclass bytes bytes?) diff --git a/collects/typed-scheme/utils/tc-utils.ss b/collects/typed-scheme/utils/tc-utils.ss index b92a4baf..00bc41ca 100644 --- a/collects/typed-scheme/utils/tc-utils.ss +++ b/collects/typed-scheme/utils/tc-utils.ss @@ -181,4 +181,4 @@ don't depend on any other portion of the system (define-syntax-class (id-from sym mod) (pattern i:id - #:when (id-from? #'i sym mod))) \ No newline at end of file + #:when (id-from? #'i sym mod))) diff --git a/collects/typed-scheme/utils/utils.ss b/collects/typed-scheme/utils/utils.ss index c23add70..c722a621 100644 --- a/collects/typed-scheme/utils/utils.ss +++ b/collects/typed-scheme/utils/utils.ss @@ -333,4 +333,4 @@ at least theoretically. (and (hash? h) (for/and ([(k v) h]) (and (k/c? k) - (v/c? v))))))) \ No newline at end of file + (v/c? v))))))) diff --git a/collects/typed/file/tar.ss b/collects/typed/file/tar.ss index 625a45a8..0497d8c9 100644 --- a/collects/typed/file/tar.ss +++ b/collects/typed/file/tar.ss @@ -19,4 +19,4 @@ [tar-gzip (Path-String Path-String * -> Void)] ) -(provide tar tar->output tar-gzip) \ No newline at end of file +(provide tar tar->output tar-gzip)