About IR2058

Gentlemen,

I have a question about the wording in the recommendation for future 
revisions. The current wording uses the phrase 'appropriate for the 
type'. What exactly does "type" here refer to? I am assuming that
(b) also applies to subtypes.

In fact, when the type mark denotes a subtype, I think it is not
very clear whether what becomes visible are the items associated with 
just the subtype or also those associated with the base type. Consider 
the following declarations:

      type enum is ( red, blue, green, yellow );
      subtype myenum is enum range blue to green ;

In this case, if we say something like "use work.pkg.myenum", then
do all the enumeration literals associated with the base type become
visible or just blue and green?

-ajay