From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!news.glorb.com!peer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!post01.iad.highwinds-media.com!fx01.iad.POSTED!not-for-mail
From: Shark8 <OneWingedShark@gmail.com>
User-Agent: Mozilla/5.0 (Windows NT 6.1; Win64; x64;
 rv:30.0) Gecko/20100101 Thunderbird/30.0a1
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Problem with generic linked list package
References: <f78b375e-76fb-4742-95c5-3017baa8dc38@googlegroups.com>
 <85a97spo1c.fsf@stephe-leake.org>
 <92dd7d22-a7da-44d7-9c40-b3aa62881683@googlegroups.com>
 <d5f90b52-9056-4472-a3ea-9cfaeff248ad@googlegroups.com>
 <4f431041-5292-434d-988e-46d69f4800f8@googlegroups.com>
 <472a5732-3dc9-4c08-8bda-00720375a2a9@googlegroups.com>
 <e312c04f-778c-44cf-9032-6f390a5f4b20@googlegroups.com>
 <ee3343a8-90db-4f02-9591-5128fca7bc76@googlegroups.com>
 <8cc86d41-2c7e-42d7-b057-1f9f010d9002@googlegroups.com>
 <75864d79-609c-4e37-98d8-6b5f050ad59d@googlegroups.com>
In-Reply-To: <75864d79-609c-4e37-98d8-6b5f050ad59d@googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <W4uFv.853$hf.752@fx01.iad>
X-Complaints-To: abuse@teranews.com
NNTP-Posting-Date: Sat, 09 Aug 2014 18:51:34 UTC
Organization: TeraNews.com
Date: Sat, 09 Aug 2014 12:51:32 -0600
X-Received-Bytes: 1942
X-Received-Body-CRC: 1425086080
Xref: news.eternal-september.org comp.lang.ada:21622
Date: 2014-08-09T12:51:32-06:00
List-Id: <comp.lang.ada>

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).