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=0.7 required=5.0 tests=BAYES_00,INVALID_DATE, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Posting-Version: version B 2.10.3 4.3bsd-beta 6/6/85; site ucbvax.BERKELEY.EDU Path: utzoo!watmath!clyde!burl!ulysses!ucbvax!eglin-vax!harbaughs From: harbaughs@eglin-vax Newsgroups: net.lang.ada Subject: Requirement to Implement pragmas? Message-ID: <8605070229.AA03824@ucbvax.Berkeley.EDU> Date: Mon, 5-May-86 16:47:00 EDT Article-I.D.: ucbvax.8605070229.AA03824 Posted: Mon May 5 16:47:00 1986 Date-Received: Thu, 8-May-86 21:50:54 EDT Sender: daemon@ucbvax.BERKELEY.EDU Reply-To: Organization: The ARPA Internet List-Id: I observe validated compilers not implementing all predefined pragmas and then I read in LRM section 2.8 (8) "The pragmas defined by the language are desribed in Annex B: they must be supported by every implementation." As an example, but not to talk negatively about the product, I cite from the Alsys PC/AT compiler appendix F: "pragma shared is currently ignored." "Some other predefined pragmas are not treated at this time. If used they are ignored and a warning is issued. These pragmas are CONTROLLED, INLINE, MEMORY_SIZE, OPTIMIZE, PACK, STORAGE_UNIT, SYSTEM_NAME." Above quotes are from version 1.0 20 Feb 1986 which I believe is validated. As a second example, again not to talk negatively about the product, I cite the VAX Ada LRM: "VAX Ada does not support pragma SHARED(see VOLATILE)" "VAX Ada does not support pragma SUPPRESS(see SUPPRESS_ALL)" -- It seems that vendors are allowed latitude with pragmas beyond my interpretation of section 2.8 (8). I don't say that is necessarily bad, I am just asking for an explanation. Thanks. regards, sam harbaugh --------------------- ------