Re: which compiler is right?

[Dmitry A. Kazakov <mailbox@dmitry-kazakov.de>]

On Tue, 16 Mar 2004 14:44:27 +0100, Lionel.DRAGHI@fr.thalesgroup.com
wrote:

>Could someone, please, tell me if this code compile with other compilers
>than GNAT and ObjectAda?
>Or even better, is ObjectAda right in rejecting it?
>
>Thanks in advance

package Pkg1 is
   type T_Event is abstract tagged null record;
   function Priority (Event : T_Event) return Natural is abstract;
end Pkg1;
-- ---------------------------------------------------------------
with Pkg1;
generic
   type T_Event (<>) is new Pkg1.T_Event with private;
package Pkg2 is
   function Priority (Event : in T_Event) return Natural;

Looks much like GNAT error. In any case the above makes little sense.
If you want to override Priority you should declare a new type in
Pkg2:

generic
   type T_Event (<>) is abstract new Pkg1.T_Event with private;
package Pkg2 is
   type New_T_Event is new T_Event with null record;
   function Priority (Event : in New_T_Event) return Natural;

--
Regards,
Dmitry Kazakov
www.dmitry-kazakov.de