~ chicken-core (chicken-5) 6bc8d8b5d1fba1881b95bb16ebc261eb78128bcf
commit 6bc8d8b5d1fba1881b95bb16ebc261eb78128bcf Author: megane <meganeka@gmail.com> AuthorDate: Thu Jun 20 11:22:02 2019 +0300 Commit: Peter Bex <peter@more-magic.net> CommitDate: Fri Jun 21 22:21:57 2019 +0200 * types.db (min , max): Refine return type for float, fixnum arguments Signed-off-by: Peter Bex <peter@more-magic.net> 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)Trap