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_50,INVALID_DATE autolearn=no autolearn_force=no version=3.4.4 Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!wuarchive!udel!haven!uvaarpa!vger.nsu.edu!g_harrison From: g_harrison@vger.nsu.edu (George C. Harrison, Norfolk State University) Newsgroups: comp.lang.ada Subject: Re: What is Ada9x?SKIP/NEWSGROUP Message-ID: <804.27fa2f5d@vger.nsu.edu> Date: 3 Apr 91 23:39:09 GMT References: <1991Apr1.203028.13158@aucs.AcadiaU.ca> Distribution: na List-Id: In article , jls@rutabaga.Rational.COM (Jim Showalter) writes: >>So what is Ada9x?. (I am a know-nothing student, interested >>in Ada). 8-) [lots of nice stuff] > distribution, starting step #3. A summary of some of the goodies: > [etc.] > 11) Assertions. [etc.] Please excuse my ignorance (as always) but.. I have not heard about this being in Ada9x. I understand that it was in the original pre-standard Ada and later rejected. We academical types would certainly love to see it again. If this is indeed the case, does anyone have the [proposed] syntax for the assertions? And, if so, are the syntax diagrams the same as they were in the pre-standard days? George....... -- George C. Harrison ----------------------- ----- Professor of Computer Science ----------------------- ----- Norfolk State University ----------------------- ----- 2401 Corprew Avenue, Norfolk, Virginia 23504 ----------------------- ----- INTERNET: g_harrison@vger.nsu.edu ---------------------------------