Re: [Chicken-janitors] #1430: local binding should not trigger scritinizer warning

[Chicken Trac]

#1430: local binding should not trigger scritinizer warning
------------------------------------+--------------------
            Reporter:  felix        |      Owner:
                Type:  defect       |     Status:  new
            Priority:  major        |  Milestone:  5.0
           Component:  scrutinizer  |    Version:  4.13.0
          Resolution:               |   Keywords:
Estimated difficulty:  hard         |
------------------------------------+--------------------

Comment (by sjamaan):

 I think the macro definition of {{{while0}}} is in the wrong; {{{exit}}}
 is supposed to be unhygienically introduced by {{{loop}}}, but {{{syntax-
 rules}}} references {{{exit}}} hygienically.

 This would originally have been the same because {{{exit}}} at toplevel
 was bound to a procedure directly, but that's more of an accident than
 intentional. So the macro(s?) will need to be rewritten to correctly refer
 to the intended {{{exit}}}.  This probably means we need to pass the exit
 identifier to {{{while0}}}, or turn {{{while0}}} into a low-level macro
 which refers to {{{exit}}}.

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