Automated Resyntax fixes

This is an automated change generated by Resyntax.

#### Pass 1

Applied 3 fixes to [`typed-racket-lib/typed-racket/base-env/annotate-classes.rkt`](../blob/HEAD/typed-racket-lib/typed-racket/base-env/annotate-classes.rkt)

  * Line 3, `tidy-require`: Keep imports in `require` sorted and grouped by phase, with collections before files.
  * Line 172, `if-else-false-to-and`: This `if` expression can be refactored to an equivalent expression using `and`.
  * Line 331, `define-values-values-to-define`: This use of `define-values` is unnecessary.

Applied 1 fix to [`typed-racket-lib/typed-racket/base-env/ann-inst.rkt`](../blob/HEAD/typed-racket-lib/typed-racket/base-env/ann-inst.rkt)

  * Line 8, `tidy-require`: Keep imports in `require` sorted and grouped by phase, with collections before files.

Applied 1 fix to [`typed-racket-test/optimizer/reset-port.rkt`](../blob/HEAD/typed-racket-test/optimizer/reset-port.rkt)

  * Line 8, `read-line-any`: Specify a line mode of `'any` with `read-line` to avoid differences between Windows and other platforms.

Applied 1 fix to [`typed-racket-lib/typed-racket/base-env/base-env-indexing-abs.rkt`](../blob/HEAD/typed-racket-lib/typed-racket/base-env/base-env-indexing-abs.rkt)

  * Line 3, `tidy-require`: Keep imports in `require` sorted and grouped by phase, with collections before files.

Applied 3 fixes to [`typed-racket-test/optimizer/transform.rkt`](../blob/HEAD/typed-racket-test/optimizer/transform.rkt)

  * Line 3, `tidy-require`: Keep imports in `require` sorted and grouped by phase, with collections before files.
  * Line 24, `read-line-any`: Specify a line mode of `'any` with `read-line` to avoid differences between Windows and other platforms.
  * Line 35, `if-begin-to-cond`: Using `cond` instead of `if` here makes `begin` unnecessary

Applied 1 fix to [`typed-racket-lib/typed-racket/base-env/prims-lambda.rkt`](../blob/HEAD/typed-racket-lib/typed-racket/base-env/prims-lambda.rkt)

  * Line 9, `tidy-require`: Keep imports in `require` sorted and grouped by phase, with collections before files.

Applied 1 fix to [`typed-racket-lib/typed-racket/base-env/base-env-indexing.rkt`](../blob/HEAD/typed-racket-lib/typed-racket/base-env/base-env-indexing.rkt)

  * Line 3, `tidy-require`: Keep imports in `require` sorted and grouped by phase, with collections before files.

Applied 1 fix to [`typed-racket-lib/typed-racket/base-env/unit-prims.rkt`](../blob/HEAD/typed-racket-lib/typed-racket/base-env/unit-prims.rkt)

  * Line 136, `map-to-for`: This `map` operation can be replaced with a `for/list` loop.

Applied 1 fix to [`typed-racket-lib/typed-racket/base-env/base-structs.rkt`](../blob/HEAD/typed-racket-lib/typed-racket/base-env/base-structs.rkt)

  * Line 14, `provide-deduplication`: Providing the same identifier multiple times is unnecessary.

Applied 1 fix to [`typed-racket-lib/typed-racket/base-env/class-prims.rkt`](../blob/HEAD/typed-racket-lib/typed-racket/base-env/class-prims.rkt)

  * Line 5, `tidy-require`: Keep imports in `require` sorted and grouped by phase, with collections before files.

Applied 1 fix to [`typed-racket-test/optimizer/known-bugs.rkt`](../blob/HEAD/typed-racket-test/optimizer/known-bugs.rkt)

  * Line 3, `tidy-require`: Keep imports in `require` sorted and grouped by phase, with collections before files.

Applied 2 fixes to [`typed-racket-lib/typed-racket/base-env/base-contracted.rkt`](../blob/HEAD/typed-racket-lib/typed-racket/base-env/base-contracted.rkt)

  * Line 6, `tidy-require`: Keep imports in `require` sorted and grouped by phase, with collections before files.
  * Line 34, `tidy-require`: Keep imports in `require` sorted and grouped by phase, with collections before files.

Applied 1 fix to [`typed-racket-lib/typed-racket/base-env/class-clauses.rkt`](../blob/HEAD/typed-racket-lib/typed-racket/base-env/class-clauses.rkt)

  * Line 8, `tidy-require`: Keep imports in `require` sorted and grouped by phase, with collections before files.

Applied 1 fix to [`typed-racket-lib/typed-racket/optimizer/sequence.rkt`](../blob/HEAD/typed-racket-lib/typed-racket/optimizer/sequence.rkt)

  * Line 3, `tidy-require`: Keep imports in `require` sorted and grouped by phase, with collections before files.

Applied 1 fix to [`typed-racket-lib/typed-racket/base-env/extra-env-lang.rkt`](../blob/HEAD/typed-racket-lib/typed-racket/base-env/extra-env-lang.rkt)

  * Line 9, `tidy-require`: Keep imports in `require` sorted and grouped by phase, with collections before files.

Applied 1 fix to [`typed-racket-lib/typed-racket/base-env/for-clauses.rkt`](../blob/HEAD/typed-racket-lib/typed-racket/base-env/for-clauses.rkt)

  * Line 3, `tidy-require`: Keep imports in `require` sorted and grouped by phase, with collections before files.

Applied 1 fix to [`typed-racket-lib/typed-racket/base-env/base-special-env.rkt`](../blob/HEAD/typed-racket-lib/typed-racket/base-env/base-special-env.rkt)

  * Line 5, `tidy-require`: Keep imports in `require` sorted and grouped by phase, with collections before files.

Applied 1 fix to [`typed-racket-lib/typed-racket/base-env/env-lang.rkt`](../blob/HEAD/typed-racket-lib/typed-racket/base-env/env-lang.rkt)

  * Line 5, `tidy-require`: Keep imports in `require` sorted and grouped by phase, with collections before files.

Applied 1 fix to [`typed-racket-lib/typed-racket/base-env/base-types-extra.rkt`](../blob/HEAD/typed-racket-lib/typed-racket/base-env/base-types-extra.rkt)

  * Line 3, `tidy-require`: Keep imports in `require` sorted and grouped by phase, with collections before files.

Applied 2 fixes to [`typed-racket-test/optimizer/run.rkt`](../blob/HEAD/typed-racket-test/optimizer/run.rkt)

  * Line 2, `tidy-require`: Keep imports in `require` sorted and grouped by phase, with collections before files.
  * Line 14, `read-line-any`: Specify a line mode of `'any` with `read-line` to avoid differences between Windows and other platforms.

## Summary

Fixed 26 issues in 20 files.

  * Fixed 18 occurrences of `tidy-require`
  * Fixed 3 occurrences of `read-line-any`
  * Fixed 1 occurrence of `if-begin-to-cond`
  * Fixed 1 occurrence of `if-else-false-to-and`
  * Fixed 1 occurrence of `define-values-values-to-define`
  * Fixed 1 occurrence of `map-to-for`
  * Fixed 1 occurrence of `provide-deduplication`

Author: resyntax-ci[bot]

typed-racket-lib/typed-racket/base-env/ann-inst.rkt

@@ -5,8 +5,9 @@
 ;; This file is loaded by all Typed Racket programs, so it should not
 ;; have expensive runtime dependencies.
 
-(require (for-syntax syntax/parse/pre "../private/syntax-properties.rkt"
-                     racket/base)
+(require (for-syntax racket/base
+                     syntax/parse/pre
+                     "../private/syntax-properties.rkt")
          "colon.rkt")
 
 (provide (for-syntax add-ann) ann inst row-inst)

typed-racket-lib/typed-racket/base-env/annotate-classes.rkt

@@ -1,13 +1,13 @@
 #lang racket/base
 
-(require syntax/parse/pre
-         racket/private/immediate-default
+(require (for-label "colon.rkt")
          racket/list
-         racket/set
          racket/match
+         racket/private/immediate-default
+         racket/set
+         syntax/parse/pre
          "../private/parse-classes.rkt"
-         "../private/syntax-properties.rkt"
-         (for-label "colon.rkt"))
+         "../private/syntax-properties.rkt")
 (provide (all-defined-out))
 
 ;; Data definitions
@@ -169,7 +169,7 @@
            #:with ty #'t))
 (define-splicing-syntax-class optional-standalone-annotation
   (pattern (~optional a:standalone-annotation)
-           #:attr ty (if (attribute a) #'a.ty #f)))
+           #:attr ty (and (attribute a) #'a.ty)))
 
 (define-syntax-class type-variables
   #:attributes ((vars 1))
@@ -330,23 +330,16 @@
                  (define-values (all-mand-tys all-opt-tys)
                    (cond
                      [kw-property
-                      (define-values (mand-kw-set opt-kw-set)
-                        (values
-                         (list->set (lambda-kws-mand kw-property))
-                         (list->set (lambda-kws-opt kw-property))))
-
+                      (define mand-kw-set (list->set (lambda-kws-mand kw-property)))
+                      (define opt-kw-set (list->set (lambda-kws-opt kw-property)))
                       (define-values (mand-tys^ opt-kw^)
-                        (partition (part-pred opt-kw-set)
-                                   (attribute mand.type-form)))
-
+                        (partition (part-pred opt-kw-set) (attribute mand.type-form)))
+                   
                       (define-values (opt-tys^ mand-kw^)
-                        (partition (part-pred mand-kw-set)
-                                   (attribute opt.type-form)))
-
-                      (values (append mand-tys^ mand-kw^)
-                              (append opt-tys^ opt-kw^))]
-                     [else
-                      (values (attribute mand.type-form) (attribute opt.type-form))]))]
+                        (partition (part-pred mand-kw-set) (attribute opt.type-form)))
+                   
+                      (values (append mand-tys^ mand-kw^) (append opt-tys^ opt-kw^))]
+                     [else (values (attribute mand.type-form) (attribute opt.type-form))]))]
            #:attr kw-property kw-property
            #:attr mand-tys
            (flatten all-mand-tys)

typed-racket-lib/typed-racket/base-env/base-contracted.rkt

@@ -3,14 +3,12 @@
 ;; This file provides Typed Racket bindings for values that need
 ;; contract protection, even in typed code.
 
-(require "../utils/utils.rkt"
-         "../utils/any-wrap.rkt"
+(require (for-syntax racket/base
+                     "../env/env-req.rkt")
          (prefix-in c: racket/contract)
-         (rename-in
-          racket/base
-          [default-continuation-prompt-tag -default-continuation-prompt-tag])
-         (for-syntax racket/base
-                     "../env/env-req.rkt"))
+         (rename-in racket/base [default-continuation-prompt-tag -default-continuation-prompt-tag])
+         "../utils/any-wrap.rkt"
+         "../utils/utils.rkt")
 
 (provide default-continuation-prompt-tag)
 
@@ -32,8 +30,8 @@
   (module* #%type-decl #f
     (#%plain-module-begin
      (require typed-racket/env/global-env
-              typed-racket/types/abbrev
-              typed-racket/rep/type-rep)
+              typed-racket/rep/type-rep
+              typed-racket/types/abbrev)
      (register-type
       (quote-syntax default-continuation-prompt-tag)
       ;; TODO: we actually want the type

typed-racket-lib/typed-racket/base-env/base-env-indexing-abs.rkt

@@ -1,13 +1,18 @@
 #lang racket/base
 
-(require
- (for-template racket/base racket/list racket/unsafe/ops racket/flonum racket/extflonum racket/fixnum)
- (for-syntax racket/base syntax/parse)
- racket/stxparam
- "../utils/tc-utils.rkt"
- (rename-in "../types/abbrev.rkt"  [-Boolean B] [-Symbol Sym])
- (rename-in "../types/numeric-tower.rkt" [-Number N])
- (only-in "base-structs.rkt" -Arity-At-Least))
+(require (for-syntax racket/base
+                     syntax/parse)
+         (for-template racket/base
+                       racket/extflonum
+                       racket/fixnum
+                       racket/flonum
+                       racket/list
+                       racket/unsafe/ops)
+         racket/stxparam
+         (rename-in "../types/abbrev.rkt" [-Boolean B] [-Symbol Sym])
+         (rename-in "../types/numeric-tower.rkt" [-Number N])
+         (only-in "base-structs.rkt" -Arity-At-Least)
+         "../utils/tc-utils.rkt")
 
 (provide indexing)
 

typed-racket-lib/typed-racket/base-env/base-env-indexing.rkt

@@ -1,10 +1,9 @@
 #lang racket/base
 
-(require
- "../utils/utils.rkt"
- "../types/numeric-tower.rkt"
- "../env/init-envs.rkt"
- "base-env-indexing-abs.rkt")
+(require "../env/init-envs.rkt"
+         "../types/numeric-tower.rkt"
+         "../utils/utils.rkt"
+         "base-env-indexing-abs.rkt")
 
 (define e (indexing -Integer))
 (define (initialize-indexing) (initialize-type-env e))

typed-racket-lib/typed-racket/base-env/base-special-env.rkt

@@ -2,10 +2,10 @@
 
 ;; this file cheats to define types for unexported variables
 ;; that are expanded into by Racket macros
-(require "../env/init-envs.rkt"
+(require (for-syntax racket/base)
+         "../env/init-envs.rkt"
          "../types/abbrev.rkt"
-         "../types/numeric-tower.rkt"
-         (for-syntax racket/base))
+         "../types/numeric-tower.rkt")
 (provide make-template-identifier)
 
 (define (make-template-identifier what where)

typed-racket-lib/typed-racket/base-env/base-structs.rkt

@@ -11,7 +11,11 @@
 
 (require (for-template racket/base (prefix-in k: '#%kernel)))
 
-(provide initialize-structs -Date -Srcloc -Date -Arity-At-Least -Exn)
+(provide initialize-structs
+         -Date
+         -Srcloc
+         -Arity-At-Least
+         -Exn)
 
 (define-syntax define-hierarchy
   (syntax-rules (define-hierarchy)

typed-racket-lib/typed-racket/base-env/base-types-extra.rkt

@@ -1,7 +1,7 @@
 #lang racket/base
 
-(require (for-syntax "type-name-error.rkt"
-                     racket/base))
+(require (for-syntax racket/base
+                     "type-name-error.rkt"))
 
 (define-syntax (define-other-types stx)
   (syntax-case stx ()

typed-racket-lib/typed-racket/base-env/class-clauses.rkt

@@ -5,12 +5,12 @@
 ;; other parts of TR to use the bindings of init, public, etc. without
 ;; requiring prims.rkt
 
-(require (prefix-in untyped: racket/class)
-         "colon.rkt"
-         (for-syntax racket/base
+(require (for-syntax racket/base
                      syntax/parse
                      syntax/stx
-                     "../private/syntax-properties.rkt"))
+                     "../private/syntax-properties.rkt")
+         (prefix-in untyped: racket/class)
+         "colon.rkt")
 
 (provide (for-syntax class-clause
                      clause

typed-racket-lib/typed-racket/base-env/class-prims.rkt

@@ -2,26 +2,25 @@
 
 ;; This module provides TR primitives for classes and objects
 
-(require (prefix-in untyped: racket/class)
-         "class-clauses.rkt"
-         "colon.rkt"
+(require (for-syntax racket/base
+                     racket/class
+                     racket/list
+                     racket/match
+                     racket/syntax
+                     syntax/kerncase
+                     syntax/parse
+                     syntax/stx
+                     "../private/syntax-properties.rkt"
+                     "../typecheck/internal-forms.rkt"
+                     "../utils/disarm.rkt"
+                     "../utils/tc-utils.rkt"
+                     "annotate-classes.rkt")
+         (prefix-in untyped: racket/class)
+         (only-in "prims.rkt" (define tr:define))
          "../private/class-literals.rkt"
          "../utils/typed-method-property.rkt"
-         (only-in "prims.rkt" [define tr:define])
-         (for-syntax
-          racket/base
-          racket/class
-          racket/list
-          racket/match
-          racket/syntax
-          syntax/kerncase
-          syntax/parse
-          syntax/stx
-          "../typecheck/internal-forms.rkt"
-          "annotate-classes.rkt"
-          "../private/syntax-properties.rkt"
-          "../utils/disarm.rkt"
-          "../utils/tc-utils.rkt"))
+         "class-clauses.rkt"
+         "colon.rkt")
 
 (provide ;; Typed class macro that coordinates with TR
          class