wingo pushed a commit to branch master in repository guile. commit 96d1cff8027b4a20041da9d73cbdb9a22de47428 Author: Andy Wingo <wi...@pobox.com> 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)))