Re: generic packages and dispatched operations

["Marc A. Criley" <mcqnet@earthlink.net>]

Georg Bauhaus wrote:

>      4. package CUpper is new Upper(Character);
>         |
>         >>> warning: instantiation of "upper" may raise Program_Error
>         >>> warning: missing pragma Elaborate_All for "upper"
> 
> Don't rely on what I say, but cupper.ads looks like
> a package spec (at least that is what gnatchop says)
> but is just an instantiation, "new Upper(Character)".
> Checking with the syntax given in RM 7.1(3) I'm missing
> the "end", e.g..
> 
> So, with warnings on, you get more than a silent
> compilation and some hints.   Still I'm not sure
> wether the code is correct.  More votes?
> 

No need to vote, here's the facts:  A stand-alone instantiation is a
perfectly legal Ada unit.  For example, here's the entirety of the
predefined Ada.Integer_Text_IO unit:

---------------------------------------------
with Ada.Text_IO;

package Ada.Integer_Text_IO is
  new Ada.Text_IO.Integer_IO (Integer);
---------------------------------------------

As a matter of fact, even a "package renaming" is a legal unit--here's
Text_IO:

---------------------------------------------
with Ada.Text_IO;

package Text_IO renames Ada.Text_IO;
---------------------------------------------


Marc A. Criley
Senior Staff Engineer
Quadrus Corporation
www.quadruscorp.com