From: Britt <britt.snodgrass@gmail.com>
Subject: Re: Simple loop with a strange output
Date: Fri, 24 May 2013 05:46:31 -0700 (PDT)
Date: 2013-05-24T05:46:31-07:00 [thread overview]
Message-ID: <a2b5c8c3-c3fc-492c-826e-12b688e11154@googlegroups.com> (raw)
In-Reply-To: <knm21p$dr4$1@loke.gir.dk>
On Thursday, May 23, 2013 5:34:47 PM UTC-4, Randy Brukardt wrote:
> That's the official line, but I think if you asked most people
> at AdaCore today, they'd tell you that it was a mistake. But
> mistakes like this one aren't really fixable, because of all
> of the existing code that would be at risk of breaking if they
> changed the default.
I also view it was a mistake. I think there may have been an opportunity to correct it by making -gnato (overflow checking) implicit when the compiler is in Ada 2012 mode. Then a new switch would be needed to turn it off. This approach would have had little risk of breaking much existing code.
- Britt
next prev parent reply other threads:[~2013-05-24 12:46 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-05-23 13:53 Simple loop with a strange output Luca Cappelletti
2013-05-23 13:55 ` Luca Cappelletti
2013-05-23 14:37 ` Adam Beneschan
2013-05-23 14:41 ` Adam Beneschan
2013-05-23 16:09 ` Luca Cappelletti
2013-05-23 16:40 ` Simon Wright
2013-05-23 21:34 ` Randy Brukardt
2013-05-24 7:21 ` Simon Wright
2013-05-24 12:46 ` Britt [this message]
2013-05-23 20:41 ` Dirk Heinrichs
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox