Re: Problem with generic linked list package

[Shark8 <OneWingedShark@gmail.com>]

On 09-Aug-14 08:32, Laurent wrote:
>     with function "<"(Left, Right : Element) return Boolean is <>;
>     with function "="(Left, Right : Element) return Boolean is <>;
>
> There is no "<" and "=" defined for Element_Type, normally. So the "<>"
> seems to do the trick but why?
> The box tells the compiler that it will get the info it needs later.
> But in this case there is no later, isn't it?

Nope; the "is <>" tells the compiler that the function named doesn't 
have to be explicitly named in the instantiation *if it is visible*.

This means that the above 'automatically' uses "<" and '=' at the point 
of instantiation (if there's a conformant function that's visible).