diff --git a/collects/tests/typed-scheme/succeed/match-dots2.ss b/collects/tests/typed-scheme/succeed/match-dots2.ss index d549ba14..b2ea59a0 100644 --- a/collects/tests/typed-scheme/succeed/match-dots2.ss +++ b/collects/tests/typed-scheme/succeed/match-dots2.ss @@ -6,4 +6,4 @@ ;; evaluates a postfix sequence of items, using a stack (define (post-eval) (match '(1 2) - [(list (? number? #{stack : (Listof Number)}) ...) 3])) \ No newline at end of file + [(list (? number? #{stack : (Listof Number)}) ...) 3])) diff --git a/collects/tests/typed-scheme/xfail/applicative.ss b/collects/tests/typed-scheme/xfail/applicative.ss index a3a5d85d..d474e207 100644 --- a/collects/tests/typed-scheme/xfail/applicative.ss +++ b/collects/tests/typed-scheme/xfail/applicative.ss @@ -20,4 +20,4 @@ (λ (env) ((f env) (x env)))) -(ap (pure id) (pure 4)) \ No newline at end of file +(ap (pure id) (pure 4)) diff --git a/collects/tests/typed-scheme/xfail/rec-contract.ss b/collects/tests/typed-scheme/xfail/rec-contract.ss index 325ba364..922a54bd 100644 --- a/collects/tests/typed-scheme/xfail/rec-contract.ss +++ b/collects/tests/typed-scheme/xfail/rec-contract.ss @@ -10,4 +10,4 @@ (require 'm) (f 1)) -(require 'mm) \ No newline at end of file +(require 'mm) diff --git a/collects/typed-scheme/private/colon.ss b/collects/typed-scheme/private/colon.ss index 15bf2c98..47b278cd 100644 --- a/collects/typed-scheme/private/colon.ss +++ b/collects/typed-scheme/private/colon.ss @@ -46,4 +46,4 @@ (case (length (syntax->list #'(x ...))) [(1) (err "can only annotate identifiers with types" #'i)] [(0) (err "missing type")] - [else (err "bad syntax (multiple types after identifier)")])])) \ No newline at end of file + [else (err "bad syntax (multiple types after identifier)")])])) diff --git a/collects/typed-scheme/rep/filter-rep.ss b/collects/typed-scheme/rep/filter-rep.ss index 6720ab4b..8f353d7b 100644 --- a/collects/typed-scheme/rep/filter-rep.ss +++ b/collects/typed-scheme/rep/filter-rep.ss @@ -95,4 +95,4 @@ (define LatentFilterSet/c (flat-named-contract 'LatentFilterSet - (λ (e) (or (LFilterSet? e))))) \ No newline at end of file + (λ (e) (or (LFilterSet? e)))))