From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,758f1e01b86b6274,start
X-Google-Attributes: gid103376,public
From: Gautier <gautier.demontmollin@maths.unine.ch>
Subject: Export instances of procedures
Date: 2000/04/18
Message-ID: <38FCBA00.992AA7A2@maths.unine.ch>#1/1
X-Deja-AN: 612816176
Content-Transfer-Encoding: 7bit
X-Accept-Language: en
Content-Type: text/plain; charset=us-ascii
X-Trace: 18 Apr 2000 21:39:43 +0100, mac13-32.unine.ch
Organization: Maths - Uni =?iso-8859-1?Q?Neuch=E2tel?=
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Date: 2000-04-18T00:00:00+00:00
List-Id: <comp.lang.ada>

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