From: "Robert I. Eachus" <rieachus@attbi.com>
Subject: Re: Expectation of Access Value Equality
Date: Fri, 05 Sep 2003 19:10:16 GMT
Date: 2003-09-05T19:10:16+00:00 [thread overview]
Message-ID: <3F58DF8F.6060701@attbi.com> (raw)
In-Reply-To: bja3fi$glkjh$1@ID-25716.news.uni-berlin.de
Nick Roberts wrote:
> I'm asking for the help of Ada programmers of all levels of experience...
> (a) Would you be surprised by:
>
> Print( (+"foo",+"bar",+"",+"") );
>
> printing three lines?
>
> (b) Would you be surprised by:
>
> Print( (+"foo",+"bar",+"hum",+"foo") );
>
> printing one line?
>
> (c) What would you think of an implementation that caused this behaviour?
If the indicated correction to the program had been made, I would assume
that the mode in which the compiler was used allowed subroutines to be
treated as if pragma Pure (RM 10.2.1) had been applied to them. (And
that a compiler might have such a mode would not disturb me at all.)
> (What would you think of an implementation that printed four lines in both
> cases?)
I'd conclude that, in this area, it implemented the standard correctly.
> (d) I'd be grateful for a very brief indication of your level and broad
> area(s) of programming experience, in Ada and other languages.
Expert.
--
Robert I. Eachus
"As far as I'm concerned, war always means failure." -- Jacques Chirac,
President of France
"As far as France is concerned, you're right." -- Rush Limbaugh
next prev parent reply other threads:[~2003-09-05 19:10 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-09-05 13:35 Expectation of Access Value Equality Nick Roberts
2003-09-05 13:02 ` chris
2003-09-05 17:56 ` Nick Roberts
2003-09-05 19:10 ` Robert I. Eachus [this message]
2003-09-05 19:32 ` Jeffrey Carter
2003-09-05 19:35 ` Simon Wright
2003-09-06 0:25 ` Matthew Heaney
2003-09-06 2:41 ` Steve
2003-09-06 22:01 ` Georg Bauhaus
2003-09-08 9:08 ` Preben Randhol
2003-09-08 9:09 ` Andy
2003-09-09 22:31 ` Nick Roberts
2003-09-10 18:39 ` Mário Amado Alves
2003-09-23 10:46 ` Jacob Sparre Andersen
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox