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: 29 Jul 93 03:25:40 GMT
From: rational.com!geneo@uunet.uu.net  (Gene Ouye)
Subject: Re: Unknown Pragmas in Ada 9X
Message-ID: <1993Jul29.032540.23740@rational.com>
List-Id: <comp.lang.ada>

Chris Warack <sys mgr> (cwarack@kirk.usafa.af.mil) wrote:
: 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?

I looked in the Annotated Ada 9X Reference Manual Version 3.0 (it's available
via anonymous ftp at ajpo.sei.cmu.edu) and you can rest easy with regard
to "unknown" or unrecognized pragmas.  AARM v3.0 para 2.8(7) states:

"If an implementation does not recognize the name of a pragma, then it has
no effect on the semantics of the program."

Of course, AARM v3.0 is just a draft, so things could change...

(...but this one doesn't seem likely. :-)


Gene Ouye (geneo@rational.com)    Rational, Bethesda, MD
(301) 897-4014