chicken-janitors
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


From: Chicken Trac
Subject: [Chicken-janitors] #1430: local binding should not trigger scritinizer warning
Date: Wed, 13 Dec 2017 10:58:13 -0000

#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
 Keywords:               |  Estimated difficulty:  hard
-------------------------+-------------------------------
 In `tests/syntax-tests.scm`, the following warning is produced:

 {{
 "  (syntax-tests.scm:412) in procedure call to `chicken.base#exit',
 expected argument #1 of type `fixnum' but was given an argument of type
 `false"'
 }}

 `exit` is a local variable (an exit procedure from a `loop` macro. Either
 hygiene is not properly handled here, or the scrutinizer mistakes a local
 binding of `exit` for the global one (`chicken.base#exit`).

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]