[Grace-core] Super-Outer-Objects: What does your language (gBeta/Newspeak/Scala/Java…) do with this? What should Grace do?

[James Noble]

On 20/11/2012, at 06:35 AM, Andrew P. Black wrote:

> Here's what I think Grace should do, and why.
> ...
> Hence, line 15 and 16 both print "A-pathological".
> So C.pathological prints "C-pathological", whereas C.foo requests the foo method on line 6, which in turn requests A.pathological, which prints  "A-pathological".

which again are the same semantics as Scala and Java, and consistent with the Newspeak spec.

On 21/11/2012, at 08:56 AM, Kim Bruce wrote:

> I agree with Andrew's answers and reasoning.  The call of "pathological in B's foo method is really outer.pathological, which is statically bound to A.pathological.

Good!  I think I'm *mostly* OK with this.  I think the semantics are quite explicable.

J