[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Chicken-hackers] [PATCH] * types.db (min , max): Refine return type for
From: |
megane |
Subject: |
[Chicken-hackers] [PATCH] * types.db (min , max): Refine return type for float, fixnum |
Date: |
Thu, 20 Jun 2019 11:44:24 +0300 |
User-agent: |
mu4e 1.0; emacs 25.1.1 |
Hi,
Here's a small one.
>From 3fdf88e06876a0c2afd3c69f8073ee32f5429064 Mon Sep 17 00:00:00 2001
From: megane <address@hidden>
Date: Thu, 20 Jun 2019 11:22:02 +0300
Subject: [PATCH] * types.db (min , max): Refine return type for float, fixnum
arguments
---
types.db | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/types.db b/types.db
index 59ea9250..608ee36a 100644
--- a/types.db
+++ b/types.db
@@ -283,12 +283,12 @@
((*) (##core#inline "C_i_negativep" #(1))))
(scheme#max (#(procedure #:clean #:enforce #:foldable) scheme#max (#!rest
number) number)
- ((fixnum fixnum) (chicken.fixnum#fxmax #(1) #(2)))
- ((float float) (##core#inline "C_i_flonum_max" #(1) #(2))))
+ ((fixnum fixnum) (fixnum) (chicken.fixnum#fxmax #(1) #(2)))
+ ((float float) (float) (##core#inline "C_i_flonum_max" #(1) #(2))))
(scheme#min (#(procedure #:clean #:enforce #:foldable) scheme#min (#!rest
number) number)
- ((fixnum fixnum) (chicken.fixnum#fxmin #(1) #(2)))
- ((float float) (##core#inline "C_i_flonum_min" #(1) #(2))))
+ ((fixnum fixnum) (fixnum) (chicken.fixnum#fxmin #(1) #(2)))
+ ((float float) (float) (##core#inline "C_i_flonum_min" #(1) #(2))))
(scheme#+ (#(procedure #:clean #:enforce #:foldable) scheme#+ (#!rest number)
number)
(() (fixnum) '0)
--
2.17.1
- [Chicken-hackers] [PATCH] * types.db (min , max): Refine return type for float, fixnum,
megane <=