Re: Generic warning

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Tue, 17 Jun 2008 16:44:10 +0000, S�bastien Morand wrote:

> When I create an instance of the package using the following code:
> 
>  9   package IT is new SCMAL.Tools.BTrees(
> 10      Element => Integer,
> 11      Element_Null => 0,
> 12      Key => Integer,

As a guess, there could be a conflict upon instantiation when Element and
Key are the same type. I had once such a problem. GNAT always had problems
with generics.

> Where theses warnings come from? How to correct my code?

Maybe it is just a compiler bug. But you should post a complete compilable
code.

> Is there a way to avoid to take the default "<" and ">" function?

I don't see you using defaults for the formal parameters "<" and ">". You
have:

   with function "<"(k1: in Key; k2: in Key) return Boolean;
   with function ">"(k1: in Key; k2: in Key) return Boolean;

not

   with function "<"(k1: in Key; k2: in Key) return Boolean is <>;
   with function ">"(k1: in Key; k2: in Key) return Boolean is <>;

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de