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.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,34d47d048b177d0b X-Google-Attributes: gid103376,public From: fjh@mundook.cs.mu.OZ.AU (Fergus Henderson) Subject: Re: limited/non-limited in Ada95 Date: 1997/10/23 Message-ID: <62n5c3$m8n@mulga.cs.mu.OZ.AU>#1/1 X-Deja-AN: 282607239 References: <3442C2A3.3781@bix.com> Organization: Comp Sci, University of Melbourne Newsgroups: comp.lang.ada Date: 1997-10-23T00:00:00+00:00 List-Id: Jon S Anthony writes: >bobduff@world.std.com (Robert A Duff) writes: > >> What's wrong with having: >> >> type T is limited private; >> >> then: >> >> type T_Contents is ...; -- not limited! >> type T is >> limited record -- to keep Henry from stealing bank accounts ;-) >> Contents: T_Contents; >> end record; > >Yes, of course, I tried this route. It makes a mess of things. To >understand why it makes a mess of things, yes, you'd have to see all >the details, but that's not going to happen under the current >circumstances here... Look, Bob Duff has provided constructive proof that what you want can be done in Ada 95, and apart from the lines quoted above, the only difference to your source code will be a few occurrences of ".Contents". It is clear that that is not going to "make a mess of things". So, do you expect us to just take your word for it? Do you really expect us to believe your word, without a scrap of evidence, against Robert Dewar's word, and against Bob Duff's word, and more to the point against Bob Duff's constructive proof? I for one don't believe you. -- Fergus Henderson | "I have always known that the pursuit WWW: | of excellence is a lethal habit" PGP: finger fjh@128.250.37.3 | -- the last words of T. S. Garp.