Conversions between arrays with closely related elements

[nickg]

Description
The 2008 LRM relaxed requirements for closely related array types to allow conversions when the elements are only closely related rather than exactly the same. This should allow conversion between, for example, an array of reals and an array of integers.

Expected behaviour
The test case below passes with Questa and Riviera-PRO but not with GHDL

How to reproduce?

entity ent is
end entity;

architecture test of ent is
begin

    p1: process is
        variable i : integer_vector(1 to 3);
        variable r : real_vector(1 to 3);
    begin
        i := (1, 2, 3);
        r := real_vector(i);
        assert r = (1.0, 2.0, 3.0);
        r := (4.2, 5.9, 7.1);
        i := integer_vector(r);
        assert i = (4, 6, 7);
        r := (1.0, real'left, 5.3);
--      i := integer_vector(r);     -- Range error
        wait;
    end process;

end architecture;

ghdl -a --std=08 ent.vhd
ghdl --elab-run ent

Context

• OS: Linux
• Origin:
  • Built from sources: 1ec1eb6

[tgingold]

Yes, this is not yet supported.