Re: which compiler is right?

["Randy Brukardt" <randy@rrsoftware.com>]

<Lionel.DRAGHI@fr.thalesgroup.com> wrote in message
news:mailman.104.1079549636.327.comp.lang.ada@ada-france.org...
...
> For the record, here is how I use those packages:
> I provide the concrete realization of Priority by renaming
> the one in the generic instantiation.
>
> with Pkg1;
> package Pkg3 is
>    type T_Event is new Pkg1.T_Event with null record;
>    function Priority (Event : in T_Event) return Natural;
> end Pkg3;
>
>
> with Pkg2;
> package body Pkg3 is
>    package Pkg2_Instanciation is new Pkg2 (T_Event);
>    function Priority (Event : in T_Event) return Natural
>       renames Pkg2_Instanciation.Priority;
> end Pkg3;

You don't need to have the same name of routine for this purpose, and it
probably would less confusing (both to language lawyers and to readers of
your code) if the name was different in the generic.

That is, if the generic looked like:

generic
    type T_Event (<>) is new Pkg1.T_Event with private;

package Pkg2 is
    function Priority_Implementation (Event : in T_Event) return Natural;
end Pkg2;

with Pkg2;
package body Pkg3 is
   package Pkg2_Instanciation is new Pkg2 (T_Event);
   function Priority (Event : in T_Event) return Natural
      renames Pkg2_Instanciation.Priority_Implementation;
end Pkg3;

gives you exactly what you want, without running into obscure language bugs.

               Randy.