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,616091a85ff150f1 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-12-04 11:53:57 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!feed2.onemain.com!feed1.onemain.com!feeder.qis.net!nntp1.roc.gblx.net!nntp.gblx.net!nntp.gblx.net!news-peer1.sprintlink.net!news-in-central.sprintlink.net!news.sprintlink.net!news.online-isp.com!not-for-mail From: "Randy Brukardt" Newsgroups: comp.lang.ada Subject: Re: Ada 200X Assertions Date: Tue, 4 Dec 2001 13:10:52 -0600 Organization: On Line Exchange Sender: randybru@sdsl-64-7-4-91.dsl.chi.megapath.net Message-ID: <9uj730$shr$1@news.online-isp.com> References: <3C0C48BE.3B20F04E@adaworks.com> NNTP-Posting-Host: sdsl-64-7-4-91.dsl.chi.megapath.net X-Trace: news.online-isp.com 1007493024 29243 64.7.4.91 (4 Dec 2001 19:10:24 GMT) X-Complaints-To: news@news.online-isp.com NNTP-Posting-Date: 4 Dec 2001 19:10:24 GMT X-Newsreader: Microsoft Outlook Express 4.72.3612.1700 X-MimeOLE: Produced By Microsoft MimeOLE V4.72.3719.2500 Xref: archiver1.google.com comp.lang.ada:17394 Date: 2001-12-04T19:10:24+00:00 List-Id: Richard Riehle wrote in message <3C0C48BE.3B20F04E@adaworks.com>... >Does anyone know whether there is still serious >consideration for pre-, post-, and invariant assertions >in the next version of ISO Standard Ada? The ARG does not have any serious proposal for this on the table. There is an action item for it, but that may or may not lead to anything. To consider it, we need a serious (detailed) proposal, and probably a champion within the ARG. My guess is that someone would come forward to support a proposal if it was made. Randy Brukardt ARG Editor