From: rracine@draper.com (Roger Racine)
Subject: Re: Enumeration literal visibility and use type
Date: 1998/05/26
Date: 1998-05-26T00:00:00+00:00 [thread overview]
Message-ID: <rracine.3.000B9635@draper.com> (raw)
In-Reply-To: 6kej65$dnh$1@hermes.seas.smu.edu
In article <6kej65$dnh$1@hermes.seas.smu.edu> bralick@seas.smu.edu (William
Bralick) writes:
>By now I have convinced myself that the following does not work as I had
>hoped:
>-- we are provided the following package and required to use it to
>-- interface with other subsystems
>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;
>---
>with doodah;
>procedure test is
> use type doodah.cool_type;
> a_cool_message : useful_message;
>begin
> a_cool_message.state_stuff := state0; -- SIRENS WAIL, LIGHTS FLASH
> -- COMPILER WANTS:
> -- doodah.state0
> ...
>end test;
>---
>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_).
Section 8.4 of the Ada RM:
"a use_type_clause achieves direct visibility of the
primitive operators of a type."
Enumeration literals are not operators.
Roger Racine
next prev parent reply other threads:[~1998-05-26 0:00 UTC|newest]
Thread overview: 28+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-05-26 0:00 Enumeration literal visibility and use type William Bralick
1998-05-26 0:00 ` Matthew Heaney
1998-05-27 0:00 ` William Bralick
1998-05-27 0:00 ` Mats Weber
1998-05-27 0:00 ` John McCabe
1998-05-26 0:00 ` John McCabe
1998-05-26 0:00 ` David C. Hoos, Sr.
1998-05-26 0:00 ` Matthew Heaney
1998-05-27 0:00 ` John McCabe
1998-05-26 0:00 ` John English
1998-05-26 0:00 ` Ray Blaak
1998-05-27 0:00 ` John McCabe
1998-05-27 0:00 ` John McCabe
1998-05-27 0:00 ` Robert Dewar
1998-05-27 0:00 ` Matthew Heaney
1998-05-26 0:00 ` Roger Racine [this message]
[not found] <6kej65$dnh$1@hermes.seas.smu.edu| <6kejt5$75u@gcsin3.geccs.gecm.com>
1998-05-26 0:00 ` William Bralick
1998-05-26 0:00 ` Fergus Henderson
1998-05-27 0:00 ` John McCabe
1998-05-27 0:00 ` Robert Dewar
1998-05-28 0:00 ` John McCabe
1998-05-28 0:00 ` Robert Dewar
1998-05-29 0:00 ` John McCabe
1998-05-28 0:00 ` Thomas Hood
1998-05-28 0:00 ` Robert Dewar
1998-05-27 0:00 ` Peter Amey
1998-05-27 0:00 ` John McCabe
1998-05-27 0:00 ` William Bralick
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox