The GNAT Community Edition 2021 Ada development kit has been published. It includes a compiler, GNAT Studio IDE, SPARK language subset static analyzer, GDB debugger, and a set of libraries. The package is distributed under the GPL license.
The new compiler version uses the GCC 10.3.1 backend and provides a number of new features. Implementation of the following innovations of the upcoming Ada 202x standard has been added:
- New profile for Jorvik embedded systems;
- Arithmetic support with arbitrary precision;
- Declaration expressions;
- Renaming values with automatic type inference;
- Contracts for references to routines;
- Filters in iterators;
- Container units.
We also implemented several experimental (non-standard) features:
- Optional "when" for return/raise/goto statements;
- Pattern matching;
- Fixed lower bound of the array;
- Calling subroutines through a dot for non-tagged types.
Most likely, this compiler version will be the last one in the GNAT Community Edition release chain. In the future, the compiler built from open source GCC can be installed using the alire package manager.
Source: opennet.ru