testsuite/gna/bug058/tb.vhdl


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

package pkg1 is
  generic (type t; c : natural);
  generic map (t => natural, c => 5);

  function f return natural;
end pkg1;

package body pkg1 is
  function f return natural is
    variable v : t;
  begin
    return c;
  end f;
end pkg1;

entity tb is
end tb;

architecture behav of tb is
begin
  assert work.pkg1.f = 5;
end behav;