[e-lang] A solution for overriding __getAllegedType

[Kevin Reid]

Kevin Reid <kpreid at mac.com> wrote:
>    to __getAllegedType() :any {
>      return __mergeTypeDescs(
>        meta.context().getSource().asTypeDesc(),
>        switch (["__getAllegedType", []]) {
>          <repeat object's matchers here>
>          match _ { __emptyTypeDesc }
>        })
>    } 
...
> This reminds me: I need to implement __getAllegedType inheritance in
> E-on-CL.

I have now done so, and the result ended up being essentially the same
as the E fragment above, except that the object's matchers are a local
function so as not to be duplicated.

The '__mergeTypeDescs' above, however, remains an internal function
available to the compiler only. Does E-on-Java expose this operation?

-- 
Kevin Reid                            <http://homepage.mac.com/kpreid/>