Re: Instanciation in a package spec.

["Jean-Pierre Rosen" <rosen@adalog.fr>]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 966 bytes --]


"Robert A Duff" <bobduff@shell01.TheWorld.com> a �crit dans le message de news: wccn0lsvth6.fsf@shell01.TheWorld.com...
> "Jean-Pierre Rosen" <rosen@adalog.fr> writes:
> > Since the body of the instance is elaborated at the point of instanciation, the body of the
> > generic has better been elaborated already....
>
> I understand the *need* for the rule in Ada.  But it's still an annoying
> restriction.  It's perfectly reasonable to want to export a generic and
> an instance of that generic from the same package.  But Ada's
> elaboration model prevents it.
>
If you make the instance a child (and put a pragma Elaborate_Body in the parent's spec),
then it's OK.

Of course, you won't be able to use it from the body of the parent, but if you put it
in a visible part, it's presumabely for external use.

--
---------------------------------------------------------
           J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr