Die GNAT Community Edition 2021 ist erschienen.

Das GNAT Community Edition 2021-Paket für die Ada-Entwicklung wurde veröffentlicht. Es enthält den Compiler, die integrierte Entwicklungsumgebung GNAT Studio, einen statischen Analyse-Checker für eine Teilmenge der Sprache SPARK, den Debugger GDB und eine Sammlung von Bibliotheken. Das Paket wird unter der GPL-Lizenz verteilt.

Die neue Version des Compilers verwendet das GCC 10.3.1 Backend und bietet eine Reihe neuer Funktionen. Es wurden neue Implementierungen für den kommenden Ada 202x Standard hinzugefügt:

• Ein neues Profil für eingebettete Systeme, Jorvik;
• Unterstützung für Arithmetik mit beliebiger Präzision;
• Ausdruckserklärungen;
• Umbenennung von Werten mit automatischer Typableitung;
• Verträge für Verweise auf Unterprogramme;
• Filter in Iteratoren;
• Aggregaten für Container.

Zusätzlich wurden mehrere experimentelle (nicht standardisierte) Funktionen implementiert:

• Zusätzliches «when» für die Operatoren return/raise/goto;
• Musterabgleich;
• Feste untere Grenze für Arrays;
• Aufruf von Unterprogrammen über einen Punkt für nicht-tägliche Typen.

Wahrscheinlich wird diese Version des Compilers die letzte in der Reihe der GNAT Community Edition-Releases sein. In Zukunft kann der aus den offenen GCC-Quelltexten gebaute Compiler über den Paketmanager Alire installiert werden.

Quelle: opennet.ru