2.63 Pragma Extensions_Allowed ¶

Syntax:

pragma Extensions_Allowed (On | Off);

This configuration pragma enables or disables the implementation extension mode (the use of Off as a parameter cancels the effect of the `-gnatX' command switch).

In extension mode, the latest version of the Ada language is implemented (currently Ada 202x), and in addition a small number of GNAT specific extensions are recognized as follows:

• Constrained attribute for generic objects

  The Constrained attribute is permitted for objects of generic types. The result indicates if the corresponding actual is constrained.

• Static aspect on intrinsic functions

  The Ada 202x Static aspect can be specified on Intrinsic imported functions and the compiler will evaluate some of these intrinsic statically, in particular the Shift_Left and Shift_Right intrinsics.

• 'Reduce attribute

  This attribute part of the Ada 202x language definition is provided for now under -gnatX to confirm and potentially refine its usage and syntax.

• [] aggregates

  This new aggregate syntax for arrays and containers is provided under -gnatX to experiment and confirm this new language syntax.