[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Chicken-janitors] #1604: fixnum arithmetic is ignored

From: Chicken Trac
Subject: Re: [Chicken-janitors] #1604: fixnum arithmetic is ignored
Date: Wed, 10 Apr 2019 09:22:51 -0000

#1604: fixnum arithmetic is ignored
            Reporter:  sjamaan   |      Owner:
                Type:  defect    |     Status:  new
            Priority:  major     |  Milestone:  5.1
           Component:  compiler  |    Version:  5.0.0
          Resolution:            |   Keywords:
Estimated difficulty:  medium    |

Comment (by megane):

 The scrutinizer cannot handle recursion. The type of `fib` is `*` inside
 `fib`. This leads to the `+` being called with `*` arguments, so no
 specialization can happen.

 You can wrap the body of `fib` in `assume` with `fib` declared as `(fixnum
 -> fixnum)`. I get `C_a_i_fixnum_plus` specializations with master this

 Maybe `fixnum-arithmetic` is still broken, though.

Ticket URL: <>
CHICKEN Scheme <>
CHICKEN Scheme is a compiler for the Scheme programming language.

reply via email to

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