[Grace-core] NS inheritance cannot work for grace

[kjx]

> A system where methods become inheritable or not based on the values of their arguments seems dubious to me.

:-) 

> (if I can override “random”, evil is no longer reliable). 

so I should've said I was assuming random here was a module.
Although (modulo types & exceptions) it's not clear it matters what
that expression does, so long as it returns a boolean.

>    def x = object {
>        method p { object { } }
>    }
>    method parent(o) { o.p }
>    object { inherit parent(x) }

perhaps. 
arguably, at the top level of a module, this may well meet the definition of inheritable / manifest.
If you can't override x or parent(_), why is this much worse than

object { inherit x.p } 


> It also pushes the “cannot be overridden” criterion deeply through the entire potential call stack

not sure I follow this.

> Otherwise, yes.

Umm OK. 

James