[Top][All Lists]

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

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

From: Felix Winkelmann
Subject: Re: [Chicken-hackers] [PATCH][5] numbers integration
Date: Sun, 15 Feb 2015 23:49:54 +0100 (CET)

> 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


reply via email to

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