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-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,d402e2c741db0d0 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2004-01-09 15:19:56 PST Path: archiver1.google.com!news2.google.com!news.maxwell.syr.edu!newsfeed.mathworks.com!nntp.TheWorld.com!not-for-mail From: Robert A Duff Newsgroups: comp.lang.ada Subject: Re: Language lawyer question: Equality on 'Access attributes Date: 09 Jan 2004 18:19:54 -0500 Organization: The World Public Access UNIX, Brookline, MA Message-ID: References: NNTP-Posting-Host: pip1-5.std.com Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: pcls4.std.com 1073690394 32702 192.74.137.185 (9 Jan 2004 23:19:54 GMT) X-Complaints-To: abuse@TheWorld.com NNTP-Posting-Date: Fri, 9 Jan 2004 23:19:54 +0000 (UTC) User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 Xref: archiver1.google.com comp.lang.ada:4281 Date: 2004-01-09T18:19:54-05:00 List-Id: Dennis Lee Bieber writes: > Dennis Lee Bieber fed this fish to the penguins on Thursday 08 January > 2004 00:30 am: > > > > > > 3.2.1(7) (at least, in my copy of the reference) > > > > Hmmm, surprising -- no comments following this reference, but lots > still working on the other parts... are my posts even getting out > beyond Earthlink/Netcom? Yes, I saw your previous post. 3.2.1(7) mentions the idea of anonymous types, but it doesn't say when they get declared. You can search the RM to find them all, or you can look at 3.2.1(7.a) in the AARM. Anyway, 'Access does *not* declare any anonymous types. Anonymous access types are declared when you say "access T" as a parameter or discriminant type. But those have nothing to do with the example we're discussing. - Bob