[Grace-core] Semantics of def/variable access

[James Noble]

> 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.

OK... 

> 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.  

I don't see why they *shadowing* rule applies here.
If the method is inherited, then the overriding rules apply.
As Kim said, another simple rule we probably want anyway
is to prohibit overrides that reduce visibility. 

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


perhaps

J