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-08 17:38:26 PST Path: archiver1.google.com!news2.google.com!fu-berlin.de!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: 08 Jan 2004 20:38:24 -0500 Organization: The World Public Access UNIX, Brookline, MA Message-ID: References: <4LKdnRRNyv6AlmCiRVn-ig@comcast.com> NNTP-Posting-Host: pip1-5.std.com Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: pcls4.std.com 1073612304 1954 192.74.137.185 (9 Jan 2004 01:38:24 GMT) X-Complaints-To: abuse@TheWorld.com NNTP-Posting-Date: Fri, 9 Jan 2004 01:38:24 +0000 (UTC) User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 Xref: archiver1.google.com comp.lang.ada:4235 Date: 2004-01-08T20:38:24-05:00 List-Id: adam@irvine.com (Adam Beneschan) writes: > I have to admit that while I think my assertion is true,... Your assertion is true. >... it's pretty > abstract. It probably requires one to think backwards from how a > practical programmer, or a compiler, would think when trying to > determine the meaning of an Ada statement like that. I think it's backward from how the compiler "thinks". But that's OK. As to how the "practical programmer" thinks, well, I guess it's safe to just write what makes sense, and correct it if the compiler cries "ambiguous". Sounds sloppy, but it's not, really. The language rules are set up so you won't likely get into trouble (i.e. run-time trouble). - Bob