Re: Instantiating generics

From: Albert <weeper_MATEMLSPAM_@menta.net>
Subject: Re: Instantiating generics
Date: Wed, 10 Dec 2003 11:36:58 +0100
Date: 2003-12-10T11:36:58+01:00	[thread overview]
Message-ID: <pan.2003.12.10.10.36.56.839273@menta.net> (raw)
In-Reply-To: RXiBb.5057$4t2.4635@bignews4.bellsouth.net

On Tue, 09 Dec 2003 06:10:20 -0600, David C. Hoos wrote:

> We would be more able to help you if you told us what the
> problem is -- e.g., what error message did you get from the
> compiler?

Yes, of course, i'm sorry about that....

albert@itaka:~/Ada/practica$ gnatmake demostration.adb
gnatgcc -c demostration.adb
demostration.adb:8:18: warning: not dispatching  (must be defined in a package spec)
demostration.adb:13:09: missing actual for instantiation of "Is_Valid"
demostration.adb:13:09: instantiation abandoned
gnatmake: "demostration.adb" compilation error

Albert

> 
> "Albert" <weeper_MATEMLSPAM_@menta.net> wrote in message
> news:pan.2003.12.09.10.02.31.801470@menta.net...
>> I'm trying to instantiate the Queue_Manager_1 example from 12.3
>> Ada Distillier, the problem is the function Is_Valid.
>>
>> with Queue_Manager_1;
>>
>> procedure Demostration is
>> type O_Positive is tagged
>> record
>> Val:Positive;
>> end record;
>> function Is_Valid(Data:O_Positive) return Boolean is
>> begin
>> return True;
>> end Is_Valid;
>> package QMP is new Queue_Manager_1(Element=>O_Positive);
>> begin
>> null;
>> end Demostration;
>>
>>
>> Can anyone help meï¿½.
>> thanks
>>
>> Albert
>>
>>
>> _______________________________________________
>> comp.lang.ada mailing list
>> comp.lang.ada@ada-france.org
>> http://www.ada-france.org/mailman/listinfo/comp.lang.ada
>>
>>