Справочник по Ada 2005
A.2 Пакет Ada
Статическая семантика
Существует следующий пакет библиотеки, определённый языком:
package Ada is
pragma Pure(Ada);
end Ada;
pragma Pure(Ada);
end Ada;
Пакет Ada служит родителем большинства других языковых единиц библиотеки; его объявление пустое (кроме pragma Pure).
Правила легальности
В стандартном режиме запрещено компилировать потомков пакета Ada.