[Iterate-devel] iterate on list bug?

[Joerg-Cyril.Hoehle at t-systems.com]

Gábor Balázs wrote:

>The bold lines should appear in reverse order, I think.
>       (IF (ATOM #:LIST214)
>           (GO LOOP-END-NIL))
>       (SETQ VAR #:LIST214)
You can't invert the order, because that would be a type violation.
Iterate may make use of types, see *declare-variables*.

Furthermore, the spec does not guarantee that value after the end of the iteration.
Quite to the contrary, it's explicitly disallowed. Quote:

"In all cases, the value of the driver variable on exit from the loop,
including within the epilogue code (see the finally clause), is
undefined."

Regards,
	Jörg Höhle