Re: GNAT and user-defined aspects and pragmas?

["Randy Brukardt" <randy@rrsoftware.com>]

"Simon Wright" <simon@pushface.org> wrote in message 
news:lyd1vgkct0.fsf@pushface.org...
> Dennis Lee Bieber <wlfraed@ix.netcom.com> writes:
>
>> From the beginning (back in the days of mil-std 1815) pragmas
>> were, loosely, suggestions to the compiler -- they were not supposed
>> to have any effect on the correctness of a program (for example,
>> Inline -- the program should produce the same final result when
>> executed whether a function was inlined or not).
>
> Import? Export? (OK, Ada95)

Those should never have been pragmas; they definitely don't fit under the 
model of pragmas as described above.

But since those are pragmas (and many other implementation-defined things 
like them), the notion that unknown pragmas can be ignored is fantasy. It's 
more harmful than helpful (which is probably why every Ada implementation 
that I know of has stern warnings for ignoring a pragma).

                                         Randy.