comp.lang.ada
 help / color / mirror / Atom feed
From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Ada case-statement
Date: Thu, 15 Mar 2018 16:50:55 -0500
Date: 2018-03-15T16:50:55-05:00	[thread overview]
Message-ID: <p8eps0$m2h$1@franka.jacob-sparre.dk> (raw)
In-Reply-To: p8cgeh$1v7d$1@gioia.aioe.org

"Robert I. Eachus" <rieachus@comcast.net> wrote in message 
news:p8cgeh$1v7d$1@gioia.aioe.org...
...
> It would be nice to allow compilers to allow the when others to be omitted 
> based on what it knows about the value of The_Day but all that is 
> syntactic sugar.

Actually, we considered that in variants, but it turns out that it would 
cause an incompatibility. I forget the details, but it has something to do 
with the completeness checks (which we would not want to lose). We tried a 
number of options, but they were worse than the original problem. So we 
decided not to do it. In any case, it's a lot more than "syntactic sugar", 
it would substantially change the semantics.

                              Randy.


  parent reply	other threads:[~2018-03-15 21:50 UTC|newest]

Thread overview: 33+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2018-03-14 17:35 Ada case-statement Stephen Davies
2018-03-14 17:49 ` Dmitry A. Kazakov
2018-03-15  0:57   ` Robert I. Eachus
2018-03-15  3:10     ` Dan'l Miller
2018-03-15  5:54       ` J-P. Rosen
2018-03-15  7:56         ` Niklas Holsti
2018-03-15 12:21           ` Dan'l Miller
2018-03-15 17:22             ` Mill processor (Was: Re: Ada case-statement) Niklas Holsti
2018-03-15 21:50     ` Randy Brukardt [this message]
2018-03-14 22:22 ` Ada case-statement Mehdi Saada
2018-03-14 23:16 ` Randy Brukardt
2018-03-15  5:04   ` gautier_niouzes
2018-03-15  7:50   ` Jacob Sparre Andersen
2018-03-15 22:05     ` Randy Brukardt
2018-03-15  8:37   ` Dmitry A. Kazakov
2018-03-15 22:20     ` Randy Brukardt
2018-03-16  8:54       ` Dmitry A. Kazakov
2018-03-16 23:49         ` Randy Brukardt
2018-03-17  7:59           ` Dmitry A. Kazakov
2018-03-15 15:37   ` Stephen Davies
2018-03-15 16:33     ` J-P. Rosen
2018-03-15 17:01       ` Dmitry A. Kazakov
2018-03-15 18:41         ` Shark8
2018-03-15 21:12           ` Jeffrey R. Carter
2018-03-18  5:41             ` Robert I. Eachus
2018-03-18  6:57               ` Spiros Bousbouras
2018-03-18  9:17               ` Jeffrey R. Carter
2018-03-18 12:53                 ` Simon Wright
2018-03-15 18:50     ` Jere
2018-03-15 20:40       ` Anh Vo
2018-03-15 22:24     ` Randy Brukardt
2018-03-16  9:53       ` Stephen Davies
2018-04-03 17:56   ` marciant
replies disabled

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