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 is permitted for objects of
generic types. The result indicates if the corresponding actual
Staticaspect 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
This attribute part of the Ada 202x language definition is provided for now under -gnatX to confirm and potentially refine its usage and syntax.
This new aggregate syntax for arrays and containers is provided under -gnatX to experiment and confirm this new language syntax.