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:02:37 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:02:36 -0500 Organization: The World Public Access UNIX, Brookline, MA Message-ID: References: <4LKdnRRNyv6AlmCiRVn-ig@comcast.com> <6bSdnYBKy_diPGCi4p2dnA@gbronline.com> NNTP-Posting-Host: pip1-5.std.com Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: pcls4.std.com 1073689356 32702 192.74.137.185 (9 Jan 2004 23:02:36 GMT) X-Complaints-To: abuse@TheWorld.com NNTP-Posting-Date: Fri, 9 Jan 2004 23:02:36 +0000 (UTC) User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 Xref: archiver1.google.com comp.lang.ada:4277 Date: 2004-01-09T18:02:36-05:00 List-Id: Ze Administrator writes: > Robert A Duff wrote: > > There's no such thing as a limited access type. ;-) > > Probably there should be, but that's another story! > > type IA is limited private; > > private > > type IA is access Integer; OK, sorry, I didn't understand what you meant. Yes, of course, if somebody has visibility (only) on the limited private type, then it does not implicitly define "=", so there's no "=" to call (for that type). The issue is not (directly) which types are visible, but which "=" functions are visible (either implicitly declared by type declarations, or explicitly declared as functions). Type IA above is not "really" limited, because it can be copied. For parameters, it is passed by copy, for example. - Bob