piggyback $+ signature in primdata.ss´

cisco · Feb 5, 2025 · eaeae92 · eaeae92
1 parent 7d7e1b3
commit eaeae92
Showing 1 changed file with 7 additions and 7 deletions.
diff --git a/s/primdata.ss b/s/primdata.ss
@@ -2017,13 +2017,13 @@
   ($fixmediate [sig [(ptr) -> (ptr)]] [flags pure discard])
   ($flvector-ref-check? [sig [(ptr ptr) -> (boolean)]] [flags unrestricted pure])
   ($flvector-set!-check? [sig [(ptr ptr) -> (boolean)]] [flags unrestricted discard])
-  ($<= [flags single-valued])
-  ($< [flags single-valued])
-  ($= [flags single-valued])
-  ($- [flags single-valued])
-  ($/ [flags single-valued])
-  ($* [flags single-valued])
-  ($+ [flags single-valued])
+  ($<= [sig [(who number number) -> (boolean)]] [flags pure discard safeongoodargs])
+  ($< [sig [(who number number) -> (boolean)]] [flags pure discard safeongoodargs])
+  ($= [sig [(who number number) -> (boolean)]] [flags pure discard safeongoodargs])
+  ($- [sig [(who number number) -> (number)]] [flags arith-op safeongoodargs])
+  ($/ [sig [(who number number) -> (number)]] [flags arith-op])
+  ($* [sig [(who number number) -> (number)]] [flags arith-op safeongoodargs])
+  ($+ [sig [(who number number) -> (number)]] [flags arith-op safeongoodargs])
   ($fleqv? [sig [(flonum flonum) -> (boolean)]] [flags pure mifoldable safeongoodargs])
   ($flhash [flags single-valued])
   ($flonum->digits [flags single-valued])