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,dd6622a305422ade X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-09-09 05:42:21 PST Path: archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!paloalto-snf1.gtei.net!paloalto-snh1.gtei.net!lsanca1-snf1!news.gtei.net!newsfeed2.earthlink.net!newsfeed.earthlink.net!newsmaster1.prod.itd.earthlink.net!newsread2.prod.itd.earthlink.net.POSTED!not-for-mail Message-ID: <3B9B57E9.E18F2133@earthlink.net> From: "Marc A. Criley" Organization: Quadrus Corporation X-Mailer: Mozilla 4.73 [en] (X11; U; Linux 2.2.14-5.0 i686) X-Accept-Language: en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Suggestion for Ada 0X - "Complete" Record Rep Clauses References: Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Date: Sun, 09 Sep 2001 12:42:52 GMT NNTP-Posting-Host: 158.252.123.195 X-Complaints-To: abuse@earthlink.net X-Trace: newsread2.prod.itd.earthlink.net 1000039372 158.252.123.195 (Sun, 09 Sep 2001 05:42:52 PDT) NNTP-Posting-Date: Sun, 09 Sep 2001 05:42:52 PDT X-Received-Date: Sun, 09 Sep 2001 05:39:09 PDT (newsmaster1.prod.itd.earthlink.net) Xref: archiver1.google.com comp.lang.ada:12945 Date: 2001-09-09T12:42:52+00:00 List-Id: Chris Miller wrote: > > Here is a quick suggestion for Ada 0X. I have no idea if it has been > suggested before. > > > The addition could be to allow an optional reserved work "all" in the record > rep clause, in this case it would be a compile time error if the component > clauses for all fields were not specified. > > So you would get > > for R use all record > field1 at 0 range ...; > field2 at 3 range ...; > field3 at 7 range ...; > end record; > > This would be trivial to implement, and 100% upward compatible with current > code. May also wish to have a pragma that specifies that all record rep > clauses in its scope are complete. This could be either a new pragma or part > of pragma Restrictions, in the Safety & Security Annex. Chris, I think this is a good idea. Aside from its utility, you note that it is upward comptatible and would [should] be easy to implement--two aspects that make it easier to get changes through the language revision process. The other test that needs to be passed is "Has this caused a problem for someone in the past?" And I can attest that I have run into bugs in the past that this modification would've helped avoid. I would suggest that you submit this for consideration in accordance with the "Instructions for Comment Submission" as provided in the Ada Reference Manual: http://www.ada-auth.org/arm-html/RM-0-3.html. One thing you might want to do first is surf around the Ada Conformity Assessment Authority website (www.ada-auth.org) so you can see how such suggestions are put together. Once you've sent this to the e-mail list (which is what following the "Instructions" does), I will add some discussion there about my experiences pertaining to the problem your suggestion is addressing. Marc A. Criley Senior Staff Engineer Quadrus Corporation www.quadruscorp.com