Skip to content

Conversation

resyntax-ci[bot]
Copy link
Contributor

@resyntax-ci resyntax-ci bot commented Jun 1, 2025

Resyntax fixed 20 issues in 5 files.

  • Fixed 5 occurrences of let-to-define
  • Fixed 3 occurrences of cond-let-to-cond-define
  • Fixed 3 occurrences of hash-for-each-to-for
  • Fixed 2 occurrences of if-let-to-cond
  • Fixed 2 occurrences of for-each-to-for
  • Fixed 2 occurrences of map-to-for
  • Fixed 1 occurrence of flat-contract-migration
  • Fixed 1 occurrence of display-and-newline-to-displayln
  • Fixed 1 occurrence of if-begin-to-cond

resyntax-ci bot added 9 commits June 1, 2025 00:13
Internal definitions are recommended instead of `let` expressions, to reduce nesting.
The `displayln` function can be used to display a value with a newline after it.
Internal definitions are recommended instead of `let` expressions, to reduce nesting.
This `map` operation can be replaced with a `for/list` loop.
This `for-each` operation can be replaced with a `for` loop.
Using `cond` instead of `if` here makes `begin` unnecessary
This `hash-for-each` operation can be replaced with a `for` loop.
`cond` with internal definitions is preferred over `if` with `let`, to reduce nesting
flat-contract is a legacy form for constructing contracts from predicates; predicates can be used directly as contracts now.
(define is-module?
(syntax-case sexp (module)
[(module . rest
)
Copy link
Member

Choose a reason for hiding this comment

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

this doesn't seem good.

Copy link
Member

Choose a reason for hiding this comment

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

@sorawee is this your department?

Copy link
Contributor

Choose a reason for hiding this comment

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

Yes :/. This particular instance should be easy to fix.

15))]
["??"])))
frames))
(define trimmed-lengths (map add1 (map string-length trimmed-exprs)))
Copy link
Member

Choose a reason for hiding this comment

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

looks like trimmed-lengths also isn't used.

@rfindler
Copy link
Member

rfindler commented Jun 2, 2025

If someone wants to fix the two things above and merge, that's okay with me.

@rfindler rfindler closed this in be49042 Jun 8, 2025
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.

2 participants