From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,4ee5611d3fbf05b7
X-Google-Attributes: gid103376,public
From: John McCabe <jgm@hayling.cwmbran.gecm.com>
Subject: Re: Enumeration literal visibility and use type
Date: 1998/05/26
Message-ID: <6kejt5$75u@gcsin3.geccs.gecm.com>#1/1
X-Deja-AN: 356642631
Content-Transfer-Encoding: 7bit
References: <6kej65$dnh$1@hermes.seas.smu.edu>
Content-Type: text/plain; charset=us-ascii
Organization: GMS&T
Mime-Version: 1.0
Newsgroups: comp.lang.ada
Date: 1998-05-26T00:00:00+00:00
List-Id: <comp.lang.ada>


bralick@seas.smu.edu (William Bralick) wrote:

>package doodah is
>
>  type state_value_type is (state0, state1, state2, state_etc);
>
>  -- and just to make things interesting, let's create a useful message
>
>  type useful_message is record
>    state_stuff : state_value_type;
>    other_stuff : natural;
>  end record;
>
>end doodah;

There is no "cool_type". There is "state_value_type" and 
"useful_message", so you're "use type doodah.cool_type" will never work 
for a start.

>For some reason that I have yet to fathom, I had convinced myself 
>that "use type" would give immediate visibility of the enumerals in 
>doodah.cool_type.  I am now convinced that it doesn't (though I am
>ready to argue that it _should_).

Despite the obvious error, the "use type" clause is designed to provide 
visibility to the OPERATORS of the type, NOT the type itself so the 
behaviour you are seeing is correct.

-- 
Best Regards
John McCabe

=====================================================================
Any opinions expressed are mine and based on my own experience.  They
  should in no way be taken as the opinion of anyone I am currently
     working with, or of the company I am currently working for.
       If you have a problem with anything I say, SPEAK TO ME!
=====================================================================