comp.lang.ada
 help / color / mirror / Atom feed
From: Jeffrey Carter <spam@spam.com>
Subject: Re: A question re meaning/use of the "for ... use ..."
Date: Tue, 07 Dec 2004 01:36:27 GMT
Date: 2004-12-07T01:36:27+00:00	[thread overview]
Message-ID: <vO7td.3201$0r.388@newsread1.news.pas.earthlink.net> (raw)
In-Reply-To: <tKudnfghxYUrJCncRVn-sw@megapath.net>

Randy Brukardt wrote:

> The ARG discussed this long ago, and concluded that such a facility isn't
> needed. That's because Unchecked_Conversion provides the needed support.
> Indeed, this is one of the few cases where the result of
> Unchecked_Conversion is defined by the language (using it in this way will
> work on all Ada compilers). There was some discussion about syntax guides
> that prohibit the use of Unchecked_Conversion, but there is a lot of
> discomfort about changing the language just because some people's style
> guides are broken...

I know the ARG has considered and discarded the idea, but that doesn't 
mean I have to agree with them.

This is such a common stumbling block that it deserves the extra space 
that having 2 distinct attributes ensures. The OP would never had posted 
his question had both attributes been in the ARM.

Over all, I don't feel very strongly about this issue. I haven't needed 
access to the underlying representation very often, even when it's 
non-standard.

I'm more interested in areas of inconsistency. Why is exit the only 
transfer of control with a when clause?

-- 
Jeff Carter
"Mr. President, we must not allow a mine-shaft gap!"
Dr. Strangelove
33




  reply	other threads:[~2004-12-07  1:36 UTC|newest]

Thread overview: 23+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2004-12-05 15:27 A question re meaning/use of the "for ... use ..." Erik J Pessers
2004-12-05 15:47 ` Martin Krischik
2004-12-05 15:59 ` Stephen Leake
2004-12-05 16:52   ` Jeffrey Carter
2004-12-06 19:59     ` Randy Brukardt
2004-12-07  1:36       ` Jeffrey Carter [this message]
2004-12-07  2:40         ` David C. Hoos, Sr.
2004-12-07 20:59         ` Randy Brukardt
2004-12-08  1:41           ` Jeffrey Carter
2004-12-08  8:40           ` Martin Dowie
2004-12-08 16:23             ` Georg Bauhaus
2004-12-08  3:18       ` Keith Thompson
2004-12-08 13:48         ` David C. Hoos
2004-12-08 19:50         ` Randy Brukardt
2004-12-08 23:00           ` Keith Thompson
2004-12-09 23:06             ` Randy Brukardt
2004-12-10  2:26               ` Keith Thompson
2004-12-10 19:42                 ` Randy Brukardt
2004-12-10 21:18                   ` Keith Thompson
2004-12-11  0:53                     ` Keith Thompson
2004-12-10  3:13             ` David C. Hoos
2004-12-10  9:23               ` Keith Thompson
2004-12-10 13:24                 ` David C. Hoos
replies disabled

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