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!news4.google.com!feeder3.cambrium.nl!feed.tweaknews.nl!newsfeed.kamp.net!newsfeed.kamp.net!newsfeed.freenet.de!news.albasani.net!nuzba.szn.dk!news.jacob-sparre.dk!pnx.dk!not-for-mail From: "Randy Brukardt" Newsgroups: comp.lang.ada Subject: Re: Rational for not making cursor tagged in Containers Date: Thu, 19 Apr 2007 22:03:05 -0500 Organization: Jacob's private Usenet server Message-ID: References: <1176998738.656903.141250@q75g2000hsh.googlegroups.com> NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net X-Trace: jacob-sparre.dk 1177038089 29848 69.95.181.76 (20 Apr 2007 03:01:29 GMT) X-Complaints-To: news@jacob-sparre.dk NNTP-Posting-Date: Fri, 20 Apr 2007 03:01:29 +0000 (UTC) X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2800.1807 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1807 Xref: g2news1.google.com comp.lang.ada:15133 Date: 2007-04-19T22:03:05-05:00 List-Id: "Robert A Duff" wrote in message news:wccodlkz0ej.fsf@shell01.TheWorld.com... ... > A different question might be: Why is the prefix notation not allowed > for untagged types? I don't know the answer to that, but it's probably > documented in the relevant AI. It originally was allowed for access types. But it got really confusing for access type prefixes; there might have been many legal possibilities (once you take into account implied dereferences and 'Accesses). It might be necessary to look at several sets of primitive operations (both for the access type, and for a designated type), and unusual ambiguities could result. A compiler could work it out, but whether a human programmer could was contentious. So we dropped untagged prefixes in order that we got prefixed notation for OOP purposes (the general one might never have been accepted). Randy.