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,92a027c293f03acb
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news4.google.com!proxad.net!feeder1-2.proxad.net!213.200.89.82.MISMATCH!tiscali!newsfeed1.ip.tiscali.net!news.tiscali.de!news.belwue.de!news.uni-stuttgart.de!news.nask.pl!news.nask.org.pl!newsfeed.tpinternet.pl!atlantis.news.tpi.pl!news.tpi.pl!not-for-mail
From: Wiktor Moskwa <wiktorDOTmoskwa@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: Workqueues in Ada
Date: Sat, 28 Jul 2007 21:03:12 +0000 (UTC)
Organization: tp.internet - http://www.tpi.pl/
Message-ID: <f8gaug$cjt$1@atlantis.news.tpi.pl>
References: <f8fso9$erg$1@nemesis.news.tpi.pl> <E3Lqi.43259$Fc.9911@attbi_s21>
 <f8g8af$6fl$1@atlantis.news.tpi.pl> <wcc7iok1cha.fsf@shell01.TheWorld.com>
NNTP-Posting-Host: aaeu42.neoplus.adsl.tpnet.pl
X-Trace: atlantis.news.tpi.pl 1185656592 12925 83.4.124.42 (28 Jul 2007
 21:03:12 GMT)
X-Complaints-To: usenet@tpi.pl
NNTP-Posting-Date: Sat, 28 Jul 2007 21:03:12 +0000 (UTC)
User-Agent: slrn/0.9.8.1 (Linux)
Xref: g2news2.google.com comp.lang.ada:1248
Date: 2007-07-28T21:03:12+00:00
List-Id: <comp.lang.ada>

On 28.07.2007, Robert A Duff <bobduff@shell01.TheWorld.com> wrote:
> Wiktor Moskwa <wiktorDOTmoskwa@gmail.com> writes:
>> GNAT GPL 2007 outputs:
>> ======
>> (Ada 2005) cannot copy object of a limited type (RM-2005 6.5(5.5/2))
>> consider switching to return of access type
>> =====
>
> I would be very interested in seeing the code that causes this.

Here you are:
======
procedure Sample is

   generic
      type Element is limited private;
   package Pkg is
      function Get return Element;
   end Pkg;
	     
   package body Pkg is
      Item : Element;
      
      function Get return Element is
      begin
         return Item;
      end Get;
   end Pkg;
						    
   package P
     is new Pkg (Integer);
						       
   X : Integer := P.Get;

begin
   null;
end Sample;
======

-- 
Wiktor Moskwa