Re: generics with multiple constraints

Felix Breuer wrote:
> Hello everyone,
>
> suppose I want to create a generic class
>
>   A [B -> COMPARABLE  & HASHABLE]
>
> meaning that I want cl***** 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]

Damian