blob: 8c7b16f8aae58baf33482f7ef6bf41c3b4d73eda (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
-- { dg-do run }
procedure Generic_Comp is
generic
type Element_Type is private;
type Index_Type is (<>);
type Array_Type is array (Index_Type range <>) of Element_Type;
with function ">" (Left, Right : Element_Type) return Boolean is <>;
procedure Gen (Data: in out Array_Type);
procedure Gen (Data: in out Array_Type) is
begin
if not (Data'Length > 1)
or else not (Integer'(Data'Length) > 1)
or else not Standard.">" (Data'Length, 1)
or else not Standard.">" (Integer'(Data'Length), 1)
then
raise Program_Error;
end if;
end;
type My_Array is array (Positive range <>) of Integer;
function Less_Than (L, R : Integer) return Boolean is
begin
return L < R;
end;
procedure Chk_Down is new Gen (Element_Type => Integer,
Index_Type => Positive,
Array_Type => My_Array,
">" => Less_Than);
Data : My_Array (1 .. 2);
begin
Chk_Down (Data);
end;
|
