Re: "stack" variable name misbehaving

Hi FL,

I see, it makes sense now, thank you, I should have consulted the manual first.

Do you consider having a translation error to guard against prohibited variable names?

I think it would be helpful for beginners/late night coders crazy enough to name their variable stack or other keywords :)

I'm happy to look at the code and contribute, if you think so too.

Thank you,

Balint

On Friday, 11 December 2015 09:49:56 UTC-5, fl wrote:

Hi Bálint,

the variable stack is used by PLUSCAL

See

http://research.microsoft.com/en-us/um/people/lamport/tla/c-manual.pdf

p. 59, 5th paragraph.

So your own use of this variable is highly suspicious.

--
FL