gcc/testsuite/gnat.dg/set_in_pproc.adb


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

--  { dg-do compile }

with Ada.Containers.Ordered_Sets;
procedure Set_In_Pproc is

   protected type Ptype is
      procedure Pproc;
   end;
   
   protected body Ptype is
      procedure Pproc is
         package Sets is
            new Ada.Containers.Ordered_Sets (Element_Type => Integer);
      begin
         null;
      end;
   end; 
begin   
   null;
end;