From: AdaMagica <christ-usch.grein@t-online.de>
Subject: Re: Examining individual bytes of an integer
Date: Tue, 16 Oct 2018 03:18:12 -0700 (PDT)
Date: 2018-10-16T03:18:12-07:00 [thread overview]
Message-ID: <35f53cd9-4979-49b8-a5df-2c1cf0764507@googlegroups.com> (raw)
In-Reply-To: <pq2sm7$in8$1@franka.jacob-sparre.dk>
Am Montag, 15. Oktober 2018 22:18:16 UTC+2 schrieb Randy Brukardt:
> "Niklas Holsti" <niklas.holsti@tidorum.invalid> wrote in message
> news:g2k5fbF9thnU1@mid.individual.net...
> > On 18-10-15 13:18 , AdaMagica wrote:
> >> There is the old Dewar rule that no compiler is doing nonsense. It
> >> would be a very unfriendly compiler to not follow this advice.
> >
> > As I remember it, Dewar's rule says that the Ada *RM* does not specify
> > nonsense, meaning that if some reading of the RM seems to be nonsense, it
> > is the wrong reading.
>
> That's correct.
>
> > I don't remember Dewar saying anything similar about compilers.
>
> Me either. Compilers do nonsense all of the time (usually not on purpose,
> though).
OK, I stay corrected. But I still claim that it would be extremely unfair of a compiler not to follow this advice (A'Address = A (A'First)'Address with increasing addresses for further components).
I'm apt to try a wager that Randy agrees. Praps I'm gonna lose again... Tant pis!
next prev parent reply other threads:[~2018-10-16 10:18 UTC|newest]
Thread overview: 38+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-10-14 19:15 Examining individual bytes of an integer Henrik Härkönen
2018-10-14 19:55 ` Jeffrey R. Carter
2018-10-14 21:28 ` Niklas Holsti
2018-10-15 10:18 ` AdaMagica
2018-10-15 18:43 ` Niklas Holsti
2018-10-15 20:18 ` Randy Brukardt
2018-10-16 10:18 ` AdaMagica [this message]
2018-10-16 11:55 ` Dmitry A. Kazakov
2018-10-16 22:35 ` Randy Brukardt
2018-10-17 8:10 ` Dmitry A. Kazakov
2018-10-17 9:47 ` briot.emmanuel
2018-10-17 10:04 ` Dmitry A. Kazakov
2018-10-17 21:57 ` Randy Brukardt
2018-10-16 22:33 ` Randy Brukardt
2018-10-17 6:51 ` Niklas Holsti
2018-10-17 22:01 ` Randy Brukardt
2018-10-17 8:17 ` Dmitry A. Kazakov
2018-10-17 22:03 ` Randy Brukardt
2018-10-17 22:10 ` Randy Brukardt
2018-10-18 8:01 ` Dmitry A. Kazakov
2018-10-18 9:33 ` AdaMagica
2018-10-18 21:18 ` Randy Brukardt
2018-10-19 6:27 ` Niklas Holsti
2018-10-19 8:28 ` AdaMagica
2018-10-19 16:38 ` Niklas Holsti
2018-10-14 21:04 ` Niklas Holsti
2018-10-15 7:49 ` Niklas Holsti
2018-10-15 8:55 ` Simon Wright
2018-10-15 10:52 ` Björn Lundin
2018-10-14 23:42 ` Matt Borchers
2018-10-14 23:45 ` Matt Borchers
2018-10-15 9:02 ` Simon Wright
2018-10-15 7:29 ` Dmitry A. Kazakov
2018-10-15 9:05 ` Simon Wright
2018-10-15 16:11 ` Simon Wright
2018-10-15 20:27 ` Randy Brukardt
2018-10-15 5:37 ` Henrik Härkönen
2018-10-15 7:42 ` Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox