The Ada development toolkit - GNAT Community Edition 2021 has been released. It includes the compiler, the integrated development environment GNAT Studio, a static analyzer for the SPARK language subset, the GDB debugger, and a set of libraries. The package is distributed under the GPL license.
The new version of the compiler uses the GCC 10.3.1 backend and provides a number of new features. It includes implementations of the upcoming Ada 202x standard additions:
- A new profile for embedded systems Jorvik;
- Support for arbitrary precision arithmetic;
- Declaration expressions;
- Renaming values with automatic type inference;
- Contracts for subprogram references;
- Filters in iterators;
- Aggregates for containers.
Several experimental (non-standard) features have also been implemented:
- Additional 'when' for return/raise/goto operators;
- Pattern matching;
- Fixed lower bound of arrays;
- Calling subprograms via dot notation for non-tagged types.
This version of the compiler is likely to be the last in the GNAT Community Edition release chain. Future compilers built from GCC's open-source code will be available through the alire package manager.
Source: opennet.ru
