From: bralick@seas.smu.edu (William Bralick)
Subject: Enumeration literal visibility and use type
Date: 1998/05/26
Date: 1998-05-26T00:00:00+00:00 [thread overview]
Message-ID: <6kej65$dnh$1@hermes.seas.smu.edu> (raw)
Greetings!
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_).
Because sharing this information with my other team members will require
that I eat more than a little crow ;-), I am looking for a pointer to
any information (chapter and verse in the rationale, an AI, anything ...)
that would explain _why_ Ada95 does not provide immediate visibility to
enumeration types that have been the object of a "use type" clause.
Thanks and best regards,
--
Will Bralick ............_/......._/__/..._/.......__/..._____/
........._/....._/_/._/.._/......_/._/.._/..._/
........................._/..._/______/._/...________/._/___/
........._/._/_/....._/_/...._/....._/_/.._/
next 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 William Bralick [this message]
1998-05-26 0:00 ` Enumeration literal visibility and use type 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 ` Ray Blaak
1998-05-27 0:00 ` John McCabe
1998-05-27 0:00 ` John McCabe
1998-05-26 0:00 ` John English
1998-05-26 0:00 ` Matthew Heaney
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
[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 ` William Bralick
1998-05-27 0:00 ` John McCabe
1998-05-27 0:00 ` Peter Amey
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 ` Thomas Hood
1998-05-28 0:00 ` Robert Dewar
1998-05-28 0:00 ` Robert Dewar
1998-05-29 0:00 ` John McCabe
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox