Re: generics with multiple constraints

none wrote:

> Gerald Hammer wrote:
>> Bernd Schoeller wrote:
>> 
>> 
>>>On Fri, 01 Sep 2006 00:00:17 +0200, Felix Breuer <felix@[EMAIL PROTECTED]
>
>>>wrote:
>>>
>>>>suppose I want to create a generic class
>>>>
>>>>  A [B -> COMPARABLE  & HASHABLE]
>>>>
[...]
>> 
>>>This is currently not possible and also conceptually not as easy as it
>>>seems: what is the static type of a variable declared 'b : B'? What are
>>>the features that can be called on it?
>>>
>> 
>> 
>> But the ECMA Standard allows constraint lists:
>> 
>>   A[B -> {C,D ...}]
>> 
>> where C,D ... are Types. And I suppose new compilers will sup****t
>> this construct.
>> 
> 
> I didn't know that the ECMA Standard authorized this kind of expression.
> In this case, how does B behave in front of feature collision between C
> and D ?

For example: A[B -> {C rename f as g, D rename f as h}]

-- 
Gerald Hammer