chicken-hackers
[Top][All Lists]
Advanced

[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


reply via email to

[Prev in Thread] Current Thread [Next in Thread]