From: Duncan Sands <baldrick@free.fr>
To: okellogg@freenet.de (Oliver Kellogg), comp.lang.ada@ada-france.org
Subject: Re: Actual subprogram and generic instantiation in same unit
Date: Mon, 27 Oct 2003 14:20:30 +0100
Date: 2003-10-27T14:20:30+01:00 [thread overview]
Message-ID: <mailman.227.1067260813.25614.comp.lang.ada@ada-france.org> (raw)
In-Reply-To: <6a6390b8.0310270433.6b916549@posting.google.com>
On Monday 27 October 2003 13:33, Oliver Kellogg wrote:
> To my amazement the following compiles:
>
> -- file: inst.ads
> with Generic_Package; -- takes a parameterless generic formal procedure P
>
> package Lump is
>
> procedure Manipulate;
>
> package Instantiation is new Generic_Package (P => Manipulate);
>
> end Lump;
>
>
> Poor compiler has to instantiate a package using a procedure
> whose body it has not yet seen...
Why should that be a problem? After all, it has all the information it needs
to generate calls to the procedure.
Duncan.
next prev parent reply other threads:[~2003-10-27 13:20 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-10-27 12:33 Actual subprogram and generic instantiation in same unit Oliver Kellogg
2003-10-27 13:20 ` Duncan Sands [this message]
2003-10-30 13:35 ` Oliver Kellogg
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox