Re: gnade error

[Robert A Duff <bobduff@shell01.TheWorld.com>]

"Jeffrey R. Carter" <spam.not.jrcarter@acm.not.spam.org> writes:

> OK, a *legal* pragma should not ...

There are many pragmas that cause other parts of the program to be
illegal.  Pragma Restrictions, for example, has that as its main
purpose.  A pragma that goes the other direction (causes an otherwise
illegal program to be legal) is in rather poor taste, but there are some
cases of that, too -- rather obscure cases.

But you're right about pragma Inline -- a pragma Inline cannot affect
the legality of the program (so long as the pragma itself obeys the
rules, such as the names have to denote subprograms).

However, many compilers have switches that invoke nonstandard modes.
In GNAT, you can tell it to warn about pragmas Inline that are not
obeyed, and you can also tell it to treat warnings as errors (-gnatwe
switch).  In this nonstandard mode, a pragma Inline that does not inline
makes the program illegal.

- Bob