blob: 724488defeb1f09b13e9cc87483661e8af8fcf15 (
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
|
package pkg3 is
generic (
type atyp;
function plus (a: atyp) return natural is <>);
function wrap (a : atyp) return natural;
end pkg3;
package body pkg3 is
function wrap (a : atyp) return natural is
begin
return plus (a);
end wrap;
end pkg3;
entity tb_pkg3 is
end;
architecture behav of tb_pkg3 is
function plus (a: bit_vector) return natural is
begin
return a'length;
end plus;
package my_pkg3 is new work.pkg3 generic map (atyp => bit_vector,
plus => open);
constant c : natural := my_pkg3.wrap("0101");
begin
assert c = 4 severity failure;
end behav;
|
