summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/specs/iface_eq_test-child.ads
blob: 028bb1be053a89e3d05b4cd389106db398eb217f (plain)
1
2
3
4
5
6
7
8
9
--  { dg-do compile }
--  { dg-options "-gnatc" }
generic                    
package Iface_Eq_Test.Child is
   protected type PO is new Iface with
      procedure Dummy;
   end;
   overriding function "=" (L, R : access PO) return Boolean;
end;