From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on ip-172-31-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.5-pre1 Date: 28 Jul 93 21:30:34 GMT From: cis.ohio-state.edu!magnus.acs.ohio-state.edu!csn!news.usafa.af.mil!kirk!c warack@ucbvax.berkeley.edu (Chris Warack ) Subject: Unknown Pragmas in Ada 9X Message-ID: <236r5q$m7e@usafa2.usafa.af.mil> List-Id: Someone here noted a while back that bad pragmas will be rejected by compilers in Ada 9X (rather than ignored). Looking at "Introducing Ada 9X), this appears to occur when a pragma has bad arguments. This all sounds fine. I want to make sure, however, that an unknown pragma is still ignored. The description of the change doesn't mention unsupported pragmas, but it doesn't mention that they are still ignored either... This is important if code is submitted to more than one compiler, or (in my case) where pragmas are used as annotations for other "tools," not necessarily the compiler. Anyone on the inside know this for sure? Furthermore, for the ASIS people. Does the ASIS standard under discussion imply that pragmas unsupported by the compiler will be "supported" by ASIS? (I.e., ASIS packages will be able to process pragmas even though the compiler ignores them...) -- Christopher A. Warack, Capt, USAF Computer Science Department, US Air Force Academy cwarack@kirk.usafa.af.mil (719) 472-2401