From 52bad5959a9e60d0d8370a448234e87ad9234a25 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Tue, 28 Jun 2011 02:01:41 -0400 Subject: [PATCH] A long overdue scan to eliminate files without terminating newlines. (DrRacket should really do that.) original commit: 40124a0619da5e187d95aeb1dde237f05d6f9c6b --- collects/tests/typed-scheme/fail/bad-ann.rkt | 2 +- collects/tests/typed-scheme/fail/bad-hash-ref.rkt | 4 ++-- collects/tests/typed-scheme/fail/cnt-struct-err.rkt | 2 +- collects/tests/typed-scheme/fail/dup-ann.rkt | 2 +- collects/tests/typed-scheme/fail/duplicate-ann.rkt | 2 +- collects/tests/typed-scheme/fail/pr10350.rkt | 2 +- collects/tests/typed-scheme/fail/pr10594.rkt | 2 +- collects/tests/typed-scheme/fail/require-typed-missing.rkt | 2 +- collects/tests/typed-scheme/fail/subtype-int-err.rkt | 2 +- collects/tests/typed-scheme/fail/undefined.rkt | 2 +- collects/tests/typed-scheme/fail/with-type2.rkt | 2 +- collects/tests/typed-scheme/fail/with-type3.rkt | 2 +- collects/tests/typed-scheme/succeed/at-exp.rkt | 3 +-- collects/tests/typed-scheme/succeed/begin0-error.rkt | 2 +- collects/tests/typed-scheme/succeed/check-within.rkt | 2 +- collects/tests/typed-scheme/succeed/cps.rkt | 2 +- collects/tests/typed-scheme/succeed/def-pred.rkt | 2 +- collects/tests/typed-scheme/succeed/empty-or.rkt | 2 +- collects/tests/typed-scheme/succeed/float-internal-err.rkt | 2 +- collects/tests/typed-scheme/succeed/for-ann.rkt | 2 +- collects/tests/typed-scheme/succeed/for-in-range.rkt | 2 +- collects/tests/typed-scheme/succeed/hari-vector-bug.rkt | 2 +- collects/tests/typed-scheme/succeed/logic.rkt | 2 +- collects/tests/typed-scheme/succeed/map-nonempty.rkt | 2 +- collects/tests/typed-scheme/succeed/mpair.rkt | 2 +- collects/tests/typed-scheme/succeed/parse-path.rkt | 2 +- collects/tests/typed-scheme/succeed/poly-struct-union.rkt | 2 +- collects/tests/typed-scheme/succeed/pr10057.rkt | 2 +- collects/tests/typed-scheme/succeed/pr10318.rkt | 2 +- collects/tests/typed-scheme/succeed/pr10319.rkt | 2 +- collects/tests/typed-scheme/succeed/pr10342.rkt | 2 +- collects/tests/typed-scheme/succeed/pr10470.rkt | 2 +- collects/tests/typed-scheme/succeed/pr10718+10755.rkt | 2 +- collects/tests/typed-scheme/succeed/pr10729.rkt | 2 +- .../tests/typed-scheme/succeed/provide-struct-untyped.rkt | 2 +- collects/tests/typed-scheme/succeed/rec-het-vec-infer.rkt | 2 +- collects/tests/typed-scheme/succeed/sequence-cnt.rkt | 2 +- collects/tests/typed-scheme/succeed/sequences.rkt | 2 +- collects/tests/typed-scheme/succeed/set-contract.rkt | 2 +- collects/tests/typed-scheme/succeed/simple-or.rkt | 2 +- collects/tests/typed-scheme/succeed/stream.rkt | 2 +- collects/tests/typed-scheme/succeed/struct-mutable.rkt | 2 +- collects/tests/typed-scheme/succeed/struct-path-update.rkt | 2 +- collects/tests/typed-scheme/succeed/test-child-field.rkt | 2 +- .../typed-scheme/succeed/typed-scheme-no-check-arrow.rkt | 2 +- collects/tests/typed-scheme/succeed/with-syntax.rkt | 2 +- collects/tests/typed-scheme/xfail/cl-expected.rkt | 2 +- collects/typed-scheme/base-env/extra-procs.rkt | 2 +- collects/typed-scheme/env/index-env.rkt | 2 +- collects/typed-scheme/env/tvar-env.rkt | 2 +- collects/typed-scheme/rep/filter-rep.rkt | 2 +- collects/typed-scheme/rep/object-rep.rkt | 2 +- collects/typed-scheme/scribblings/guide/begin.scrbl | 2 +- collects/typed-scheme/typecheck/def-export.rkt | 2 +- collects/typed-scheme/typecheck/renamer.rkt | 2 +- collects/typed-scheme/types/substitute.rkt | 2 +- collects/typed-scheme/utils/any-wrap.rkt | 2 +- collects/typed/private/wrap.rkt | 2 +- collects/typed/racket.rkt | 2 +- collects/typed/racket/base/no-check.rkt | 2 +- collects/typed/racket/no-check.rkt | 2 +- collects/typed/racket/system.rkt | 2 +- collects/typed/scheme.rkt | 2 +- collects/typed/scheme/system.rkt | 2 +- 64 files changed, 65 insertions(+), 66 deletions(-) diff --git a/collects/tests/typed-scheme/fail/bad-ann.rkt b/collects/tests/typed-scheme/fail/bad-ann.rkt index ca749ff2..0c783845 100644 --- a/collects/tests/typed-scheme/fail/bad-ann.rkt +++ b/collects/tests/typed-scheme/fail/bad-ann.rkt @@ -11,4 +11,4 @@ (+ a b)) (f 1 2) -(g 1 2) \ No newline at end of file +(g 1 2) diff --git a/collects/tests/typed-scheme/fail/bad-hash-ref.rkt b/collects/tests/typed-scheme/fail/bad-hash-ref.rkt index 05d7a1b6..98290373 100644 --- a/collects/tests/typed-scheme/fail/bad-hash-ref.rkt +++ b/collects/tests/typed-scheme/fail/bad-hash-ref.rkt @@ -10,7 +10,7 @@ (: thunk (-> Integer)) (define thunk (hash-ref table n (lambda () 0))) - + (thunk)) -(lookup 1) \ No newline at end of file +(lookup 1) diff --git a/collects/tests/typed-scheme/fail/cnt-struct-err.rkt b/collects/tests/typed-scheme/fail/cnt-struct-err.rkt index 1630775f..3dd0d615 100644 --- a/collects/tests/typed-scheme/fail/cnt-struct-err.rkt +++ b/collects/tests/typed-scheme/fail/cnt-struct-err.rkt @@ -15,4 +15,4 @@ [(struct x (f)) (f #f)])) -(require 'n2) \ No newline at end of file +(require 'n2) diff --git a/collects/tests/typed-scheme/fail/dup-ann.rkt b/collects/tests/typed-scheme/fail/dup-ann.rkt index 0633266d..84b89f0c 100644 --- a/collects/tests/typed-scheme/fail/dup-ann.rkt +++ b/collects/tests/typed-scheme/fail/dup-ann.rkt @@ -15,4 +15,4 @@ (: baz Number) -(define: baz : Number 7) \ No newline at end of file +(define: baz : Number 7) diff --git a/collects/tests/typed-scheme/fail/duplicate-ann.rkt b/collects/tests/typed-scheme/fail/duplicate-ann.rkt index 97a97424..d897457e 100644 --- a/collects/tests/typed-scheme/fail/duplicate-ann.rkt +++ b/collects/tests/typed-scheme/fail/duplicate-ann.rkt @@ -16,4 +16,4 @@ (square 10) ;; 100 (integer? 10.1) ;; #f (square 10.1) ;; 102.009999... - ) \ No newline at end of file + ) diff --git a/collects/tests/typed-scheme/fail/pr10350.rkt b/collects/tests/typed-scheme/fail/pr10350.rkt index a3c78126..c444677d 100644 --- a/collects/tests/typed-scheme/fail/pr10350.rkt +++ b/collects/tests/typed-scheme/fail/pr10350.rkt @@ -9,4 +9,4 @@ scheme/base (: f (Number -> String)) (define f - (if (number->string? +) + number->string)) \ No newline at end of file + (if (number->string? +) + number->string)) diff --git a/collects/tests/typed-scheme/fail/pr10594.rkt b/collects/tests/typed-scheme/fail/pr10594.rkt index 271775e8..83f49813 100644 --- a/collects/tests/typed-scheme/fail/pr10594.rkt +++ b/collects/tests/typed-scheme/fail/pr10594.rkt @@ -18,4 +18,4 @@ (thing->string (make-thing 5))) -(require 'U) \ No newline at end of file +(require 'U) diff --git a/collects/tests/typed-scheme/fail/require-typed-missing.rkt b/collects/tests/typed-scheme/fail/require-typed-missing.rkt index 66c8b4e0..a32f0678 100644 --- a/collects/tests/typed-scheme/fail/require-typed-missing.rkt +++ b/collects/tests/typed-scheme/fail/require-typed-missing.rkt @@ -13,4 +13,4 @@ (Any -> Edge) (Edge -> Graph) -> - (Boolean -> Graph)))) \ No newline at end of file + (Boolean -> Graph)))) diff --git a/collects/tests/typed-scheme/fail/subtype-int-err.rkt b/collects/tests/typed-scheme/fail/subtype-int-err.rkt index c58b8226..c641c5ef 100644 --- a/collects/tests/typed-scheme/fail/subtype-int-err.rkt +++ b/collects/tests/typed-scheme/fail/subtype-int-err.rkt @@ -19,4 +19,4 @@ (: gen-lambda-n (Integer Any -> (Any -> (Any Any Any Any * -> Any)))) (define (gen-lambda-n nb-vars body) - (error 'fail)) \ No newline at end of file + (error 'fail)) diff --git a/collects/tests/typed-scheme/fail/undefined.rkt b/collects/tests/typed-scheme/fail/undefined.rkt index 400e6203..2e9ce51a 100644 --- a/collects/tests/typed-scheme/fail/undefined.rkt +++ b/collects/tests/typed-scheme/fail/undefined.rkt @@ -19,4 +19,4 @@ (void))) -(require 'B) \ No newline at end of file +(require 'B) diff --git a/collects/tests/typed-scheme/fail/with-type2.rkt b/collects/tests/typed-scheme/fail/with-type2.rkt index f435976c..114a8f36 100644 --- a/collects/tests/typed-scheme/fail/with-type2.rkt +++ b/collects/tests/typed-scheme/fail/with-type2.rkt @@ -8,4 +8,4 @@ (with-type #:result String #:freevars ([x String]) - (string-append x ", world"))) \ No newline at end of file + (string-append x ", world"))) diff --git a/collects/tests/typed-scheme/fail/with-type3.rkt b/collects/tests/typed-scheme/fail/with-type3.rkt index 5f0a60fe..330cd13d 100644 --- a/collects/tests/typed-scheme/fail/with-type3.rkt +++ b/collects/tests/typed-scheme/fail/with-type3.rkt @@ -9,4 +9,4 @@ #:result (values String (Number -> Number)) (values "foo" (lambda (x) x)))) -(b a) \ No newline at end of file +(b a) diff --git a/collects/tests/typed-scheme/succeed/at-exp.rkt b/collects/tests/typed-scheme/succeed/at-exp.rkt index 1226a809..29182652 100644 --- a/collects/tests/typed-scheme/succeed/at-exp.rkt +++ b/collects/tests/typed-scheme/succeed/at-exp.rkt @@ -1,4 +1,3 @@ - #lang at-exp typed/racket (define contents @@ -6,4 +5,4 @@ (define doc @contents{x y}) -@contents{x y} \ No newline at end of file +@contents{x y} diff --git a/collects/tests/typed-scheme/succeed/begin0-error.rkt b/collects/tests/typed-scheme/succeed/begin0-error.rkt index b00b1c2a..d8a05fe6 100644 --- a/collects/tests/typed-scheme/succeed/begin0-error.rkt +++ b/collects/tests/typed-scheme/succeed/begin0-error.rkt @@ -18,4 +18,4 @@ (define (create-node2 x y) (if (and (sn? x) (sn? y)) (node x y) - (error 'bad ""))) \ No newline at end of file + (error 'bad ""))) diff --git a/collects/tests/typed-scheme/succeed/check-within.rkt b/collects/tests/typed-scheme/succeed/check-within.rkt index 30564384..c0ab8666 100644 --- a/collects/tests/typed-scheme/succeed/check-within.rkt +++ b/collects/tests/typed-scheme/succeed/check-within.rkt @@ -14,4 +14,4 @@ (define (circle-area c) (* pi (circle-radius c) (circle-radius c))) -(test) \ No newline at end of file +(test) diff --git a/collects/tests/typed-scheme/succeed/cps.rkt b/collects/tests/typed-scheme/succeed/cps.rkt index 503c2129..9e919db3 100644 --- a/collects/tests/typed-scheme/succeed/cps.rkt +++ b/collects/tests/typed-scheme/succeed/cps.rkt @@ -39,4 +39,4 @@ (define-type W (U Var (lamC K))) (: f* (P -> Λ2)) -(define (f* x) x) \ No newline at end of file +(define (f* x) x) diff --git a/collects/tests/typed-scheme/succeed/def-pred.rkt b/collects/tests/typed-scheme/succeed/def-pred.rkt index a9f73a53..4722e868 100644 --- a/collects/tests/typed-scheme/succeed/def-pred.rkt +++ b/collects/tests/typed-scheme/succeed/def-pred.rkt @@ -2,4 +2,4 @@ (define-predicate int-or-bool? (U Integer Boolean)) -(int-or-bool? 7) \ No newline at end of file +(int-or-bool? 7) diff --git a/collects/tests/typed-scheme/succeed/empty-or.rkt b/collects/tests/typed-scheme/succeed/empty-or.rkt index f0195a6e..e4292b89 100644 --- a/collects/tests/typed-scheme/succeed/empty-or.rkt +++ b/collects/tests/typed-scheme/succeed/empty-or.rkt @@ -22,4 +22,4 @@ [else (cons (+ (car l) (car k)) (mrg (rest l) (rest k)))])) -(test) \ No newline at end of file +(test) diff --git a/collects/tests/typed-scheme/succeed/float-internal-err.rkt b/collects/tests/typed-scheme/succeed/float-internal-err.rkt index a349d826..82f9ea34 100644 --- a/collects/tests/typed-scheme/succeed/float-internal-err.rkt +++ b/collects/tests/typed-scheme/succeed/float-internal-err.rkt @@ -9,4 +9,4 @@ (define (tfo-align) 0.0 (let* ((x (FLOAT* 0.0 (FLOATsin 0.)))) - 0)) \ No newline at end of file + 0)) diff --git a/collects/tests/typed-scheme/succeed/for-ann.rkt b/collects/tests/typed-scheme/succeed/for-ann.rkt index a400999a..580d1211 100644 --- a/collects/tests/typed-scheme/succeed/for-ann.rkt +++ b/collects/tests/typed-scheme/succeed/for-ann.rkt @@ -1,3 +1,3 @@ #lang typed/racket -(ann (for ([#{i : Integer} '(1 2 3)]) (display i)) Void) \ No newline at end of file +(ann (for ([#{i : Integer} '(1 2 3)]) (display i)) Void) diff --git a/collects/tests/typed-scheme/succeed/for-in-range.rkt b/collects/tests/typed-scheme/succeed/for-in-range.rkt index 213e14dd..be21ba23 100644 --- a/collects/tests/typed-scheme/succeed/for-in-range.rkt +++ b/collects/tests/typed-scheme/succeed/for-in-range.rkt @@ -1,3 +1,3 @@ #lang typed/racket -(for: ([i : Integer (in-range 10 0 -1)]) i) \ No newline at end of file +(for: ([i : Integer (in-range 10 0 -1)]) i) diff --git a/collects/tests/typed-scheme/succeed/hari-vector-bug.rkt b/collects/tests/typed-scheme/succeed/hari-vector-bug.rkt index 69bc7efd..dbf7d9a8 100644 --- a/collects/tests/typed-scheme/succeed/hari-vector-bug.rkt +++ b/collects/tests/typed-scheme/succeed/hari-vector-bug.rkt @@ -17,4 +17,4 @@ (if (Base? block) (make-Base (Base-prevbase block) (Base-elems block)) - (error "" 'get-base))) \ No newline at end of file + (error "" 'get-base))) diff --git a/collects/tests/typed-scheme/succeed/logic.rkt b/collects/tests/typed-scheme/succeed/logic.rkt index c21abe72..bbbccca9 100644 --- a/collects/tests/typed-scheme/succeed/logic.rkt +++ b/collects/tests/typed-scheme/succeed/logic.rkt @@ -11,4 +11,4 @@ (: bool-to-0-or-1 (Boolean -> Number)) (define (bool-to-0-or-1 b) - (if b 1 0)) \ No newline at end of file + (if b 1 0)) diff --git a/collects/tests/typed-scheme/succeed/map-nonempty.rkt b/collects/tests/typed-scheme/succeed/map-nonempty.rkt index a501bb0a..bdb2f053 100644 --- a/collects/tests/typed-scheme/succeed/map-nonempty.rkt +++ b/collects/tests/typed-scheme/succeed/map-nonempty.rkt @@ -3,4 +3,4 @@ (: x (Pair Integer (Listof Integer))) (define x (cons 1 (list 1 2 3 4))) -(apply max (ann (map add1 x) : (Pair Integer (Listof Integer)))) \ No newline at end of file +(apply max (ann (map add1 x) : (Pair Integer (Listof Integer)))) diff --git a/collects/tests/typed-scheme/succeed/mpair.rkt b/collects/tests/typed-scheme/succeed/mpair.rkt index 72475e8e..708cf975 100644 --- a/collects/tests/typed-scheme/succeed/mpair.rkt +++ b/collects/tests/typed-scheme/succeed/mpair.rkt @@ -3,4 +3,4 @@ (define: x : (MPairof Integer Integer) (mcons 1 2)) (set-mcar! x -7) (mcar x) -(mcdr x) \ No newline at end of file +(mcdr x) diff --git a/collects/tests/typed-scheme/succeed/parse-path.rkt b/collects/tests/typed-scheme/succeed/parse-path.rkt index ea36af8c..eebd8049 100644 --- a/collects/tests/typed-scheme/succeed/parse-path.rkt +++ b/collects/tests/typed-scheme/succeed/parse-path.rkt @@ -1,4 +1,4 @@ #lang typed/scheme (: f ((Pair Any Any) -> Boolean : Number @ car)) -(define f (lambda: ([x : (Pair Any Any)]) (number? (car x)))) \ No newline at end of file +(define f (lambda: ([x : (Pair Any Any)]) (number? (car x)))) diff --git a/collects/tests/typed-scheme/succeed/poly-struct-union.rkt b/collects/tests/typed-scheme/succeed/poly-struct-union.rkt index 124d8740..04a503a0 100644 --- a/collects/tests/typed-scheme/succeed/poly-struct-union.rkt +++ b/collects/tests/typed-scheme/succeed/poly-struct-union.rkt @@ -28,4 +28,4 @@ (require 'test) (a:list-helper (list 1 2))) -(require 'test2) \ No newline at end of file +(require 'test2) diff --git a/collects/tests/typed-scheme/succeed/pr10057.rkt b/collects/tests/typed-scheme/succeed/pr10057.rkt index a4f1829d..30f90075 100644 --- a/collects/tests/typed-scheme/succeed/pr10057.rkt +++ b/collects/tests/typed-scheme/succeed/pr10057.rkt @@ -2,4 +2,4 @@ (require scheme/match) (ann (match '(a b c) [(list sym more ...) 1] - [else 1]) Integer) \ No newline at end of file + [else 1]) Integer) diff --git a/collects/tests/typed-scheme/succeed/pr10318.rkt b/collects/tests/typed-scheme/succeed/pr10318.rkt index aa1ae023..2a135b7f 100644 --- a/collects/tests/typed-scheme/succeed/pr10318.rkt +++ b/collects/tests/typed-scheme/succeed/pr10318.rkt @@ -32,4 +32,4 @@ (: rect-area (rect -> Number)) ;; the area of this rectangle r (define (rect-area s) - (* (rect-width s) (rect-height s))) \ No newline at end of file + (* (rect-width s) (rect-height s))) diff --git a/collects/tests/typed-scheme/succeed/pr10319.rkt b/collects/tests/typed-scheme/succeed/pr10319.rkt index 2da2e3c5..bfb44def 100644 --- a/collects/tests/typed-scheme/succeed/pr10319.rkt +++ b/collects/tests/typed-scheme/succeed/pr10319.rkt @@ -11,4 +11,4 @@ [(number? (car lsn)) (+ (car lsn) (sum (cdr lsn)))] [else (sum (cdr lsn))])) -(sum '(a b 2 3)) \ No newline at end of file +(sum '(a b 2 3)) diff --git a/collects/tests/typed-scheme/succeed/pr10342.rkt b/collects/tests/typed-scheme/succeed/pr10342.rkt index 89056052..b29baca3 100644 --- a/collects/tests/typed-scheme/succeed/pr10342.rkt +++ b/collects/tests/typed-scheme/succeed/pr10342.rkt @@ -2,4 +2,4 @@ (require/typed scheme/base [opaque WeakBox weak-box?] - [make-weak-box (Any -> WeakBox)]) \ No newline at end of file + [make-weak-box (Any -> WeakBox)]) diff --git a/collects/tests/typed-scheme/succeed/pr10470.rkt b/collects/tests/typed-scheme/succeed/pr10470.rkt index bfc21cc2..44c1c33c 100644 --- a/collects/tests/typed-scheme/succeed/pr10470.rkt +++ b/collects/tests/typed-scheme/succeed/pr10470.rkt @@ -12,4 +12,4 @@ (let ([result (proc-or-num)]) (set-table-val! tab result) result)] - [else proc-or-num])))) \ No newline at end of file + [else proc-or-num])))) diff --git a/collects/tests/typed-scheme/succeed/pr10718+10755.rkt b/collects/tests/typed-scheme/succeed/pr10718+10755.rkt index a0909006..ac8ed36c 100644 --- a/collects/tests/typed-scheme/succeed/pr10718+10755.rkt +++ b/collects/tests/typed-scheme/succeed/pr10718+10755.rkt @@ -12,4 +12,4 @@ (define (source? x) (if (false? x) #t - (symbol? x))) \ No newline at end of file + (symbol? x))) diff --git a/collects/tests/typed-scheme/succeed/pr10729.rkt b/collects/tests/typed-scheme/succeed/pr10729.rkt index ab79d457..0400b826 100644 --- a/collects/tests/typed-scheme/succeed/pr10729.rkt +++ b/collects/tests/typed-scheme/succeed/pr10729.rkt @@ -1,4 +1,4 @@ #lang typed/scheme (: lon? (Any -> Boolean : (Listof Number))) (define (lon? x) - (and (list? x) (andmap number? x))) \ No newline at end of file + (and (list? x) (andmap number? x))) diff --git a/collects/tests/typed-scheme/succeed/provide-struct-untyped.rkt b/collects/tests/typed-scheme/succeed/provide-struct-untyped.rkt index 57adf8c2..6d31e4df 100644 --- a/collects/tests/typed-scheme/succeed/provide-struct-untyped.rkt +++ b/collects/tests/typed-scheme/succeed/provide-struct-untyped.rkt @@ -13,4 +13,4 @@ [(struct x (f)) (f 7)])) -(require 'n2) \ No newline at end of file +(require 'n2) diff --git a/collects/tests/typed-scheme/succeed/rec-het-vec-infer.rkt b/collects/tests/typed-scheme/succeed/rec-het-vec-infer.rkt index 72c33824..5efb685c 100644 --- a/collects/tests/typed-scheme/succeed/rec-het-vec-infer.rkt +++ b/collects/tests/typed-scheme/succeed/rec-het-vec-infer.rkt @@ -6,4 +6,4 @@ (define (get-set-root s) (error 'fail)) (: set-size (All (X) ((Set X) -> X))) -(define (set-size x) (get-set-root x)) \ No newline at end of file +(define (set-size x) (get-set-root x)) diff --git a/collects/tests/typed-scheme/succeed/sequence-cnt.rkt b/collects/tests/typed-scheme/succeed/sequence-cnt.rkt index d77c9dac..269a97b7 100644 --- a/collects/tests/typed-scheme/succeed/sequence-cnt.rkt +++ b/collects/tests/typed-scheme/succeed/sequence-cnt.rkt @@ -9,4 +9,4 @@ (require 'm) (for ([i s]) (add1 i))) -(require 'n) \ No newline at end of file +(require 'n) diff --git a/collects/tests/typed-scheme/succeed/sequences.rkt b/collects/tests/typed-scheme/succeed/sequences.rkt index 00a162ef..568899c4 100644 --- a/collects/tests/typed-scheme/succeed/sequences.rkt +++ b/collects/tests/typed-scheme/succeed/sequences.rkt @@ -7,4 +7,4 @@ (ann (for ([z (open-input-string "foobar")]) (add1 z)) Void) (ann (for ([z (in-list (list 1 2 3))]) (add1 z)) Void) -(ann (for ([z (in-vector (vector 1 2 3))]) (add1 z)) Void) \ No newline at end of file +(ann (for ([z (in-vector (vector 1 2 3))]) (add1 z)) Void) diff --git a/collects/tests/typed-scheme/succeed/set-contract.rkt b/collects/tests/typed-scheme/succeed/set-contract.rkt index 4d46eb69..54774ba9 100644 --- a/collects/tests/typed-scheme/succeed/set-contract.rkt +++ b/collects/tests/typed-scheme/succeed/set-contract.rkt @@ -4,4 +4,4 @@ (string-set? (set 1 2 3)) -(string-set? (set "1" "2" "3")) \ No newline at end of file +(string-set? (set "1" "2" "3")) diff --git a/collects/tests/typed-scheme/succeed/simple-or.rkt b/collects/tests/typed-scheme/succeed/simple-or.rkt index d8e638b1..a2eae0b1 100644 --- a/collects/tests/typed-scheme/succeed/simple-or.rkt +++ b/collects/tests/typed-scheme/succeed/simple-or.rkt @@ -11,4 +11,4 @@ (: strnum? (Any -> Boolean : (U String Number))) (define (strnum? x) - (or (string? x) (number? x))) \ No newline at end of file + (or (string? x) (number? x))) diff --git a/collects/tests/typed-scheme/succeed/stream.rkt b/collects/tests/typed-scheme/succeed/stream.rkt index afedf86e..3e676b71 100644 --- a/collects/tests/typed-scheme/succeed/stream.rkt +++ b/collects/tests/typed-scheme/succeed/stream.rkt @@ -63,4 +63,4 @@ ((inst rotate A) (stream-cdr frnt) (cdr rer) - (box (lambda () (cons carrer accum)))))))) \ No newline at end of file + (box (lambda () (cons carrer accum)))))))) diff --git a/collects/tests/typed-scheme/succeed/struct-mutable.rkt b/collects/tests/typed-scheme/succeed/struct-mutable.rkt index 3ea0c171..ec8285cb 100644 --- a/collects/tests/typed-scheme/succeed/struct-mutable.rkt +++ b/collects/tests/typed-scheme/succeed/struct-mutable.rkt @@ -3,4 +3,4 @@ (struct: foo ([x : Integer]) #:mutable) (: f (Integer -> foo)) -(define (f x) (foo x)) \ No newline at end of file +(define (f x) (foo x)) diff --git a/collects/tests/typed-scheme/succeed/struct-path-update.rkt b/collects/tests/typed-scheme/succeed/struct-path-update.rkt index aeae5430..cd389042 100644 --- a/collects/tests/typed-scheme/succeed/struct-path-update.rkt +++ b/collects/tests/typed-scheme/succeed/struct-path-update.rkt @@ -6,4 +6,4 @@ (define (f x) (if (zero? (foo-bar x)) (error 'f "Nooooooo!") - (foo-bar x))) \ No newline at end of file + (foo-bar x))) diff --git a/collects/tests/typed-scheme/succeed/test-child-field.rkt b/collects/tests/typed-scheme/succeed/test-child-field.rkt index 40f36fe6..2d97b993 100644 --- a/collects/tests/typed-scheme/succeed/test-child-field.rkt +++ b/collects/tests/typed-scheme/succeed/test-child-field.rkt @@ -7,4 +7,4 @@ (define (f v) (if (string? (y-b v)) (y-b v) - "foo")) \ No newline at end of file + "foo")) diff --git a/collects/tests/typed-scheme/succeed/typed-scheme-no-check-arrow.rkt b/collects/tests/typed-scheme/succeed/typed-scheme-no-check-arrow.rkt index bfa511c1..14024b2d 100644 --- a/collects/tests/typed-scheme/succeed/typed-scheme-no-check-arrow.rkt +++ b/collects/tests/typed-scheme/succeed/typed-scheme-no-check-arrow.rkt @@ -1,3 +1,3 @@ #lang typed-scheme/no-check (: foo : Void -> Void) -(define (foo x) x) \ No newline at end of file +(define (foo x) x) diff --git a/collects/tests/typed-scheme/succeed/with-syntax.rkt b/collects/tests/typed-scheme/succeed/with-syntax.rkt index 07108e45..2a4ccbc8 100644 --- a/collects/tests/typed-scheme/succeed/with-syntax.rkt +++ b/collects/tests/typed-scheme/succeed/with-syntax.rkt @@ -4,4 +4,4 @@ (: f : -> Syntax) (define (f) (with-syntax* ([(x ...) (list 1 2 3)]) - #`(#,(syntax +) x ...))) \ No newline at end of file + #`(#,(syntax +) x ...))) diff --git a/collects/tests/typed-scheme/xfail/cl-expected.rkt b/collects/tests/typed-scheme/xfail/cl-expected.rkt index 23462c59..f94a0c25 100644 --- a/collects/tests/typed-scheme/xfail/cl-expected.rkt +++ b/collects/tests/typed-scheme/xfail/cl-expected.rkt @@ -5,4 +5,4 @@ (define add (case-lambda [(x) (add x 0)] - [(x y) (+ x y)])) \ No newline at end of file + [(x y) (+ x y)])) diff --git a/collects/typed-scheme/base-env/extra-procs.rkt b/collects/typed-scheme/base-env/extra-procs.rkt index 5b90512b..09381252 100644 --- a/collects/typed-scheme/base-env/extra-procs.rkt +++ b/collects/typed-scheme/base-env/extra-procs.rkt @@ -10,4 +10,4 @@ (if (pred val) val (error "Assertion failed")))))) (define (defined? v) - (not (equal? v (letrec ([x x]) x)))) \ No newline at end of file + (not (equal? v (letrec ([x x]) x)))) diff --git a/collects/typed-scheme/env/index-env.rkt b/collects/typed-scheme/env/index-env.rkt index 4a6218ec..7e98e713 100644 --- a/collects/typed-scheme/env/index-env.rkt +++ b/collects/typed-scheme/env/index-env.rkt @@ -28,4 +28,4 @@ (tc-error/stx stx "No type variable bound with ... in scope for ... type")) (unless (null? (cdr bounds)) (tc-error/stx stx "Cannot infer bound for ... type")) - (car bounds)) \ No newline at end of file + (car bounds)) diff --git a/collects/typed-scheme/env/tvar-env.rkt b/collects/typed-scheme/env/tvar-env.rkt index 139e85ad..6516e2a9 100644 --- a/collects/typed-scheme/env/tvar-env.rkt +++ b/collects/typed-scheme/env/tvar-env.rkt @@ -21,4 +21,4 @@ (define-syntax-rule (extend-tvars vars . body) (parameterize ([current-tvars (foldr (λ (v s) (set-add s v)) (current-tvars) vars)]) . body)) -(define (bound-tvar? v) (set-member? (current-tvars) v)) \ No newline at end of file +(define (bound-tvar? v) (set-member? (current-tvars) v)) diff --git a/collects/typed-scheme/rep/filter-rep.rkt b/collects/typed-scheme/rep/filter-rep.rkt index 2cbe760a..726e2458 100644 --- a/collects/typed-scheme/rep/filter-rep.rkt +++ b/collects/typed-scheme/rep/filter-rep.rkt @@ -64,4 +64,4 @@ (def-filter NoFilter () [#:fold-rhs #:base]) (define (filter-equal? a b) (= (Rep-seq a) (Rep-seq b))) -(provide filter-equal?) \ No newline at end of file +(provide filter-equal?) diff --git a/collects/typed-scheme/rep/object-rep.rkt b/collects/typed-scheme/rep/object-rep.rkt index f1d5c6f8..c8f1f317 100644 --- a/collects/typed-scheme/rep/object-rep.rkt +++ b/collects/typed-scheme/rep/object-rep.rkt @@ -30,4 +30,4 @@ (dlo LPath ([p (listof PathElem?)] [idx index/c]) [#:frees (combine-frees (map free-vars* p)) (combine-frees (map free-idxs* p))] [#:fold-rhs (*LPath (map pathelem-rec-id p) idx)]) -|# \ No newline at end of file +|# diff --git a/collects/typed-scheme/scribblings/guide/begin.scrbl b/collects/typed-scheme/scribblings/guide/begin.scrbl index 35f95535..c7905f63 100644 --- a/collects/typed-scheme/scribblings/guide/begin.scrbl +++ b/collects/typed-scheme/scribblings/guide/begin.scrbl @@ -129,4 +129,4 @@ Typed Racket also attempts to detect more than one error in the module. @examples[#:eval the-eval (string-append "a string" (add1 "not a number")) ] -} \ No newline at end of file +} diff --git a/collects/typed-scheme/typecheck/def-export.rkt b/collects/typed-scheme/typecheck/def-export.rkt index 4d4e4905..57d092e0 100644 --- a/collects/typed-scheme/typecheck/def-export.rkt +++ b/collects/typed-scheme/typecheck/def-export.rkt @@ -18,4 +18,4 @@ (begin (add-alias #'export-id #'id) (renamer #'id #:alt #'cnt-id)) - (renamer #'cnt-id)))])) \ No newline at end of file + (renamer #'cnt-id)))])) diff --git a/collects/typed-scheme/typecheck/renamer.rkt b/collects/typed-scheme/typecheck/renamer.rkt index a1f19cff..577e6616 100644 --- a/collects/typed-scheme/typecheck/renamer.rkt +++ b/collects/typed-scheme/typecheck/renamer.rkt @@ -6,4 +6,4 @@ (define (renamer id #:alt [alt #f]) (if alt (make-typed-renaming (syntax-property id 'not-free-identifier=? #t) alt) - (make-rename-transformer (syntax-property id 'not-free-identifier=? #t)))) \ No newline at end of file + (make-rename-transformer (syntax-property id 'not-free-identifier=? #t)))) diff --git a/collects/typed-scheme/types/substitute.rkt b/collects/typed-scheme/types/substitute.rkt index 11902156..f3f54d31 100644 --- a/collects/typed-scheme/types/substitute.rkt +++ b/collects/typed-scheme/types/substitute.rkt @@ -155,4 +155,4 @@ [(i-subst/dotted imgs dty dbound) (int-err "i-subst/dotted nyi") #; - (substitute-dotted imgs rest v t)]))) \ No newline at end of file + (substitute-dotted imgs rest v t)]))) diff --git a/collects/typed-scheme/utils/any-wrap.rkt b/collects/typed-scheme/utils/any-wrap.rkt index 54fcab3b..3e88dc2e 100644 --- a/collects/typed-scheme/utils/any-wrap.rkt +++ b/collects/typed-scheme/utils/any-wrap.rkt @@ -37,4 +37,4 @@ #:name 'Any #:projection (compose traverse blame-original?))) -(provide any-wrap/c) \ No newline at end of file +(provide any-wrap/c) diff --git a/collects/typed/private/wrap.rkt b/collects/typed/private/wrap.rkt index 8f2bb87b..ba498b8b 100644 --- a/collects/typed/private/wrap.rkt +++ b/collects/typed/private/wrap.rkt @@ -7,4 +7,4 @@ (require id) (provide (all-from-out id)))])) -(provide (rename-out [mb #%module-begin])) \ No newline at end of file +(provide (rename-out [mb #%module-begin])) diff --git a/collects/typed/racket.rkt b/collects/typed/racket.rkt index 2f76257a..2a9368f1 100644 --- a/collects/typed/racket.rkt +++ b/collects/typed/racket.rkt @@ -3,4 +3,4 @@ (require typed/racket/base racket/require (subtract-in racket typed/racket/base racket/contract) (for-syntax racket/base)) (provide (all-from-out typed/racket/base racket) - (for-syntax (all-from-out racket/base))) \ No newline at end of file + (for-syntax (all-from-out racket/base))) diff --git a/collects/typed/racket/base/no-check.rkt b/collects/typed/racket/base/no-check.rkt index 755a07f3..a5be88a1 100644 --- a/collects/typed/racket/base/no-check.rkt +++ b/collects/typed/racket/base/no-check.rkt @@ -1,4 +1,4 @@ #lang racket/base (require racket/require typed-scheme/no-check (subtract-in typed/racket/base typed-scheme/no-check)) -(provide (all-from-out typed/racket/base typed-scheme/no-check)) \ No newline at end of file +(provide (all-from-out typed/racket/base typed-scheme/no-check)) diff --git a/collects/typed/racket/no-check.rkt b/collects/typed/racket/no-check.rkt index eb8a3c78..f4ee4b09 100644 --- a/collects/typed/racket/no-check.rkt +++ b/collects/typed/racket/no-check.rkt @@ -1,4 +1,4 @@ #lang racket/base (require racket/require typed-scheme/no-check (subtract-in typed/racket typed-scheme/no-check)) -(provide (all-from-out typed/racket typed-scheme/no-check)) \ No newline at end of file +(provide (all-from-out typed/racket typed-scheme/no-check)) diff --git a/collects/typed/racket/system.rkt b/collects/typed/racket/system.rkt index ccdf327a..57db3086 100644 --- a/collects/typed/racket/system.rkt +++ b/collects/typed/racket/system.rkt @@ -1 +1 @@ -#lang s-exp typed/private/wrap racket/system \ No newline at end of file +#lang s-exp typed/private/wrap racket/system diff --git a/collects/typed/scheme.rkt b/collects/typed/scheme.rkt index 11e4b79b..5ec42aef 100644 --- a/collects/typed/scheme.rkt +++ b/collects/typed/scheme.rkt @@ -3,4 +3,4 @@ (require typed/scheme/base scheme/require (subtract-in scheme typed/scheme/base scheme/contract) (for-syntax scheme/base)) (provide (all-from-out typed/scheme/base scheme) - (for-syntax (all-from-out scheme/base))) \ No newline at end of file + (for-syntax (all-from-out scheme/base))) diff --git a/collects/typed/scheme/system.rkt b/collects/typed/scheme/system.rkt index 61bc8bc1..ce3b8a6e 100644 --- a/collects/typed/scheme/system.rkt +++ b/collects/typed/scheme/system.rkt @@ -1 +1 @@ -#lang s-exp typed/private/wrap scheme/system \ No newline at end of file +#lang s-exp typed/private/wrap scheme/system