Skip to content

Commit

Permalink
Automated Resyntax fixes (#562)
Browse files Browse the repository at this point in the history
This is an automated change generated by Resyntax.

#### Pass 1

Applied 1 fix to [`module/binding.rkt`](../blob/HEAD/module/binding.rkt)

  * Line 8, `predicate/c-migration`: The `predicate/c` contract is less clear than a `->` contract and no longer improves performance.

Applied 1 fix to [`type/wrapper/binding.rkt`](../blob/HEAD/type/wrapper/binding.rkt)

  * Line 8, `predicate/c-migration`: The `predicate/c` contract is less clear than a `->` contract and no longer improves performance.

Applied 3 fixes to [`module/phase.rkt`](../blob/HEAD/module/phase.rkt)

  * Line 8, `predicate/c-migration`: The `predicate/c` contract is less clear than a `->` contract and no longer improves performance.
  * Line 12, `predicate/c-migration`: The `predicate/c` contract is less clear than a `->` contract and no longer improves performance.
  * Line 14, `predicate/c-migration`: The `predicate/c` contract is less clear than a `->` contract and no longer improves performance.

## Summary

Fixed 5 issues in 3 files.

  * Fixed 5 occurrences of `predicate/c-migration`

Co-authored-by: resyntax-ci[bot] <181813515+resyntax-ci[bot]@users.noreply.github.com>
  • Loading branch information
resyntax-ci[bot] authored Sep 23, 2024
1 parent b773f18 commit 8e02bfd
Show file tree
Hide file tree
Showing 3 changed files with 5 additions and 5 deletions.
2 changes: 1 addition & 1 deletion module/binding.rkt
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
(provide
(contract-out
[module-binding (-> module-path? phase? symbol? module-binding?)]
[module-binding? predicate/c]
[module-binding? (-> any/c boolean?)]
[module-binding-source (-> module-binding? module-path?)]
[module-binding-name (-> module-binding? symbol?)]
[module-binding-phase (-> module-binding? phase?)]
Expand Down
6 changes: 3 additions & 3 deletions module/phase.rkt
Original file line number Diff line number Diff line change
Expand Up @@ -5,13 +5,13 @@
(provide
(contract-out
[phase (-> (or/c exact-integer? #f) phase?)]
[phase? predicate/c]
[phase? (-> any/c boolean?)]
[phase-level (-> phase? (or/c exact-integer? #f))]
[phase-shift (-> phase? exact-integer? phase?)]
[label-phase label-phase?]
[label-phase? predicate/c]
[label-phase? (-> any/c boolean?)]
[execution-phase (-> exact-integer? execution-phase?)]
[execution-phase? predicate/c]
[execution-phase? (-> any/c boolean?)]
[execution-phase-level (-> execution-phase? exact-integer?)]
[execution-phase-shift (-> execution-phase? exact-integer? execution-phase?)]
[runtime-phase execution-phase?]
Expand Down
2 changes: 1 addition & 1 deletion type/wrapper/binding.rkt
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
(provide
wrapper-id
(contract-out
[wrapper-binding? predicate/c]
[wrapper-binding? (-> any/c boolean?)]
[wrapper-binding-type (-> wrapper-binding? wrapper-type?)]
[wrapper-binding-descriptor (-> wrapper-binding? identifier?)]
[wrapper-binding-predicate (-> wrapper-binding? identifier?)]
Expand Down

0 comments on commit 8e02bfd

Please sign in to comment.