On Sun, 20 Nov 2016, Sven Schreiber wrote:
Am 20.11.2016 um 20:35 schrieb Allin Cottrell:
> On Sun, 20 Nov 2016, Sven Schreiber wrote:
>> So you don't think it's a bug? I mean the 'return' statement
_is_
>> inside the loop where the loop index is declared.
>
> OK, I think that point should carry it. But perhaps, before I try to fix
> that particular issue, we should consider whether the policy of making a
> non-predeclared loop index local to the loop is sound and consistent
> with other aspects of hansl.
In all generality, I don't know. To me personally it has never occurred to
use the loop index outside the loop (well, except in the next loop, again as
the index).
OK, for now I've left things as they are, except that an automatic
loop-index scalar is available as a function return value (for a
"return" statement within the loop). The case where the return value
is a function of such an index should also be handled. That's in
git; snapshots will follow tomorrow.
Allin