diff --git a/collects/tests/typed-racket/fail/control-test-1.rkt b/collects/tests/typed-racket/fail/control-test-1.rkt index d342ad57..e65ade72 100644 --- a/collects/tests/typed-racket/fail/control-test-1.rkt +++ b/collects/tests/typed-racket/fail/control-test-1.rkt @@ -25,4 +25,4 @@ (λ (tag) (abort-current-continuation tag "bad")))) -(require 'untyped) \ No newline at end of file +(require 'untyped) diff --git a/collects/tests/typed-racket/fail/control-test-2.rkt b/collects/tests/typed-racket/fail/control-test-2.rkt index 950a83a3..0ee3fe3d 100644 --- a/collects/tests/typed-racket/fail/control-test-2.rkt +++ b/collects/tests/typed-racket/fail/control-test-2.rkt @@ -31,4 +31,4 @@ (call-f (λ (tag) ((make-abort-k tag) 'bad)))) -(require 'untyped) \ No newline at end of file +(require 'untyped) diff --git a/collects/tests/typed-racket/fail/control-test-3.rkt b/collects/tests/typed-racket/fail/control-test-3.rkt index e42acf88..dbbbf142 100644 --- a/collects/tests/typed-racket/fail/control-test-3.rkt +++ b/collects/tests/typed-racket/fail/control-test-3.rkt @@ -26,4 +26,4 @@ (default-continuation-prompt-tag) (λ (x) x))))) -(require 'typed) \ No newline at end of file +(require 'typed) diff --git a/collects/tests/typed-racket/fail/pr13365-variation-1.rkt b/collects/tests/typed-racket/fail/pr13365-variation-1.rkt index 7678b962..1e41c509 100644 --- a/collects/tests/typed-racket/fail/pr13365-variation-1.rkt +++ b/collects/tests/typed-racket/fail/pr13365-variation-1.rkt @@ -3,4 +3,4 @@ #lang typed/racket (: f (All (a ...) (a ... a -> (Values a ... a)))) -(define (f . x) x) \ No newline at end of file +(define (f . x) x) diff --git a/collects/tests/typed-racket/fail/pr13365.rkt b/collects/tests/typed-racket/fail/pr13365.rkt index e94eabc7..979768fc 100644 --- a/collects/tests/typed-racket/fail/pr13365.rkt +++ b/collects/tests/typed-racket/fail/pr13365.rkt @@ -3,4 +3,4 @@ #lang typed/racket (: f (All (a ...) (a ... a -> (Values a ... a)))) -(define f (lambda: (x : a ... a) x)) \ No newline at end of file +(define f (lambda: (x : a ... a) x)) diff --git a/collects/tests/typed-racket/fail/type-variable-scope-1.rkt b/collects/tests/typed-racket/fail/type-variable-scope-1.rkt index 5ae8837d..b48b9fd9 100644 --- a/collects/tests/typed-racket/fail/type-variable-scope-1.rkt +++ b/collects/tests/typed-racket/fail/type-variable-scope-1.rkt @@ -7,4 +7,4 @@ ;; This should fail because of the type variable arities (: f (All (b) (b -> b))) (define f - (plambda: (a b) ([x : b]) x)) \ No newline at end of file + (plambda: (a b) ([x : b]) x)) diff --git a/collects/tests/typed-racket/fail/type-variable-scope-2.rkt b/collects/tests/typed-racket/fail/type-variable-scope-2.rkt index c7b86e4d..06dcf41c 100644 --- a/collects/tests/typed-racket/fail/type-variable-scope-2.rkt +++ b/collects/tests/typed-racket/fail/type-variable-scope-2.rkt @@ -10,4 +10,4 @@ (plambda: (b) ([x : b]) (plambda: (b) ([y : b]) (set! x y)) - x)) \ No newline at end of file + x)) diff --git a/collects/tests/typed-racket/fail/type-variable-scope-3.rkt b/collects/tests/typed-racket/fail/type-variable-scope-3.rkt index bbc388ad..918dc265 100644 --- a/collects/tests/typed-racket/fail/type-variable-scope-3.rkt +++ b/collects/tests/typed-racket/fail/type-variable-scope-3.rkt @@ -6,4 +6,4 @@ ;; The 'a' is bound in two different scopes (plambda: (a) ([x : a]) - (plambda: (a) ([y : a]) (set! x y))) \ No newline at end of file + (plambda: (a) ([y : a]) (set! x y))) diff --git a/collects/tests/typed-racket/succeed/prompt-tag.rkt b/collects/tests/typed-racket/succeed/prompt-tag.rkt index 128b9919..f7fb1b40 100644 --- a/collects/tests/typed-racket/succeed/prompt-tag.rkt +++ b/collects/tests/typed-racket/succeed/prompt-tag.rkt @@ -29,4 +29,4 @@ (+ 2 (call-with-continuation-prompt (λ () (+ 1 (abort-current-continuation pt3 (λ () 5)))) - pt3)) \ No newline at end of file + pt3))