aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/discr49_rec2.ads
blob: 4979bfb64cdbb77540d74b735c157d1dc5eab300 (plain)
1
2
3
4
5
6
7
8
9
10
with Discr49_Rec1; use Discr49_Rec1;

package Discr49_Rec2 is
   type Child (Discr : Boolean) is private;
   function Value (Obj : Child) return Integer;

private
   type Child (Discr : Boolean) is
     new Parent (Discr_1 => Discr, Discr_2 => True);
end Discr49_Rec2;