[e-lang] A solution for overriding __getAllegedType

[Mark S. Miller]

This is in reply to old e-lang message
http://www.eros-os.org/pipermail/e-lang/2006-May/011299.html
Quoted in it entirety.

Kevin Reid wrote:
> 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?


No it does not. I agree that it should. This issue is now bug
https://sourceforge.net/tracker/index.php?func=detail&aid=1527173&group_id=75274&atid=551529


-- 
Text by me above is hereby placed in the public domain

     Cheers,
     --MarkM