comp.lang.ada
 help / color / mirror / Atom feed
From: bobduff@world.std.com (Robert A Duff)
Subject: Re: "constant X renames" (language-lawyers)
Date: 1996/12/13
Date: 1996-12-13T00:00:00+00:00	[thread overview]
Message-ID: <E2Bx75.20t@world.std.com> (raw)
In-Reply-To: 9612111834.AA12317@most


In article <9612111834.AA12317@most>,
W. Wesley Groleau (Wes) <wwgrol@PSESERV3.FW.HAC.COM> wrote:
>Was this "feature" planned, or just an accident/side-effect?  There is no
>specific language about it to indicate it was thought of.

8.5.1(6) makes it pretty clear that this is an intended "feature".
Yeah, it's kind of strange.  It might make more sense if renamings had
to declare what they are, and have it checked that you said it right.
The following is particularly confusing:

    X: Integer := 99;
    subtype S is Integer range 1..10;
    Y: S renames X;

since the range 1..10 is completely ignored.

- Bob




      parent reply	other threads:[~1996-12-13  0:00 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1996-12-11  0:00 "constant X renames" (language-lawyers) W. Wesley Groleau (Wes)
1996-12-13  0:00 ` Vincent Marciante
1996-12-13  0:00 ` Robert A Duff [this message]
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox