Ada policy

[Zack Weinberg]

kenner@vlsi1.ultra.nyu.edu (Richard Kenner) writes:

>     Note that that was in the context of a discussion of whether configure
>     should refuse to enable Ada if the "wrong" bootstrap compiler was found.
>
> You missed the point that "wrong" meant one of the compilers where the
> you'd end up building the C and Ada parts with different versions of
> GCC.  That caused EH problems within the compiler.

No.  I remember that argument (and I still disagree with its
resolution).  Geert was speaking more generally.

>     But that doesn't mean you can't use pragma Unreferenced; it just has
>     to be properly conditionalized so that GCC 3.(<3) somehow sees pragma
>     Warnings (Off) instead.
>
> You can't "conditionalize" in Ada, "properly" or not.  It was a
> requirement of the language that it *not* permit conditionalization.
> The reason was to avoid situations where you'd get compilation errors
> with one set of options and not with others.  The requirements for the
> language that became Ada forbid that.

You get to write scripts to munge the text of the files before handing
them to the compiler, then.

zw