[vhdl-200x-ft] Comment on FT22 re locally static array subtype

Folks,

In looking more closely at the wording in FT22, there appears to be an
issue. The relevant part is:

  The line 606 in section 7.4.1 is changed from

  "A locally static array subtype is a constrained array subtype formed
    by imposing on an unconstrained array type a locally static index
    constraint"

  to

  "A locally static array subtype is a constrained array subtype formed
   by imposing on an unconstrained array type with a locally static index
   constraint. The unconstained array type must have a locally static
element
   subtype and locally static index subtype definitions."

First, there is no definition of a "locally static index subtype
definition". However, that doesn't matter, since...

Second, a preceding sentence in that paragraph is

  A locally static index constraint is an index constraint for which each
  index subtype of the corresponding array type is locally static and in
  which each discrete range is locally static.

I think the intent of the proposed change was to specify that, not only must
the element subtype be locally static, but the index subtypes, specified by
the index subtype definitions, also be locally static. That requirement is
already captured in the definition of a locally static index constraint, so
there is no need to respecify it. The changed wording only need be

  "A locally static array subtype is a constrained array subtype formed
   by imposing on an unconstrained array type with a locally static index
   constraint. The unconstained array type must have a locally static
element
   subtype."

Comments?

Cheers,

PA

--
Dr. Peter J. Ashenden                        peter@ashenden.com.au
Ashenden Designs Pty. Ltd.                   www.ashenden.com.au
PO Box 640                                   Ph:  +61 8 8339 7532
Stirling, SA 5152                            Fax: +61 8 8339 2616
Australia                                    Mobile: +61 414 70 9106