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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,878cc452376823e0,start
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!feeder.news-service.com!feeder.news-service.com!news.motzarella.org!motzarella.org!not-for-mail
From: =?ISO-8859-1?Q?S=E9bastien?= <seb.morand@gmail.com>
Newsgroups: comp.lang.ada
Subject: Generic body
Date: Wed, 14 May 2008 18:26:57 +0000
Organization: A noiseless patient Spider
Message-ID: <g0fash$73v$1@registered.motzarella.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: feeder.motzarella.org
 U2FsdGVkX1+nhLATyjQVmVv9n1sNZz2sOiA7KbWl19UFBjZKZZnmKiAkmHDUjl/8i2m0FkqqqqbLEvOMr7UIluirmMhCDStr5H1j5vxqekn81HMq9B3MP0layvir/UA3wNUytaq3mBkd81cuNKAKRw==
X-Complaints-To: Please send complaints to abuse@motzarella.org with full
 headers
NNTP-Posting-Date: Wed, 14 May 2008 18:26:25 +0000 (UTC)
X-Auth-Sender: U2FsdGVkX1/YtYrfZe7zqKDj/Hi6scG8yFEdI5Q9QBbhlwS+/GxQGA==
Cancel-Lock: sha1:HJCW+UJX6ZdnfFdQYdusL84HUWs=
User-Agent: Thunderbird 2.0.0.14 (Windows/20080421)
Xref: g2news1.google.com comp.lang.ada:62
Date: 2008-05-14T18:26:57+00:00
List-Id: <comp.lang.ada>

Hi,

I'm trying to create a generic procedure with some instance in the same 
package.

package MyPack is

   generic
     type Toto is limited private;
   procedure MyProc;

   procedure MyProcInt is new MyProc(Toto => Integer);
   procedure MyProcStr is new MyProc(Toto => String);

end MyPack;

package body MyPack is

   procedure MyProc is
   begin
     -- Some stuff
   end MyProc;

end MyPack;

I don't how to do this because:
1) The compiler refuse the instance of MyProc because it doesn't have 
the MyProc body
2) If I put the body of MyProc in the package spec, the compiler refuses 
it because it's not the right place.

Thanks by advance for any help

Sebastien