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

[Chicken Trac]

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

Comment (by sjamaan):

 I'm not so sure that the arity is "clearly wrong", because it would be
 equally incorrect to give a warning when calling the procedure with zero
 arguments; the procedure might accept zero arguments (if the first
 alternative is used).

 Perhaps the best we can do is not to simplify/merge the procedure, but
 just keep the {{{or}}}? I don't know what the impact of that would be
 though.

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