which compiler is right?

[Lionel.DRAGHI@fr.thalesgroup.com]

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

-- 
Lionel Draghi


-- ---------------------------------------------------------------
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;
   
   -- OK for GNAT 3.16a (20030120)
   -- KO for ObjectAda (tm) Version 7.2.1 :
   --
   --      7    function Priority (Event : in T_Event) return Natural;
   --                    *
   --  *****Error: LRM:3.9.2(13) a primitive subprogram of a tagged type may
not be
   --  *****        declared after the type is frozen

end Pkg2;