Re: [Chicken-hackers] [PATCH][5] numbers integration

[Felix Winkelmann]

> The scrutinizer doesn't seem to see that j is an integer, even though
> "lp" is not escaping, and is only invoked in one place, with an integer.
> I would have expected it to at least figure out it is a "number", but
> that doesn't seem to be the case.  Of course, it would be even better if
> it could be made to understand it can only be a fixnum, but that would
> require tricky range analysis, whereas this immediate problem requires
> only simple types as they are available right now.

Scrutiny doesn't work across procedure-calls, it is a purely local
analysis.


felix