Re: [Chicken-janitors] #1399: Scrutinizer produces incorrect procedure types after merge

[Chicken Trac]

#1399: Scrutinizer produces incorrect procedure types after merge
------------------------------------+----------------------
            Reporter:  LemonBoy     |      Owner:  evhan
                Type:  defect       |     Status:  assigned
            Priority:  major        |  Milestone:  4.13.0
           Component:  scrutinizer  |    Version:  4.12.0
          Resolution:               |   Keywords:
Estimated difficulty:  medium       |
------------------------------------+----------------------

Comment (by evhan):

 On what version are you seeing this? The current behaviour in both master
 and 4.12.0 is, as far as I can tell, to simplify `(or (procedure a (#!rest
 *) noreturn) (procedure b (* #!rest *) . *))` into `(procedure (#!rest) .
 *)`, which is correct.

 Is there a specific way to trigger this bug, and if so can you share?

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