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=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!gandalf.srv.welterde.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail From: "Randy Brukardt" Newsgroups: comp.lang.ada Subject: Re: Ada Annoyances Date: Mon, 3 Jul 2017 21:18:30 -0500 Organization: JSA Research & Innovation Message-ID: References: <1ac5a44b-4423-443a-a7bb-2864d9abe78f@googlegroups.com> <3df6404a-588d-4e2d-a189-1d1e32ce9f5d@googlegroups.com> <73b4a9bd-1f3b-42b9-9ef7-5303b0a88794@googlegroups.com> Injection-Date: Tue, 4 Jul 2017 02:18:31 -0000 (UTC) Injection-Info: franka.jacob-sparre.dk; posting-host="rrsoftware.com:24.196.82.226"; logging-data="16424"; mail-complaints-to="news@jacob-sparre.dk" X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2900.5931 X-RFC2646: Format=Flowed; Original X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157 Xref: news.eternal-september.org comp.lang.ada:47273 Date: 2017-07-03T21:18:30-05:00 List-Id: "Jere" wrote in message news:73b4a9bd-1f3b-42b9-9ef7-5303b0a88794@googlegroups.com... > On Sunday, July 2, 2017 at 8:04:56 PM UTC-4, Randy Brukardt wrote: >> (3) Since prefixed notation does automatic dereferencing and referencing >> (that is, .all and 'Access), allowing it on all types caused levels of >> ambiguity (and potentially infinite regress). It was easier to just >> define >> it on tagged types, which didn't have those issues. Perhaps it could have >> been made to work, but it was more work for a feature that already had >> significant opposition; probably it would have been dropped rather than >> getting more complicated. (Sound like a broken record??) > > Was there any consideration to having prefixed notation to > apply to all record types and add a way to denote that a private > type is a record type (there should be many ways to do that)? > We don't really need it on all types, just record types. Not that I recall, but requiring an indication that a private type is completed by a record seems like noise (99% of private types are completed by some sort of record as it is). It would be better the other way around (indicate when it is *not* completed by a record), but of course that would be incompatible. Still seems best for Ada'Succ. Randy.