Re: [Chicken-janitors] #1619: Specialization ignores fixnum mode, leading to suboptimal code

[Chicken Trac]

#1619: Specialization ignores fixnum mode, leading to suboptimal code
---------------------------------+-------------------
            Reporter:  sjamaan   |      Owner:
                Type:  defect    |     Status:  new
            Priority:  minor     |  Milestone:  5.2
           Component:  compiler  |    Version:  5.0.0
          Resolution:            |   Keywords:
Estimated difficulty:            |
---------------------------------+-------------------

Comment (by megane):

 Perhaps replace the types.db entries with something like this when in
 fixnum mode:
 {{{
 (scheme#+ (#(procedure #:pure #:enforce #:foldable) scheme#+ (#!rest
 fixnum) fixnum)
           (() '0)
           ((fixnum) #(1)))
 }}}

 This would remove the specializations **and** help the scrutinizer/user.

--
Ticket URL: <https://bugs.call-cc.org/ticket/1619#comment:1>
CHICKEN Scheme <https://www.call-cc.org/>
CHICKEN Scheme is a compiler for the Scheme programming language.