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.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,c80e6f742e73478f
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!nx02.iad01.newshosting.com!209.197.12.242.MISMATCH!nx01.iad01.newshosting.com!newshosting.com!198.186.194.250.MISMATCH!news-out.readnews.com!news-xxxfer.readnews.com!panix!bloom-beacon.mit.edu!newsswitch.lcs.mit.edu!nntp.TheWorld.com!not-for-mail
From: Robert A Duff <bobduff@shell01.TheWorld.com>
Newsgroups: comp.lang.ada
Subject: Re: Ensuring postconditions in the face of exceptions
Date: Sat, 13 Mar 2010 10:14:29 -0500
Organization: The World Public Access UNIX, Brookline, MA
Message-ID: <wcc7hpgckyy.fsf@shell01.TheWorld.com>
References: 
 <820d96c0-5d67-4b8c-8c5b-811ca4f1127e@g26g2000yqn.googlegroups.com>
 <4b9a098b$0$2339$4f793bc4@news.tdc.fi>
 <3696058c-235f-4d58-87be-74172ca0248a@g4g2000yqa.googlegroups.com>
 <hndhls$3ns$1@tornado.tornevall.net> <hnf018$nab$1@munin.nbi.dk>
NNTP-Posting-Host: shell01.theworld.com
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: pcls6.std.com 1268493255 18786 192.74.137.71 (13 Mar 2010 15:14:15
 GMT)
X-Complaints-To: abuse@TheWorld.com
NNTP-Posting-Date: Sat, 13 Mar 2010 15:14:15 +0000 (UTC)
User-Agent: Gnus/5.1008 (Gnus v5.10.8) Emacs/21.3 (irix)
Cancel-Lock: sha1:ccWUF1L341P928Kft4XKRqHGgrk=
Xref: g2news1.google.com comp.lang.ada:9557
Date: 2010-03-13T10:14:29-05:00
List-Id: <comp.lang.ada>

"Randy Brukardt" <randy@rrsoftware.com> writes:

> For the record, I think you mean "limited record types". There are no 
> requirements on how limited private types or record types that happen to be 
> limited because of a limited component are passed.

Well, that needs some clarification:  for example, a record containing
a task is passed by reference, even if the record doesn't explicitly
say "limited".

The point is, the compiler looks at the full types of everything
involved when deciding whether it must pass something by reference.
So "limited private" is irrelevant.

- Bob