[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
way.
Maybe `fixnum-arithmetic` is still broken, though.
--
Ticket URL: <https://bugs.call-cc.org/ticket/1604#comment:2>
CHICKEN Scheme <https://www.call-cc.org/>
CHICKEN Scheme is a compiler for the Scheme programming language.