Skip to content

Automated Resyntax fixes #1395

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
wants to merge 1 commit into from
Closed

Automated Resyntax fixes #1395

wants to merge 1 commit into from

Conversation

resyntax-ci[bot]
Copy link
Contributor

@resyntax-ci resyntax-ci bot commented Sep 27, 2024

This is an automated change generated by Resyntax.

Pass 1

Applied 5 fixes to typed-racket-lib/typed-racket/static-contracts/constraints.rkt

  • Line 184, single-clause-match-to-match-define: This match expression can be simplified using match-define.
  • Line 192, single-clause-match-to-match-define: This match expression can be simplified using match-define.
  • Line 200, single-clause-match-to-match-define: This match expression can be simplified using match-define.
  • Line 207, single-clause-match-to-match-define: This match expression can be simplified using match-define.
  • Line 223, single-clause-match-to-match-define: This match expression can be simplified using match-define.

Applied 2 fixes to typed-racket-lib/typed-racket/static-contracts/structures.rkt

  • Line 126, single-clause-match-to-match-define: This match expression can be simplified using match-define.
  • Line 130, single-clause-match-to-match-define: This match expression can be simplified using match-define.

Applied 2 fixes to typed-racket-lib/typed-racket/static-contracts/instantiate.rkt

  • Line 5, tidy-require: Keep imports in require sorted and grouped by phase, with collections before files.
  • Line 147, single-clause-match-to-match-define: This match expression can be simplified using match-define.

Pass 2

Applied 1 fix to typed-racket-lib/typed-racket/static-contracts/constraints.rkt

  • Line 230, single-clause-match-to-match-define: This match expression can be simplified using match-define.

Summary

Fixed 10 issues in 3 files.

  • Fixed 9 occurrences of single-clause-match-to-match-define
  • Fixed 1 occurrence of tidy-require

This is an automated change generated by Resyntax.

#### Pass 1

Applied 5 fixes to [`typed-racket-lib/typed-racket/static-contracts/constraints.rkt`](../blob/HEAD/typed-racket-lib/typed-racket/static-contracts/constraints.rkt)

  * Line 184, `single-clause-match-to-match-define`: This `match` expression can be simplified using `match-define`.
  * Line 192, `single-clause-match-to-match-define`: This `match` expression can be simplified using `match-define`.
  * Line 200, `single-clause-match-to-match-define`: This `match` expression can be simplified using `match-define`.
  * Line 207, `single-clause-match-to-match-define`: This `match` expression can be simplified using `match-define`.
  * Line 223, `single-clause-match-to-match-define`: This `match` expression can be simplified using `match-define`.

Applied 2 fixes to [`typed-racket-lib/typed-racket/static-contracts/structures.rkt`](../blob/HEAD/typed-racket-lib/typed-racket/static-contracts/structures.rkt)

  * Line 126, `single-clause-match-to-match-define`: This `match` expression can be simplified using `match-define`.
  * Line 130, `single-clause-match-to-match-define`: This `match` expression can be simplified using `match-define`.

Applied 2 fixes to [`typed-racket-lib/typed-racket/static-contracts/instantiate.rkt`](../blob/HEAD/typed-racket-lib/typed-racket/static-contracts/instantiate.rkt)

  * Line 5, `tidy-require`: Keep imports in `require` sorted and grouped by phase, with collections before files.
  * Line 147, `single-clause-match-to-match-define`: This `match` expression can be simplified using `match-define`.

#### Pass 2

Applied 1 fix to [`typed-racket-lib/typed-racket/static-contracts/constraints.rkt`](../blob/HEAD/typed-racket-lib/typed-racket/static-contracts/constraints.rkt)

  * Line 230, `single-clause-match-to-match-define`: This `match` expression can be simplified using `match-define`.

## Summary

Fixed 10 issues in 3 files.

  * Fixed 9 occurrences of `single-clause-match-to-match-define`
  * Fixed 1 occurrence of `tidy-require`
(contract-restrict v rec (set-add constraints con)))]))
(match-define (contract-restrict v rec constraints) cr)
(define con (constraint v max))
(if (trivial-constraint? con) cr (contract-restrict v rec (set-add constraints con))))
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Another instance of sorawee/fmt#75.

Comment on lines -228 to +223
(for/fold ([bvals '()] [ubids (make-immutable-free-id-table)])
(for/fold ([bvals '()]
[ubids (make-immutable-free-id-table)])
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This shouldn't have been reformatted, see jackfirth/resyntax#333.

@jackfirth
Copy link
Contributor

Closing this one in preference of making larger pull requests instead.

@jackfirth jackfirth closed this Oct 5, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant