Record Definition in Package Body

library ieee;

use ieee.std_logic_1164.all;

use ieee.numeric_std.all;

package test_pkg is

    package inner_test_pkg is

        constant test_big_vect_c : boolean := false;

        constant test_bits_c     : natural;  -- init below in function

        function init_test_bits_f return natural;

    end package inner_test_pkg;

    constant test_big_vect_c : boolean := true;

    type test_record is record

       test1       : std_logic;

       test_vector : std_logic_vector(inner_test_pkg.test_bits_c - 1 downto 0);

    end record;

end package;

package body test_pkg is

    package body inner_test_pkg is

        function init_test_bits_f return natural is

        begin

        if test_big_vect_c then

            return 64;

        else

            return 32;                     -- @suppress "Dead code"

        end if;

        end function;

        constant test_bits_c : natural := init_test_bits_f;

    end package body inner_test_pkg;

end package body;