Отлов утечек памяти - GNAT, (разделено) Опции

[TarasBer]

Новые вопросы - какая функция определяет наличие или отсутствие утечек памяти?
Я скачал ВинАДУ, поставил, как подключить пакет, содержащий заголовки виндовых библиотек? with ADA.Windows не рабтает, нет такого пакета.

[TarasBer]

Решил я применить расширенный возврат к функции преобразования массива в вектор (кстати, почему её нет стандартной?), ну, чтобы не копировать лишнее.

function To_Vector(a: Key_Arr) return Key_Based_Vectors.Vector is

      Arr_Index: Integer := a'First;

      procedure Update(Item: in out Key_Base) is
      begin
         Item := A(Arr_Index);
         Arr_Index := Arr_Index + 1;
      end Update;

      procedure Copy(C: Key_Based_Vectors.Cursor) is
      
         type Public_Cursor is record
            Container : access Key_Based_Vectors.Vector;
            Index     : integer;
         end record;
      
         function Fuck_Cursor is new Ada.Unchecked_Conversion(Key_Based_Vectors.Cursor, Public_Cursor);
      
      begin      
         -- где логика в стандартном контейнере?
         -- нафига этой процедуре принимать контейнер, если она и так принимает курсор?
         -- где стандартная функция преобразования массива в вектор?
         -- где стандартная обратная функция?
         Update_Element (Fuck_Cursor©.Container.all, C, Update'Access);
      end Copy;

      use Key_Based_Vectors;

   begin
      return V: Key_Based_Vectors.Vector do   
         Set_Length(V, A'Length);
         V.Iterate (Copy'Access);
      end return;
   end To_Vector;

Не, не скомпилилось.

parser.adb:31:10: no candidate interpretations match the actuals:
parser.adb:31:51: expected private type "Ada.Containers.Vectors.Vector" from instance at parser.ads:28
parser.adb:31:51: found private type "Ada.Containers.Vectors.Vector" from instance at parser.ads:29
parser.adb:31:51: ==> in call to "Update_Element" at a-convec.ads:134, instance at parser.ads:28
parser.adb:31:51: ==> in call to "Update_Element" at a-convec.ads:129, instance at parser.ads:28

Это не вектор, это вектор, а не вектор, а нужен именно вектор.

Зато я только сейчас заметил, что в Аде можно в итераторы кидать локальные подпрограммы, в Дельфи приходилось в глобальную область всякую фигню выводить. Там типа неявно стек копируется?