Re: Ada extension information

[Martin <martin.dowie@btopenworld.com>]

On May 28, 7:26 pm, i...@midoan.com wrote:
> Hello,
> a-textio.adb released with GNAT 2009 GPL for windows, contains:
>
> Item :=
>               (if not Is_Start_Of_Encoding (Character'Val (ch),
> File.WC_Method)
>                then Character'Val (ch)
>                else Get_Upper_Half_Char_Immed (Character'Val (ch),
> File));
>
> which is easy enough to understand but is not standard Ada.
>
> GNAT 2009 tells me :
>
> try.adb:5:09: conditional expression is an Ada extension
> try.adb:5:09: use -gnatX switch to compile this unit
>
> http://www.adacore.com/2009/03/29/NF-63-I317-009-gnat/discusses
> this.
>
> Is it not jumping the gun a little to use these extensions to document
> standard libraries before they become official, or even documented?

Probably not, as there is nothing I know of requires the standard
libraries to be written in Ada, let alone 'vanilla' Ada.

Even if it was in the public part of the specification I guess it
would still be ok if used for something 'implementation-defined'.

Cheers
-- Martin