Export instances of procedures

[Gautier <gautier.demontmollin@maths.unine.ch>]

Hi. GNAT 3.10-3.12 doesn't seem to want to export directly,
i.e. without "renames", instances of procedures out of a package.
Is there an Ada rule behind it ? No explanation found in the Manual.

Example:

1) This works:

     package DMA is
48:    procedure Read_8bit_AutoInit( linearAddressOfBuffer: unsigned_32;
                                     length: integer );
     end DMA;

  package body DMA is
    generic
      dmaCommand: Unsigned_8;
    procedure Program_DMA( linearAddressOfBuffer: unsigned_32;
                           length: integer );

    procedure Program_DMA( linearAddressOfBuffer: unsigned_32;
                           length: integer ) is
...
    end Program_DMA;

    procedure R8AI is new Program_DMA( 16#58# );

    procedure Read_8bit_AutoInit( linearAddressOfBuffer: unsigned_32;
                                  length: integer )
      renames R8AI;
  end DMA;

2) But, if I put: "procedure Read_8bit_AutoInit is new Program_DMA( 16#58# );"
   I get: "Read_8bit_Autoinit" conflicts with declaration at line 48
   and of course: missing body for "Read_8bit_AutoInit" declared at line 48

Strange, isn't it ?

______________________________________________________
Gautier  --  http://members.xoom.com/gdemont/gsoft.htm