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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,5250e67f297ecd7
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-02-10 12:32:01 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!dispose.news.demon.net!news.demon.co.uk!demon!pogner.demon.co.uk!zap!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: Booch Components 20020117
Date: 10 Feb 2002 12:32:17 +0000
Organization: Pushface
Message-ID: <x7vd6zdv7ou.fsf@smaug.pushface.org>
References: <x7vlmeuddd6.fsf@smaug.pushface.org>
 <u63f4geekmpeb5@corp.supernews.com> <u8za5qqb1.fsf@gsfc.nasa.gov>
NNTP-Posting-Host: localhost
X-NNTP-Posting-Host: pogner.demon.co.uk:158.152.70.98
X-Trace: news.demon.co.uk 1013373107 nnrp-02:20765 NO-IDENT
 pogner.demon.co.uk:158.152.70.98
X-Complaints-To: abuse@demon.net
NNTP-Posting-Date: 10 Feb 2002 12:32:17 GMT
X-Newsreader: Gnus v5.7/Emacs 20.7
Xref: archiver1.google.com comp.lang.ada:19842
Date: 2002-02-10T12:32:17+00:00
List-Id: <comp.lang.ada>

Stephen Leake <stephen.a.leake.1@gsfc.nasa.gov> writes:

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

I'm afraid I agree with the smiley :-(

At one point I see i've used

   Pool : BC.Support.Managed_Storage.Pool (10_000);
   Pool_View : System.Storage_Pools.Root_Storage_Pool'Class
     renames System.Storage_Pools.Root_Storage_Pool'Class (Pool);

which is a tad longwinded, I agree.