Re: prefix of dereference must be a name?

[Robert A Duff <bobduff@shell01.TheWorld.com>]

Stephen Leake <stephen_leake@stephe-leake.org> writes:

> I still don't see the fundamental problem.

There is no fundamental problem.  I agree with you 100% -- things like
"(A + B).all" and "(A & B)'Length" ought to be legal.  They're not,
and that's probably because nobody thought it important enough to
go against "tradition".  Traditionally, Ada 83 made a big distinction
between expressions and names (and likewise, between values and
(constant) objects).  Ada 95 eroded that distinction somewhat, but
not entirely.

- Bob