From: bralick@seas.smu.edu (William Bralick)
Subject: Re: Enumeration literal visibility and use type
Date: 1998/05/27
Date: 1998-05-27T00:00:00+00:00 [thread overview]
Message-ID: <6kh5r5$6ig$1@hermes.seas.smu.edu> (raw)
In-Reply-To: m3btsk8xoa.fsf@mheaney.ni.net
In article <m3btsk8xoa.fsf@mheaney.ni.net>,
Matthew Heaney <matthew_heaney@acm.org> wrote:
|
|No, use type will NOT give you direct visibility to the enumeration literals.
Acknowledged.
|...
|The issue is that "use type" only gives you direct visibility to the
|predefined "operators" of a type; it does not give you direct visibility
|to the predefined "operations" of a type. Enumeration literals are
|operations, not operators, and so aren't made directly visible by "use
|type."
I think that this is the key point where my confusion arose.
I recall understanding the concept of enumerals being parameterless
functions and I guess that I conflated them with the concept of
"operators" perhaps because I was simultaneously dealing with the
definition of "primitive operations" and "primitive subprograms"
which, of course, include operators ...
Oh, well.
|Does that explain it?
Yes, thanks. You have all been most helpful ...
Best regards,
--
Will Bralick ............_/......._/__/..._/.......__/..._____/
........._/....._/_/._/.._/......_/._/.._/..._/
........................._/..._/______/._/...________/._/___/
.............__/_/......._______/.......__/..._/
next prev parent reply other threads:[~1998-05-27 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 ` 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
1998-05-26 0:00 ` Matthew Heaney
1998-05-27 0:00 ` William Bralick [this message]
1998-05-27 0:00 ` Mats Weber
1998-05-27 0:00 ` John McCabe
[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 ` 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
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