Подтип Mark Обязательный в этом контексте - Ada

Question

Я работаю над реализацией функции простого разложения в Ada. Мне нужно вернуть вектор от calc_prime_numbers. Я пытаюсь сохранить этот вектор в Y. Однако, когда я компилирую, компилятор говорит prime.adb:40:07: subtype mark required in this context. Я не уверен, что это значит. Что означает подтип? Как это исправить?

with Ada.Text_IO, Ada.Integer_Text_IO, Ada.Containers.Vectors; 
use Ada.Text_IO, Ada.Integer_Text_IO, Ada.Containers; 

procedure Prime is 
    package Integer_Vectors is new Vectors(Natural, Integer); 

    function Is_Prime(I : Integer) return Boolean is 
     J : Integer := 2; 
    begin 
     for J in 2 .. I-1 loop 
     if I mod J = 0 then 
      return False; 
     end if; 
     end loop; 
     return True; 
    end Is_Prime; 

    function calc_prime_numbers(n : Integer) return Integer_Vectors.Vector is 
     i : Integer := 0; 
     m : Integer; 
     Numbers : Integer_Vectors.Vector; 
    begin 
     m := n + 1; 
     while (true) loop 
     i:=i + 1; 
     if Is_Prime(i) then 
      Integer_Vectors.Append(Numbers, i); 
      Put(Integer'Image(i) & " + "); 
     end if; 
     if i = m then 
      exit; 
     end if; 
     end loop; 
     New_Line; 
     return Numbers; 
    end calc_prime_numbers; 

    X : Integer; 
    Y : Integer_Vectors; — line 40 

begin 
    while (true) loop 
     Get(X); 
     if Is_Prime(X) then 
     Put(Integer'Image(X) & " is prime."); 
     else 
     Put(Integer'Image(X) & " is not prime."); 
     end if; 
     New_Line; 
     Y := calc_prime_numbers(X); — line 40 

    end loop; 
end Prime; 

Answer 1

Ваш номер строки в сообщении об ошибке не соответствует код, который вы вставили, и не указывают, где линия 40, поэтому я буду гадать:

инстанцировании пакет Integer_Vectors. Позже вы объявляете переменную Y : Integer_Vectors;. Поэтому компилятор жалуется, потому что он ожидает тип переменной, тогда как вы указали имя пакета.