Re: Booch Components 20020117

[Stephen Leake <stephen.a.leake.1@gsfc.nasa.gov>]

"Matthew Heaney" <mheaney@on2.com> writes:

> "Simon Wright" <simon@pushface.org> wrote in message
> news:x7vlmeuddd6.fsf@smaug.pushface.org...
> >     The way Storage Management is specified has changed significantly:
> >     you now supply a single generic parameter of type
> >     System.Storage_Pools.Root_Storage_Pool'Class. This will be painful
> >     to start with, but should simplify matters in the long run.
> 
> I had trouble doing this:
> 
> package Pools is
>    type Pool_Type is new Root_Storage_Pool with record ...;
>    Pool : Pool_Type;
> end;
> 
> generic
>    Pool : in out Root_Storage_Pool'Class;
> package GP is
> 
> 
> with Pools;
> package P is new GP (Pools.Pool);
> 
> The compiler complained that my Pool object wasn't the correct type.  How
> are you instantiating your generics which accept a generic formal pool
> object?

This got me too. You have to do:

Pool => System.Storage_Pools.Root_Storage_Pool'Class (Pools.Pool)

I thought it was a compiler bug, but both ObjectAda and GNAT agree on
it. I never submitted a report. I didn't chase it down in the LRM,
since it works :).


-- 
-- Stephe