comp.lang.ada
 help / color / mirror / Atom feed
From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: C like op= proposal
Date: 1999/08/19
Date: 1999-08-19T00:00:00+00:00	[thread overview]
Message-ID: <7phvk7$jt2$1@nnrp1.deja.com> (raw)
In-Reply-To: 37BBA5E1.13FBF70E@kvaerner.com

In article <37BBA5E1.13FBF70E@kvaerner.com>,
  "Tarjei T. Jensen" <tarjei.jensen@kvaerner.com> wrote:
. I
> don't know if safety critical applications would want to use
> it,

That's a *really* odd comment. If this notation is any use at
all it is useful to make sources more readable and
understandable (either informally or formally). The suggestion
that it is somehow unsafe is entirely peculiar.

> but it
> would be simple to expand the @s before using the source.

Surely not! It never occurred to me that people intended this
as having macro substitution semantics. UGH! shades of the
unexpected effects of using ++ within C defines.

> So count me in on those who prefer a := @ + 1; over a += 1;

The notation

  a += 1;

is entirely foreign to Ada style syntax, it is a C-ism which
has no more place in Ada than the (rather horrible) C assignment
syntax:

  a = 1;

The proper syntactic form for this in Ada would be (borrowing
from the Algol tradition which is the fundamental inspiration
for Ada syntax);

  a +:= 1;

The problems with the above notation are not syntactic, they
are semantic, and have been discussed at length previously.




Sent via Deja.com http://www.deja.com/
Share what you know. Learn what you don't.




  parent reply	other threads:[~1999-08-19  0:00 UTC|newest]

Thread overview: 33+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1999-08-15  0:00 C like op= proposal Brian Rogoff
1999-08-15  0:00 ` Ray Blaak
1999-08-15  0:00   ` Brian Rogoff
1999-08-16  0:00     ` Gautier
1999-08-17  0:00       ` John Duncan
1999-08-17  0:00         ` Gautier
1999-08-17  0:00       ` Samuel Tardieu
1999-08-17  0:00         ` Gautier
1999-08-17  0:00         ` Andi Kleen
1999-08-18  0:00           ` Robert Dewar
1999-08-17  0:00             ` Brian Rogoff
1999-08-18  0:00               ` Gautier
1999-08-18  0:00               ` Ted Dennison
1999-08-18  0:00                 ` Jeff Carter
1999-08-18  0:00                   ` Keith Thompson
1999-08-19  0:00                     ` Michael F. Yoder
1999-08-21  0:00                       ` Keith Thompson
1999-08-19  0:00                     ` Tarjei T. Jensen
1999-08-19  0:00                       ` tmoran
1999-08-19  0:00                       ` Robert Dewar [this message]
1999-08-20  0:00                         ` P.S. Norby
1999-08-21  0:00                           ` Robert Dewar
1999-08-19  0:00                       ` Lance Kibblewhite
1999-08-19  0:00                       ` Ted Dennison
1999-08-18  0:00                 ` Robert I. Eachus
1999-08-18  0:00               ` Robert Dewar
1999-08-18  0:00                 ` Brian Rogoff
1999-08-19  0:00                   ` Robert Dewar
1999-08-21  0:00                     ` Brian Rogoff
1999-08-23  0:00                     ` Robert A Duff
1999-08-18  0:00             ` Andi Kleen
1999-08-18  0:00         ` Gautier
1999-08-16  0:00 ` Robert Dewar
replies disabled

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