[ansi-test-devel] Intention to commit

[Erik Huelsmann]

Hi Sam,

On Tue, Oct 6, 2009 at 3:43 PM, Sam Steingold <sds at gnu.org> wrote:
> Hi,
>
> On Tue, Oct 6, 2009 at 2:08 AM, Erik Huelsmann <ehuels at gmail.com> wrote:
>>
>> I'm writing this mail to announce I'm intending to commit Tobias'
>> changes this weekend.
>
> I thought he committed his changes himself.
>
>> I'm also planning to create a test case out of
>> http://paste.lisp.org/display/88240 and commit that.
>
> the snippet looks like a randomly generated code.
> what is it trying to test?

It tests the correct handling of scoping of BLOCK and TAGBODY in
relation to non-local transfers of control: escaping closures should
detect that the extent of the related TAGBODY or BLOCK has ended
instead of unwinding the stack to some random position from where
processing might continue. Same with recursive calls: GO/RETURN-FROM
should jump to the lexical environment in which the closure was
created, not jump to the closest tagbody on the stack.

This bit of documentation should probably be included; it took Brian
Mastenbrook several tries to get the snippet exactly right.

>> SBCL, CCL and
>> ABCL pass. No idea about other implementations.
>
> clisp passes too.

To be honest: ABCL didn't pass until this weekend.


Bye,

Erik.