From 8e02bfdb141bec5fb3e5aaaf722ac50fd56be749 Mon Sep 17 00:00:00 2001
From: "resyntax-ci[bot]" <181813515+resyntax-ci[bot]@users.noreply.github.com>
Date: Sun, 22 Sep 2024 19:16:26 -0700
Subject: [PATCH] Automated Resyntax fixes (#562)

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>
---
 module/binding.rkt       | 2 +-
 module/phase.rkt         | 6 +++---
 type/wrapper/binding.rkt | 2 +-
 3 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/module/binding.rkt b/module/binding.rkt
index c016e904..e994f1d1 100644
--- a/module/binding.rkt
+++ b/module/binding.rkt
@@ -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?)]
diff --git a/module/phase.rkt b/module/phase.rkt
index ecd02247..fd2b264c 100644
--- a/module/phase.rkt
+++ b/module/phase.rkt
@@ -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?]
diff --git a/type/wrapper/binding.rkt b/type/wrapper/binding.rkt
index eb1b2e3c..ceb7dadc 100644
--- a/type/wrapper/binding.rkt
+++ b/type/wrapper/binding.rkt
@@ -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?)]