[Grace-core] Semantics of def/variable access

[Andrew P. Black]

I think that's it — and I think that it's the same as the semantics by translation that is on my slides form St Andrew's in May 2011.

On 14 Jul 2012, at 5:15, James Noble wrote:

>> Have I misunderstood anything here?
> 
> I think that's it -  presumably we need a rule saying 
> "private" variables cannot override anything...
> but that should be it

More precisely, that (1) a local or private variable z shadows an inherited method z.    Or  (2) that the no shadowing rule prohibits a private z.
(2) seems to defeat the purpose of private, but (1) is an exception to the now shadowing rule.  

Perhaps the no shadowing rule applies only in the lower language levels.

	Andrew