compiler: give error for non-int arguments to make
[official-gcc.git] / gcc / testsuite / gnat.dg / opt68.ads
blob25e28a50d7b599a7cf97c7fe39c6cd35a647e2ec
1 with Ada.Finalization;
3 package Opt68 is
5 type Cont is new Ada.Finalization.Controlled with null record;
7 type Element is record
8 C : Cont;
9 end record;
11 type Queue_Element;
12 type A_Queue_Element is access Queue_Element;
13 type Queue_Element is record
14 Value : Element;
15 Next : A_Queue_Element;
16 end record;
18 type Queue is limited record
19 Sz : Natural;
20 Front : A_Queue_Element;
21 Back : A_Queue_Element;
22 end record;
24 procedure Copy (dest : in out Queue; src : Queue);
26 end Opt68;