Subtype indication in array mode view indication
In LRM 2019, section 6.5.2 we have:
mode_view_indication ::= record_mode_view_indication | array_mode_view_indication record_mode_view_indication ::= view mode_view_name [ of unresolved_record_subtype_indication ] array_mode_view_indication ::= view ( mode_view_name ) [ of unresolved_array_subtype_indication ]
Is it correct that subtype indication is optional for array mode view indication? It generates ambiguity in below code.
package p is
type r is record
x : real;
end record;
view v of r is
x : in;
end view;
type a1 is array (1 to 2) of r;
type a2 is array (3 to 4) of r;
end;
---------------------------------------------
use work.p.all;
entity e is
port (
data : view (v);
);
end;Edited by Krzysztof Żyła