Tristan wrote: > Here is my analysis: > according to LRM 8.8: > " > If the expression is of a one-dimensional character array type, then the > expression must be one of the following: > > 1) -- The name of an object whose subtype is locally static > > 2) -- A slice name whose prefix is one of the members of this list > and > whose discrete range is a locally static discrete range > " > > Your slice is correct accoring to 2) since the range is a locally discrete > range. However the slice prefix is not correct according to 1) since its > subtype is not locally static. Therefore, the slice should be rejected. > So GHDL is correct according to LRM.
I'm confused. It says that it must be ONE of the following, not BOTH of the following. So if it qualifies for #2, shouldn't it be legal? Eric
