From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,1a52c822fc0dbb23 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news1.google.com!news2.google.com!news.glorb.com!news.mv.net!nntp.TheWorld.com!not-for-mail From: Robert A Duff Newsgroups: comp.lang.ada Subject: Re: Rational for not making cursor tagged in Containers Date: Fri, 20 Apr 2007 16:59:02 -0400 Organization: The World Public Access UNIX, Brookline, MA Message-ID: References: <1176998738.656903.141250@q75g2000hsh.googlegroups.com> <1177010938.200523.325290@p77g2000hsh.googlegroups.com> <1a8y2vakorfhx.225uqh4hifpd$.dlg@40tude.net> <1xmzi7newnilp.23m3zze8h9yi.dlg@40tude.net> <1177066583.5876.30.camel@localhost.localdomain> <1177080147.5876.87.camel@localhost.localdomain> <1q1kx2jlcvnuj.ck0711mj4few$.dlg@40tude.net> <1177097829.26685.36.camel@localhost.localdomain> NNTP-Posting-Host: shell01.theworld.com Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: pcls6.std.com 1177102743 27641 192.74.137.71 (20 Apr 2007 20:59:03 GMT) X-Complaints-To: abuse@TheWorld.com NNTP-Posting-Date: Fri, 20 Apr 2007 20:59:03 +0000 (UTC) User-Agent: Gnus/5.1008 (Gnus v5.10.8) Emacs/21.3 (irix) Cancel-Lock: sha1:zs+XOw4nwDwRj6TVeS4XD2CBG5U= Xref: g2news1.google.com comp.lang.ada:15177 Date: 2007-04-20T16:59:02-04:00 List-Id: "Dmitry A. Kazakov" writes: > On Fri, 20 Apr 2007 21:37:09 +0200, Georg Bauhaus wrote: >> "Uniformity. Discriminants make sense for any composite type. Please note that I wrote the above words. Some years ago. > Discriminants make sense for ANY type, be it record or Boolean. Then we at least agree that they make sense for any composite type. But please explain what use is a Boolean with discriminants. I'm not sure... >> In Ada >> 9X, we allow them for any composite type except array types. The >> array-type restriction is for ease of implementation -- it does not >> simplify the language nor make it easier to use. > > This is disputable. There exists numerous examples when disciminants for > arrays were quite useful. Agreed. Dmitry, I think you misunderstood the quote. It says that the RESTRICTION does not simplify or make easier to use. (Restriction = arrays cannot have discrims.) Too many double and triple negatives there... At the time, I thought arrays should be allowed to have discrims, and tasks should, too. Still think so. "Ease of implementation" referred to existing implementations of Ada 83, which of course did not anticipate that array bounds are really discriminants in disguise. - Bob