VASG Issue Number:      0193
Comment Author:         Clive Charlwood for Sivaram Nayudu
Comment Number:         01
Comment Date:           1991/03/23

LRM section 3.2.1 page 3-9 paragraph 4 specifies that:
    A constrained array definition defines both an array type and a subtype of
    this type:
    o   The array type is an implicitly declared anonymous type; this type is
        defined by an (implicit) unconstrained array definition, in which the
        element subtype indication is that of the constrained array definition,
        and in which the type mark of each index subtype definition denotes the
        subtype defined by the corresponding discrete range.
    o   The array subtype is the subtype obtained by imposition of the index
        constraint on the array type.
    If a constrained array definition is given for a type declaration, the
    simple name declared by this declaration denotes the array subtype.

>From the above paragraph, we feel it is clear that the names AR1, AR2 refer to
the constrained subtypes of the corresponding unconstrained anonymous base
type.

Conclusion:
    Given a constrained array type declaration, the simple name given in the
    declaration refers to the constrained array subtype of the anonymous
    unconstrained array type which is the base type.

    LRM should make this more explicit for novice users to understand this
    subtle difference.