Re: generics with multiple constraints

Damian D. wrote:

> 
> Felix Breuer wrote:
>> Hello everyone,
>>
>> suppose I want to create a generic class
>>
>>   A [B -> COMPARABLE  & HASHABLE]
>>
>> meaning that I want classes B that can act as a parameter to A
>> to descend from both COMPARABLE and HASHABLE. How can I
>> achieve this? Eiffel's syntax seems to allow only one constraint per
>> formal parameter. Is there some workaround? This looks like a fairly
>> standard situation to me, so maybe someone encountered this
>> before?
> 
> I do no know the ISE Eiffel class library but I suggest to create a
> class X inheriting COMPARABLE and HASHABLE and use A [B->X]
> 

This would not really solve the problem because then A[INTEGER] would
be illegal, INTEGER not beeing a heir of X.

-- 
Gerald Hammer