title: Ada generic procedure
body: <p>I'm trying to write an Ada package in the following way:</p>
  
  <h2>p.spec</h2>
  
  <pre><code>package P is
  
     generic
        type Input;
        procedure A (x: in Input);
  
     generic 
        procedure B;
  
     generic
        procedure C;
  
  end P;
  </code></pre>
  
  <h2>p.body</h2>
  
  <pre><code>package body P is
  
     procedure A(x: in Input) is separate;
     procedure B is separate;
     procedure C is separate;
  
  end P;
  </code></pre>
  
  <h2>p.a.body</h2>
  
  <pre><code>-------------
  </code></pre>
  
  <h2>p.b.body</h2>
  
  <pre><code>-------------
  </code></pre>
  
  <h2>p.c.body</h2>
  
  <pre><code>-------------
  </code></pre>
  
  <p>In the program, procedures B,C are calling procedure A.
  During compilation, there is an error because when procedures B,C are compiled, procedure A has not yet been compiled. Any suggestions?</p>