[Guile-commits] 04/05: Tighten up untag-fixnum range

[Andy Wingo]

wingo pushed a commit to branch master
in repository guile.

commit 96d1cff8027b4a20041da9d73cbdb9a22de47428
Author: Andy Wingo <address@hidden>
Date:   Tue Nov 28 22:21:40 2017 +0100

    Tighten up untag-fixnum range
    
    * module/language/cps/types.scm (untag-fixnum): Tighten up range.
---
 module/language/cps/types.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/module/language/cps/types.scm b/module/language/cps/types.scm
index 4ccdb85..dd2206b 100644
--- a/module/language/cps/types.scm
+++ b/module/language/cps/types.scm
@@ -952,7 +952,7 @@ minimum, and maximum."
   (define! result &s64 param param))
 
 (define-type-inferrer (untag-fixnum scm result)
-  (define! result &s64 (&min/s64 scm) (&max/s64 scm)))
+  (define! result &s64 (&min/fixnum scm) (&max/fixnum scm)))
 
 (define-type-inferrer (tag-fixnum s64 result)
   (define! result &fixnum (&min/fixnum s64) (&max/fixnum s64)))