blob: bde0491f0c0840bcfd74f35811adbb8b336cb06d (
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
|
package ReproPkg is
function resolved_max ( s : time_vector ) return time ;
subtype time_vector_max is (resolved_max) time_vector ;
subtype integer2 is integer;
function resolved_max ( s : integer_vector ) return integer ;
subtype integer_vector_max is (resolved_max) integer_vector ;
end package ReproPkg ;
package body ReproPkg is
function resolved_max ( s : time_vector ) return time is
begin
return maximum(s) ;
end function resolved_max ;
function resolved_max ( s : integer_vector ) return integer is
begin
return maximum(s) ;
end function resolved_max ;
end package body ReproPkg ;
use work.ReproPkg.all;
entity repro is
end;
architecture none of repro is
begin
end none;
|
