From 4328b3acdb6db1e90a7c1630f2d983348343192d Mon Sep 17 00:00:00 2001
From: yjqww6 <343519265@qq.com>
Date: Fri, 26 Mar 2021 15:07:51 +0800
Subject: [PATCH] fix signatures of `$fx+?` and `$fx-?`

---
 racket/src/ChezScheme/s/primdata.ss | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/racket/src/ChezScheme/s/primdata.ss b/racket/src/ChezScheme/s/primdata.ss
index 410dd45208..6c7c88324f 100644
--- a/racket/src/ChezScheme/s/primdata.ss
+++ b/racket/src/ChezScheme/s/primdata.ss
@@ -2147,10 +2147,10 @@
   ($ftype-guardian-oops [flags])
   ($ftype-pointer? [sig [(ptr) -> (boolean)]] [flags pure unrestricted mifoldable])
   ($fxaddress [flags single-valued unrestricted alloc])
-  ($fx-? [sig [(maybe-fixnum maybe-fixnum) -> (maybe-fixnum)]] [flags pure]) ; not boolean
+  ($fx-? [sig [(ptr ptr) -> (maybe-fixnum)]] [flags unrestricted pure]) ; not boolean
   ($fx/ [flags single-valued])
   ($fx* [flags single-valued])
-  ($fx+? [sig [(maybe-fixnum maybe-fixnum) -> (maybe-fixnum)]] [flags pure]) ; not boolean
+  ($fx+? [sig [(ptr ptr) -> (maybe-fixnum)]] [flags unrestricted pure]) ; not boolean
   ($fxu< [flags single-valued pure cp02])
   ($fxvector-ref-check? [sig [(ptr ptr) -> (boolean)]] [flags unrestricted pure])
   ($fxvector-set!-check? [sig [(ptr ptr) -> (boolean)]] [flags unrestricted discard])