Hi,

Here's a small one.

>From 3fdf88e06876a0c2afd3c69f8073ee32f5429064 Mon Sep 17 00:00:00 2001
From: megane <[email protected]>
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 mailing list
[email protected]
https://lists.nongnu.org/mailman/listinfo/chicken-hackers

Reply via email to