On Sun, May 03, 2009 at 08:20:17PM +0200, Moritz Lenz wrote:
: If I understood the specs correctly, variables can be lifted, so you can
: write
: 
: sub f() {lift $a + $b};
: {
:     my $a is context = 3;
:     my $b is context = 4;
:     say f();
: }
: 
: Is that correct?

I think so.

: And if yes, do these variables need to be context variables?

Excellent question.  I think the conservative thing to say is "yes",
but it's possible that the lift mechanism can't easily distinguish,
unless it happens to use the same lookup that context vars use.
But if we don't require the context declaration, it basically gives
any called routine carte blanche on modifying your variables, which
is probably a bad thing.

So leave it in for now, I guess.

Larry

Reply via email to